Membrane Calculus: A Formal Method for Grid Transactions.

Zhengwei Qi,Cheng Fu,Dongyu Shi,Jinyuan You,Minglu Li
DOI: https://doi.org/10.1002/cpe.1030
2004-01-01
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.
What problem does this paper attempt to address?