Skip to main content
SpringerLink
Log in

Membrane Calculus: A Formal Method for Grid Transactions

  • Conference paper
Grid and Cooperative Computing - GCC 2004 (GCC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3251))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Păun, G.: Computing with membranes. J. Comput. System Sci. 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  2. Păun, G., Rozenberg, G.: A guide to membrane computing. Theoret. Comput. Sci. 287, 73–100 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. Banatre, J.-P., Fradet, P., Radenac, Y.: Higher-order chemistry. In: Proc. of Workshop on Membrane Computing, Tarragona, Spain (2003)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. Cabrera, F., Copeland, G., Freund, T., et al.: Web Services Coordination (WSCoordination) (August 2002), http://www-106.ibm.com/developerworks/library/ws-coor/

  10. 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)

    Chapter  Google Scholar 

  11. Cabrera, F., Copeland, G., Fox, B., et al.: Web Services Transaction (WS-Transaction) (August 2002), http://www-106.ibm.com/developerworks/library/ws-transpec/

  12. 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

  13. Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, 200030, P.R. China

    Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You & Minglu Li

Authors
  1. Zhengwei Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cheng Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dongyu Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jinyuan You
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Minglu Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology, Huazhong University of Science and Technology, 430074, Wuhan, China

    Hai Jin

  2. Dept. of CS, Georgia State University, 30302, Atlanta, GA, USA

    Yi Pan

  3. National Laboratory for Parallel and Distributed Processing, NUDT, Changsha, 410073, Hunan, China

    Nong Xiao

  4. Cluster and Grid Computing Lab, Huazhong University of Science and Technology, 430074, Wuhan, China

    Jianhua Sun

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation