Modelling Coordination and Compensation
Transaction-based services are increasingly being applied in solving many universal interoperability problems. Exception and failure are the typical phenomena of the execution of long-running transactions. To accommodate these new program features, we extend the Guarded Command Language  by addition of compensation and coordination combinators, and enrich the standard design model  with new healthiness conditions. This paper shows that such an extension is conservative one because it preserves the algebraic laws for designs, which can be used to reduce all programs to a normal form algebraically. We also explore a Galois link between the standard design model with our new model, and show that the embedding from the former to the latter is actually a homomorphism.
KeywordsNormal Form Sequential Composition Modelling Coordination Left Zero Nondeterministic Choice
Unable to display preview. Download preview PDF.
- 4.Bruni, R., Montanari, H.C., Montannari, U.: Theoretical foundation for compensation in flow composition languages. In: Proc. POPL 2005, 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, pp. 209–220. ACM, New York (2004)Google Scholar
- 7.Bulter, M.J., Ferreria, C.: An Operational Semantics for StAC: a Lanuage for Modelling Long-Running Business Transactions. LNCS, vol. 2949, pp. 87–104. Springer, Heidelberg (2004)Google Scholar
- 9.Curbera, F., Goland, Y., Klein, J., et al.: Business Process Execution Language for Web Service (2003), http://www.siebei.com/bpel
- 16.Leymann, F.: Web Service Flow Language (WSFL1.0). IBM (2001)Google Scholar
- 19.Lucchi, R., Mazzara, M.: A Pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming (in press)Google Scholar
- 20.Milner, R.: Communication and Mobile System: the π-calculus. Cambridge University Press, Cambridge (1999)Google Scholar
- 22.Geguang, P., et al.: Theoretical Foundation of Scope-based Compensation Flow Language for Web Service. LNCS, vol. 4307, pp. 251–266. Springer, Heidelberg (2006)Google Scholar
- 25.Thatte, S.: XLANG: Web Service for Business Process Design. Microsoft (2001)Google Scholar