Premium
Membrane Calculus: a formal method for Grid transactions
Author(s) -
Qi Zhengwei,
Li Minglu,
Fu Cheng,
Shi Dongyu,
You Jinyuan
Publication year - 2006
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.1030
Subject(s) - rewriting , computer science , petri net , proof calculus , database transaction , grid , programming language , situation calculus , formal methods , process calculus , membrane computing , operational semantics , theoretical computer science , semantics (computer science) , calculus (dental) , software engineering , natural deduction , mathematics , medicine , geometry , dentistry
The research of transaction processing in Web Services and Grid Services is active in academic and engineering areas. However, the formal method of transaction processing has not been fully investigated in the literature. This paper proposes a preliminary theoretical model called Membrane Calculus based on Membrane Computing and Petri nets to formalize Grid transactions. Five kinds of transition rules in Membrane Calculus (including object rules and membrane rules) are introduced and the operational semantics of transition rules are defined. Then, a typical long‐running transaction example is presented to demonstrate the use of Membrane Calculus. Finally, the rewriting logic tool Maude is adopted to specify and execute the specification of this example. Copyright © 2006 John Wiley & Sons, Ltd.