论文信息 - Compatibility analysis of Web services

Compatibility analysis of Web services

The compatibility analysis is absolutely necessary for guaranteeing the correct composition of Web services, no matter what styles the composition takes, statically or dynamically. In this paper, we provide a formalization of Web services behavior using the approach of automata. With this understanding, we propose a definition of role among Web services interactions. As a result, we can check whether two or more Web services are compatible in collaboration or not.

Fangfang Liu | Yuliang Shi | Baile Shi | Liang Zhang | Lili Lin

[1] Massimo Mecella,et al. When are Two Web Services Compatible? , 2004, TES.

[2] H. V. Jagadish,et al. Compatibility Determination in Web Services , 2003 .

[3] Xiang Fu,et al. Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[4] Axel Martens. On Compatibility of Web Services , 2003 .

[5] Xiang Fu,et al. Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[6] Massimo Mecella,et al. Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.

[7] Sebastián Uchitel,et al. Compatibility verification for Web service choreography , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[8] Andrzej Skowron,et al. Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence , 2005 .

[9] Antonio Vallecillo,et al. Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..