Web Services Compositions Modelling and Choreographies Analysis-Reference-Cited by-同舟云学术

Web Services Compositions Modelling and Choreographies Analysis

Published:2010-04 Issue:2 Volume:7 Page:87-110
ISSN:1545-7362
Container-title:International Journal of Web Services Research
language:en
Short-container-title:

Author:

Rouached Mohsen¹,Fdhila Walid²,Godart Claude²

Affiliation:

1. Laboratoire d’InfoRmatique en Image et Systèmes d’information (LIRIS), France

2. Université Henri Poincaré, France

Abstract

In Rouached et al. (2006) and Rouached and Godart (2007) the authors described the semantics of WSBPEL by way of mapping each of the WSBPEL (Arkin et al., 2004) constructs to the EC algebra and building a model of the process behaviour. With these mapping rules, the authors describe a modelling approach of a process defined for a single Web service composition. However, this modelling is limited to a local view and can only be used to model the behaviour of a single process. The authors further the semantic mapping to include Web service composition interactions through modelling Web service conversations and their choreography. This paper elaborates the models to support a view of interacting Web service compositions extending the mapping from WSBPEL to EC, and including Web service interfaces (WSDL) for use in modelling between services. The verification and validation techniques are also exposed while automated induction-based theorem prover is used as verification back-end.

Publisher

IGI Global

Subject

Computer Networks and Communications,Information Systems,Software

Reference35 articles.

1. Ankolekar, A., Burstein, M., et al. (2002). DAML-S: Web Service Description for the Semantic Web. In Proceedings of the 1st International Semantic Web Conference (ISWC), Sardinia, Italy.

2. Arkin, A., Askary, S., Bloch, B., & Curbera, F. (2004, December). Web services business process execution language version 2.0 (Tech. Rep. OASIS).

3. Barros, A., Dumas, M., & Oaks, P. (2005, March). Critical overview of the Web services choreography description language (ws-cdl). Retrieved from http://www.bptrends.com

4. Berardi, D., Calvanese, D., Giacomo, G. D., Hull, R., Lenzerini, M., & Mecella, M. (2005a). Modeling data processes for service speciﬁcations in colombo. In M. Missiko & A. D. Nicola (Eds.), Proceedings of EMOI-INTEROP, volume 160 of CEUR Workshop. Retrieved from CEUR-WS.org

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. COLLABORATION VS. CHOREOGRAPHY CONFORMANCE IN BPMN;LOG METH COMPUT SCI;2020

2. A Simulation-Based Approach of QoS-Aware Service Selection in Mobile Edge Computing;Wireless Communications and Mobile Computing;2018-11-01

3. Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice;2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC);2018-10

4. Change and Compliance in Collaborative Processes;2015 IEEE International Conference on Services Computing;2015-06

5. Dealing with change in process choreographies: Design and implementation of propagation algorithms;Information Systems;2015-04