[1] |
Ni Yue,Fan Yushun.Formal verification for semantic Web services composition based on coloured Petri nets[J].Journal of Tsinghua University,2010,20(5):105112.
|
[2] |
Hu Jing,Rao Guozheng,Feng Zhiyong.Polybasic Picalculus based description and verification for Web service[J].Journal of Tianjin University(Science and Technology),2013,46(6):520525.(in Chinese)
|
[3] |
Yuan Min,Huang Zhiqiu,Li Xiang,et al.Towards a formal verification approach for business process coordination[C]∥Proc of International Conference on Web Services,2010:1.
|
[4] |
Shi Huijuan,Rong Mei,Zhang Guangquan,et al.Description and verification of asynchronous Web service composition based on XYZ/ADL[J].Computer Science,2011,38(12):139143.(in Chinese)
|
[5] |
Guermouche N,Godart C.Timed model checking based approach for Web services analysis[C]∥Proc of International Conference on Web Services,2009:1.
|
[6] |
Zhang Guangquan,Rong Mei,Wang Sheng.Research on interaction modeling and mismatch checking of timeaware Web services[J].Chinese Journal of Electronics,2011,39(11):25682575.(in Chinese)
|
[7] |
Ji Shunhui,Li Bixin,Qiu Dong.Verification for the concurrent properties of evolving BPEL composite service[C].IEEE International Conference on Software Engineering and Service Sciences,2014:1.
|
[8] |
David M,Massimo P,Sheila M,et al.Bringing semantics to Web services:The OWLS approach[J].Lecture Notes in Computer Science,2005,3387:2642.
|
[9] |
Zhang Jiangwei,Zeng Yi,Hu Yanqiang,et al.An approach for service composition based on OWLS process model[C]∥IEEE Conference Anthology,2013:1.
|
[10] |
Cristian M,Marco C,Alejandro Z,et al.Revising WSDL documents:Why and how[J].IEEE Internet Computing,2013,17(5):4653.
|
|
附中文参考文献:
|
[2] |
胡静,饶国政,冯志勇.基于多元Pi演算的Web服务组合描述与验证[J].天津大学学报(自然科学与工程技术版),2013,46(6):520525.
|
[4] |
石慧娟,戎玫,张广泉,等.基于XYZ/ADL的异步Web服务组合描述与验证[J].计算机科学,2011,38(12):139143.
|
[6] |
张广泉,戎玫,王昇.时间感知Web服务交互行为建模与失配检测方法研究[J].电子学报,2011,39(11):25682575.
|