论文信息 - Issues in the formalization of Web Service Orchestrations

Issues in the formalization of Web Service Orchestrations

In this paper we outline an approach to the formalization of Web Service composition using WSBPEL (formerly BPEL4WS). Complementing current specification by adding protocol information, and making use of process algebra to model both Web Service and business process dynamic behaviour, we highlight key issues regarding the analysis of Web Service compatibility in the context of a business process managing their interaction.

Javier Cámara | Javier Cubo | Carlos Canal

[1] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[2] Yang Zongkai,et al. Modeling the Flow in Dynamic Web Services Composition , 2004 .

[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[4] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.

[5] Antonio Brogi,et al. A formal approach to component adaptation , 2005, J. Syst. Softw..

[6] Sheila A. McIlraith,et al. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation , 2003, SEMWEB.

[7] Mirko Viroli,et al. Towards a Formal Foundation to Orchestration Languages , 2004, WSFM.

[8] Lidia Fuentes,et al. Adding Roles to CORBA Objects , 2003, IEEE Trans. Software Eng..

[9] Sheila A. McIlraith,et al. Bringing semantics to Web services , 2003, IEEE Intelligent Systems.

[10] Shin Nakajima,et al. Model-Checking Verification for Reliable Web Service , 2002 .