[1] Brogi A,Canal C,Pimentel E,et al.Formalizing web service choreographies [J].Electronic Notes in Theoretical Computer Science,2004,105(1-4 suppl):73-94.
[2] Zhang M W,Zhu Z L,Li D C,et al.An execution context aware approach for Web service substitution[A].Proceedings of 7th International Conference on Advanced Information Management and Service (ICIPM) [C].Jeju:Institute of Electrical and Electronics Engineers,2011.13-18.
[3] Dumas M,Yang Y,Zhang L.Towards a formalization of contracts for service substitution [A].Proceedings of 6th World Congress on Services (SERVICES-1)[C].Miami:Institute of Electrical and Electronics Engineers,2010.423-430.
[4] Liang Q,Lee B S,Hung P C K.A rule-based approach for availability of service by automated service substitution [J].Software:Practice and Experience,2012,10.1002/spe.2155.(Published online)
[5] Santhanam G R,Basu S,Honavar V.Web service substitution based on preferences over non-functional attributes [A].Proceedings of IEEE International Conference on Services Computing (SCC'09) [C].Bangalore:Institute of Electrical and Electronics Engineers,2009.210-217.
[6] 薛洁,吴兵,杜玉越.一种基于聚类的语义Web服务发现方法[J].中国科技论文,2012,7(7):535-538. Xue Jie,Wu Bing,Du Yuyue.A discovery method of semantic Web service based on clustering [J].China Sciencepaper,2012,7(7):535-538.(in Chinese)
[7] Y Y Du,C J Jiang,M C Zhou.A petri net based correctness analysis of internet stock trading systems [J].IEEE Transactions on Systems,Man,and Cybernetics,Part C:Applications and Reviews,2008,38(1):93-99.
[8] 孙萍,蒋昌俊.利用服务聚类优化面向过程模型的语义Web服务发现[J].计算机学报,2008,31(8):1340-1353.Sun Ping,Jiang Changjun.Usingservice clustering to facilitate process oriented semantic web service discovery [J] .Chinese Journal of Computers,2008,31(8):1340-1353.(in Chinese)
[9] 殷昱煜,李莹,邓水光,尹建伟.Web服务行为一致性与相容性判定[J].电子学报,2009,37(3):433-438. YinYuyu,Li Ying,Deng Shuiguang,Yin Jianwei.Consistency and compatibility of web services behavior decision [J].Acta Electronica Sinica,2009,37(3):433-438.(in Chinese)
[10] 毕敬,朱志良,范玉顺.Web服务组合中行为兼容性分析与优化控制策略[J].电子学报,2011,39(12):2842-2849. BiJing,Zhu Zhiliang,Fan Yushun.Behavioral compatibility analysis and optimal control policy in web services composition [J].Acta Electronica Sinica,2011,39(12):2842-2849.(in Chinese)
[11] 刘方方,史玉良,张亮,施伯乐.基于进程代数的Web服务组合的替换分析[J].计算机学报,2007,30(11):2033-2038. Liu Fangfang,Shi Yuliang,Zhang Liang,Shi Bole.Substitution analysis of web service composition via process algebra [J].Chinese Journal of Computers,2007,30(11):2033-2038.(in Chinese)
[12] Shiyang Deng,Yuyue Du.An approach of Web service discovery and composition based on logic Petri nets [J].Advanced Materials Research,2013,605-607:2351-2357.cal and Electronics Engineers, 2009:210-217.
[7] Rajagopal S,Thamarai Selvi S. Semantic gird service discovery approach using clustering of service ontologies[C]. Proceedings of IEEE TENCON 2006. Hong Kong, China, 2006:1-4.
[8] Nayak R, Lee B. Web Service discovery with additional semantics and clustering[C]. Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence. Washington, DC, 2007:555-558.
[9] 薛洁, 吴兵, 杜玉越. 一种基于聚类的语义Web服务发现方法 [J]. 中国科技论文, 2012, 7(7): 535-538.
[10] Y. Y. Du, , C. J. Jiang, and M. C. Zhou.A Petri Net Based Correctness Analysis of Internet Stock Trading Systems [J]. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 2008,38(1): 93-99.
[11] H. S. Hu, M. C. Zhou, and Z. W. Li. Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets [J]. IEEE Transactions on Multimedia, 2009,11(8): 1457-1465.
[12] Y. Y. Du, L. Qi, and M. C. Zhou. A vector matching method for analysing logic Petri nets [J]. Enterprise Information Systems,2011,5(4): 449-468.
[13] 孙萍, 蒋昌俊. 利用服务聚类优化面向过程模型的语义Web服务发现 [J]. 计算机学报, 2008, 31(8):1340-1353.
[14] 刘方方,史玉良,张亮,施伯乐.基于进程代数的Web服务组合的替换分析[J].计算机学报,2007,30(11):2033-2038.
[15] Shiyang Deng, Yuyue Du. An approach of Web service discovery and composition based on logic Petri nets. Advanced Materials Research, 2013, 605(2): 2351-2357. |