Membrane Calculus: a formal method for Grid transactions

The research of transaction processing in Web Services and Grid services is very active in academic and engineering areas now. However, the formal method about transactions is not fully investigated in the literature. We propose a preliminary theoretical model called Membrane Calculus based on Membrane Computing and Petri Nets to formalize Grid transactions. We introduce five kinds of transition rules in Membrane Calculus (including object rules and membrane rules) and the operational semantics of transition rules is defined. Finally, a typical long-running transaction example is presented to demonstrate the usage of Membrane Calculus.

[1]  Gheorghe Paun,et al.  A guide to membrane computing , 2002, Theor. Comput. Sci..

[2]  José Meseguer,et al.  Rewriting logic: roadmap and bibliography , 2002, Theor. Comput. Sci..

[3]  Jinyuan You,et al.  P Systems and Petri Nets , 2003, Workshop on Membrane Computing.

[4]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[5]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[6]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[7]  Roberto Bruni,et al.  Orchestrating Transactions in Join Calculus , 2002, CONCUR.

[8]  Minglu Li,et al.  Real-time transaction processing for autonomic Grid applications , 2004, Eng. Appl. Artif. Intell..

[9]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[10]  Narciso Martí-Oliet,et al.  The Maude 2.0 System , 2003, RTA.

[11]  Carlos Martín-Vide,et al.  Computing with Membranes: Variants with an Enhanced Membrane Handling , 2001, DNA.

[12]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[13]  Roberto Bruni,et al.  Transactions and Zero-Safe Nets , 2001, Unifying Petri Nets.

[14]  Carlos Martín-Vide,et al.  A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems , 2001, Words, Semigroups, and Transductions.

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

[16]  Roberto Bruni,et al.  Executing Transactions in Zero-Safe Nets , 2000, ICATPN.