Skip to main content
SpringerLink
Log in

A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets

  • Conference paper
Book cover Applications and Theory of Petri Nets 2004 (ICATPN 2004)

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

Included in the following conference series:

Abstract

In this paper, a flexible framework is presented that allows us to model and to simulate different types of Distributed Transaction Processing Systems which implement algorithms to solve certain specific problems related to security, concurrence, deadlock, etc. Based on the X/Open DTP model and using the Coloured Petri Nets as a tool, the basic model is broken down, maintaining its main components and presenting the new interfaces that appear. This allows us to simulate Distributed Transaction Processing Systems with different characteristics, to incorporate to the model any existing or future algorithm and to study the performance of the system both as a function of its characteristics and of the algorithms used.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Abdallah, M., Guerraoui, R., Pucheral, P.: One-phase commit: Does it make sense. In: Int. Conf. on Parallel and Distributed Systems (ICPADS), pp. 182–192 (1998)

    Google Scholar 

  2. Abdallah, M., Pucheral, P.: A single-phase non-blocking atomic commitment protocol. In: Quirchmayr, G., Bench-Capon, T.J.M., Schweighofer, E. (eds.) DEXA 1998. LNCS, vol. 1460, pp. 584–595. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  3. Al-Houmaily, Y., Chrysanthis, P.: The implicit-yes vote commit protocol with delegation of commitment. In: Proceedings of 9th Intl. Conf. On Parallel and Distributed Computing Systems (September 1996)

    Google Scholar 

  4. Ancilotti, P., Lazzerini, B., Prete, C.A., Sacchi, M.: A distributed commit protocol for a multicomputer system. IEEE Transactions on Computers 39(5), 718–724 (1990)

    Article  Google Scholar 

  5. Carey, M.J., Livny, M.: Distributed concurrency control performance: A study of algorithms, distribution, and replication. In: 14th International Conference on VLDB, Los Angeles, CA, August 1988, pp. 13–25 (1988)

    Google Scholar 

  6. Chandy, K.M., Misra, J., Haas, L.M.: Distributed deadlock detection. ACM Transactions on Computer Systems 1(2), 144–156 (1983)

    Article  Google Scholar 

  7. Chen, S., Deng, Y., Sun, W., Rishe, N.: Efficient algorithms for detection and resolution of distributed deadlocks. In: 7th IEEE Symposium on Parallel and Distributeed Processing, San Antonio, Texas, October 25-28, pp. 10–16 (1995)

    Google Scholar 

  8. Choudhary, A.N., Kohler, W.H., Stankovic, J.A., Towsley, D.: Correction to a modified priority based probe algorithm for distributed deadlock detection and resolution. IEEE Transaction on Software Engineering 15(12), 1644 (1989)

    Article  MathSciNet  Google Scholar 

  9. Choudhary, A.N., Kohler, W.H., Stankovic, J.A., Towsley, D.: A modified priority based probe algorithm for distributed deadlock detection and resolution. IEEE Transaction on Software Engineering 15(1), 10–17 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  10. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)

    MATH  Google Scholar 

  11. Object Management Group. Transaction Service Specification, Version 1.3. (2002)

    Google Scholar 

  12. The Open Group. Snapshot Distributed Transaction Processing: The XA+ Specification Version. The Open Group (1994)

    Google Scholar 

  13. Gupta, R., Haritsa, J., Ramamritham, K.: Revisiting commit processing in distributed database systems. In: Proc. of the ACM SIGMOD International Conference on Management of Data, Tucson, Arizona, June 1997, pp. 486–497 (1997)

    Google Scholar 

  14. Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts, Vol 2: Analysis Methods, Vol 3: Practical Use. Monographs in Theorical Computer Science. Springer, Heidelberg (1997)

    Google Scholar 

  15. Jensen, K.: An introduction to the practical use of coloured petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1492, pp. 237–292. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  16. Kim, Y.M., Lai, T.H., Soundarajan, N.: Efficient distributed deadlock detection and resolution using probes, tokens, and barriers. In: International Conference on Parallel and Distributed Systems (ICPADS 1997), Seoul, KOREA, December 11-13, pp. 584–591 (1997)

    Google Scholar 

  17. Kindler, E., Peuker, S.: Integrating distributed algorithms into distributed systems. In: Informatik-Berichte, Berlin, September 28-30. Workshop Concurrency, Specification and Programming, vol. 110, pp. 128–143 (1998)

    Google Scholar 

  18. Knapp, E.: Deadlock detection in distributed databases. ACM Computing Surveys 19(4), 303–328 (1987)

    Article  Google Scholar 

  19. Krivokapic, N., Kemper, A., Gudes, E.: Deadlock detection in distributed database systems: A new algorithm and a comparative performance analysis. The VLDB Journal 8(2), 79–100 (1999)

    Article  Google Scholar 

  20. Kshemkalyani, A.D., Singhal, M.: Efficient detection and resolution of generalized distributed deadlocks. IEEE Transactions on Software Engeneering 20(1), 43–54 (1994)

    Article  Google Scholar 

  21. Kummer, O., Wienberg, F., Duvigneau, M.: Renew - User Guide. Theoretical Foundations Group. Distributed Systems Group. Department for Informatics. University of Hamburg (2002)

    Google Scholar 

  22. Levy, E., Korth, H.F., Silberschatz, A.: An optimistic commit protocol for distributed transaction management. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Denver, Colorado, May 29-31, pp. 88–97 (1991)

    Google Scholar 

  23. Mitchel, D.P., Merrit, M.J.: A distributed algorithm for deadlock detection and resolution. In: Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, pp. 282–284 (1984)

    Google Scholar 

  24. Obermarck, R.: Distributed deadlock detection algorithm. ACM Transactions on. Database Systems 7(2), 187–208 (1982)

    Article  Google Scholar 

  25. Tamer Özsu, M., Valduriez, P.: Principles of Database Systems, 2nd edn. Prentice Hall, Englewood Cliffs (1999)

    Google Scholar 

  26. Ramsey, S., Nummenmaa, J., Thanisch, P., Pooley, R., Gilmore, S.: Interactive simulation of distributed transaction processing commit protocols. In: Luker, P. (ed.) Proceedings of the 3rd Conference of the United Kingdom Simulation Society, Keswick, U.K, April 23-25, pp. 112–127 (1997)

    Google Scholar 

  27. Ray, I., Bertino, E., Jajodia, S., Mancini, L.: An advanced commit protocol for MLS distributed database systems. In: 3rd ACM Conference on Computer and Communications Security, New Delhi, India, March 14-15, pp. 306–315 (1996)

    Google Scholar 

  28. Sinha, M.K., Natarajan, N.: A priority based distributed deadlock detection algorithm. IEEE Transaction on Software Engineering SE-11(1), 67–80 (1985)

    Article  Google Scholar 

  29. Yeung, C.-F., Hung, S.-L.: A new deadlock detection algorithms for distributed real-time database systems. In: 14th Symposium on Reliable Distributed Systems, Bad Neuenahr, Germany, September 13-15, pp. 146–153 (1995)

    Google Scholar 

  30. Yeung, C.-F., Hung, S.-L., Lam, K.-Y.: Performance evaluation of a new distributed deadlock detection algorithm. SIGMOD Record 23(3), 21–26 (1994)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departament of Informatic and Automatic, University of Salamanca, Plaza Merced s/n, 37008, Salamanca, Spain

    M. José Polo Martín, Luis A. Miguel Quintales & María N. Moreno García

Authors
  1. M. José Polo Martín
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis A. Miguel Quintales
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. María N. Moreno García
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universitat Politècnica de Catalunya, Spain

    Jordi Cortadella

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Polo Martín, M.J., Quintales, L.A.M., Moreno García, M.N. (2004). A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27793-4_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22236-1

  • Online ISBN: 978-3-540-27793-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation