A New Approach to Model Web Services' Behaviors Based on Synchronization

This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the light on two types of behaviors: control and operational. The control behavior illustrates the business logic that underpins the functioning of a Web service, and the operational behavior regulates the execution progress of this control behavior by stating the actions to carry out and the constraints to put on this progress. To synchronize both behaviors at run-time, conversational messages are developed and permit conveying various details between these two behaviors. A prototype showing the use of these conversational messages is presented in this paper as well.

[1]  Fabio Casati,et al.  Web service conversation modeling: a cornerstone for e-business automation , 2004, IEEE Internet Computing.

[2]  Brahim Medjahed,et al.  Context-based matching for Web service composition , 2007, Distributed and Parallel Databases.

[3]  Mark C. Little.  Models for Web Services tansactions , 2004, SIGMOD '04.

[4]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[5]  Paolo Traverso,et al.  Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.

[6]  Yasushi Kambayashi,et al.  The separation principle: A programming paradigm , 2004, IEEE Software.

[7]  Liliana Ardissono,et al.  Enabling conversations with web services , 2003, AAMAS '03.

[8]  Kenneth P. Birman,et al.  Like it or not, web services are distributed objects , 2004, CACM.

[9]  Quan Z. Sheng,et al.  Towards a conversation-driven composition of web services , 2004, Web Intell. Agent Syst..

[10]  Shaohua Tang,et al.  A Solution for Web Services Transaction , 2006, 2006 International Conference on Hybrid Information Technology.

[11]  Yanchun Zhang,et al.  Web Service Composition Transaction Management , 2004, ADC.

[12]  Yi Huang,et al.  Discovering Conversations in Web Services Using Semantic Correlation Analysis , 2007, IEEE International Conference on Web Services (ICWS 2007).