In: Proceedings of Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004, pages 73-pp. Volume 3251 of Lecture Notes in Computer Science / Hai Jin, Yi Pan, Nong Xiao, et al. (Editors) --- Springer-Verlag, October 2004.
Abstract: 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.