An Observational Model for Transactional Calculus of Services Orchestration

The notion of web services orchestration provides a mean to specify a process model governing business rules to provide a value-added service. The task of building orchestrations requires mechanisms to deal with business transactions so as to truly increase the consistency and reliability of services. Business transactions have distinguishable features from traditional transactions, such as autonomous and interactive, so that it is highly suggested to be constructed by compensable transactions. In this paper, we formally address the problem for orchestrating services, with particular attention to the transaction issue. We enhance our past work t-calculus by expanding the descriptions of basic actions which include data computations and communications. On the other hand, the enriched calculus is equipped with an observational semantics which is more suitable to characterize transactions with several behavioral aspects. Under this model, we are able to investigate the equivalence relation for justifying algebraic laws, as well as refinement relation for supporting stepwise service development.

[1]  Mario Bravetti,et al.  Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings , 2005, EPEW/WS-FM.

[2]  H McCarrick,et al.  The first 25 years , 1973, Nursing times.

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

[4]  Shamim Ripon,et al.  Executable Semantics for Compensating CSP , 2005, EPEW/WS-FM.

[5]  Jing Li,et al.  A Formal Model for Compensable Transactions , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[6]  Roberto Gorrieri,et al.  : A Calculus for Service Oriented Computing , 2006, ICSOC.

[7]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[8]  Roberto Bruni,et al.  Theoretical foundations for compensations in flow composition languages , 2005, POPL '05.

[9]  Roberto Bruni,et al.  SCC: A Service Centered Calculus , 2006, WS-FM.

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

[11]  Manuel Mazzara,et al.  A Framework for Generic Error Handling in Business Processes , 2004, Electron. Notes Theor. Comput. Sci..

[12]  Jim Woodcock,et al.  Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings , 2007, ICTAC.

[13]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[14]  C. A. R. Hoare,et al.  A Trace Semantics for Long-Running Transactions , 2004, 25 Years Communicating Sequential Processes.

[15]  Jayadev Misra,et al.  Computation Orchestration , 2007, Software & Systems Modeling.

[16]  Laura Bocchi,et al.  A Calculus for Long-Running Transactions , 2003, FMOODS.

[17]  Francesco Tiezzi,et al.  A Calculus for Orchestration of Web Services , 2007, ESOP.

[18]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

[19]  Jing Li,et al.  Algebraic Semantics for Compensable Transactions , 2007, ICTAC.

[20]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[21]  Vincent Danos,et al.  Transactions in RCCS , 2005, CONCUR.

[22]  Winfried Lamersdorf,et al.  Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.