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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Păun, G.: Computing with membranes. J. Comput. System Sci. 61(1), 108–143 (2000)
Păun, G., Rozenberg, G.: A guide to membrane computing. Theoret. Comput. Sci. 287, 73–100 (2002)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol. 1, Springer, Heidelberg (1997) (2nd corrected printing)
Bruni, R., Laneve, C., Montanari, U.: Orchestrating Transactions in Join Calculus. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, p. 321. Springer, Heidelberg (2002)
Bruni, R., Montanari, U.: Transactions and Zero-Safe Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, p. 83. Springer, Heidelberg (2000)
Qi, Z., You, J., Mao, H.: P Systems and Petri Nets. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 286–303. Springer, Heidelberg (2004)
Banatre, J.-P., Fradet, P., Radenac, Y.: Higher-order chemistry. In: Proc. of Workshop on Membrane Computing, Tarragona, Spain (2003)
Ito, M., Martin-Vide, C., Păun, G.: A characterization of Parikh sets of ET0L languages in terms of P systems. In: Ito, M., Păun, G., Yu, S. (eds.) Words, Semigroups, and Transducers, World Scientific, Singapore (2001)
Cabrera, F., Copeland, G., Freund, T., et al.: Web Services Coordination (WSCoordination) (August 2002), http://www-106.ibm.com/developerworks/library/ws-coor/
Margenstern, M., Martin-Vide, C., Păun, G.: Computing with membranes: variants with an enhanced membrane handling. In: Jonoska, N., Seeman, N.C. (eds.) DNA 2001. LNCS, vol. 2340, p. 340. Springer, Heidelberg (2002)
Cabrera, F., Copeland, G., Fox, B., et al.: Web Services Transaction (WS-Transaction) (August 2002), http://www-106.ibm.com/developerworks/library/ws-transpec/
Czajkowski, K., Dan, A., Rofrano, J., et al.: Agreement-based Grid Service Management (OGSI-Agreement), (June 2003), http://www.globus.org/research/papers/OGSI_Agreement_2003_06_12.pdf
Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Bocchi, L., Laneve, C., Zavattaro, G.: A Calculus for Long-Running Transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003)
Clavel, M., Durán, F., Eker, S., et al.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Qi, Z., Fu, C., Shi, D., You, J., Li, M. (2004). Membrane Calculus: A Formal Method for Grid Transactions. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds) Grid and Cooperative Computing - GCC 2004. GCC 2004. Lecture Notes in Computer Science, vol 3251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30208-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-30208-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23564-4
Online ISBN: 978-3-540-30208-7
eBook Packages: Springer Book Archive