Contract Based Behavior Model for Services Coordination

A key step towards consistent services coordination to provide non functional properties. In this sense, transactional properties are particularly relevant because of the business nature of current applications. While services composition has been successfully addressed, transactional properties have been main- ly provided by ad-hoc and limited solutions at systems’ back end. This paper proposes a flexible transactional behavior model for services coordination. We assume that given a flow describing the application logic of a service based application, it is possible to associate to it a personalized transactional behavior in an orthogonal way. This behavior is defined by specifying contracts and associating a well defined behavior to the activities participating in the coordination. Such contracts ensure transactional properties at execution time in the presence of exceptions.

[1]  Claude Godart,et al.  Reliable Web services composition using a transactional approach , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[2]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[3]  Andreas Reuter,et al.  The ConTract Model , 1991, Database Transaction Models for Advanced Applications.

[4]  Paul W. P. J. Grefen,et al.  Global transaction support for workflow management systems: from formal specification to practical implementation , 2001, The VLDB Journal.

[5]  Paul W. P. J. Grefen,et al.  Customized atomicity specification for transactional workflows , 2000, Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001.

[6]  Alberto Portilla,et al.  ROSE: A transactional services coordination engine , 2007 .

[7]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[8]  Werner Winiwarter,et al.  TWSO - Transactional Web Service Orchestrations , 2006, J. Digit. Inf. Manag..

[9]  Patrick Valduriez,et al.  Principles of distributed database systems (2nd ed.) , 1999 .

[10]  Anne H. H Ngu,et al.  Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings , 2005, WISE.

[11]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[12]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[13]  Charles T. Davies,et al.  Data Processing Spheres of Control , 1978, IBM Syst. J..

[14]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[15]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[16]  Gustavo Alonso,et al.  Atomicity and isolation for transactional processes , 2002, TODS.

[17]  Luciano García-Bañuelos,et al.  Toward aspect oriented services coordination for building modern information systems , 2004, Proceedings of the Fifth Mexican International Conference in Computer Science, 2004. ENC 2004..

[18]  Gottfried Vossen,et al.  A Multi-Level Model for Web Service Composition , 2004 .

[19]  Marie-Christine Fauvet,et al.  Handling Transactional Properties in Web Service Composition , 2005, WISE.

[20]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[21]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[22]  Johann Eder,et al.  The Workflow Activity Model WAMO , 1995, CoopIS.

[23]  Johann Eder,et al.  Workflow recovery , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[24]  Laura Bocchi,et al.  Transactional Aspects in Semantic Based Discovery of Services , 2005, COORDINATION.

[25]  Ahmed K. Elmagarmid,et al.  A Multidatabase Transaction Model for InterBase , 1990, VLDB.

[26]  Frank Leymann,et al.  Workflow-Based Applications , 1997, IBM Syst. J..

[27]  Eric Wohlstadter,et al.  Transaction policies for service-oriented computing , 2004, Data Knowl. Eng..