Please use this identifier to cite or link to this item:
Title: Model-based methods for linking Web service choreography and orchestration
Authors: Sun, J.
Liu, Y. 
Dong, J.S. 
Pu, G.
Tan, T.H.
Issue Date: 2010
Citation: Sun, J., Liu, Y., Dong, J.S., Pu, G., Tan, T.H. (2010). Model-based methods for linking Web service choreography and orchestration. Proceedings - Asia-Pacific Software Engineering Conference, APSEC : 166-175. ScholarBank@NUS Repository.
Abstract: In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view. Web service orchestration describes collaboration of the Web services in predefined patterns based on local decision about their interactions with one another at the message/execution level. In this work, we present model-based methods to close the gap between the two views. Building on the strength of model checking techniques, Web service choreography and orchestration are verified against temporal properties or against each other (to show that they are consistent). Specialized optimization techniques are developed to handle large Web service models. Furthermore, we propose a method to mechanically synthesize a prototype Web service orchestration from choreography, by repairing the choreography if necessary and projecting relevant behaviors to each service provider. © 2010 IEEE.
Source Title: Proceedings - Asia-Pacific Software Engineering Conference, APSEC
ISBN: 9780769542669
ISSN: 15301362
DOI: 10.1109/APSEC.2010.28
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Jul 6, 2020


checked on Jun 29, 2020

Page view(s)

checked on Jun 30, 2020

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.