Skip to main content
SpringerLink
Log in

Object Orientation in Hierarchical Predicate Transition Nets

  • Chapter
  • First Online:
Concurrent Object-Oriented Programming and Petri Nets

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

Abstract

In this paper, an approach of using hierarchical predicate transition nets (HPrTNs in the sequel) for object-oriented specification is proposed. The realization of various object-oriented features (including encapsulation, inheritance, and polymorphism) in HPrTNs is presented and is demonstrated with examples. We believe that the approach can achieve the benefits of the object-oriented methods while maintaining the analyzability of HPrTNs.

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. M. Abadi and L. Cardelli: A Theory of Objects, Springer-Verlag, 1996.

    Google Scholar 

  2. R. Bastide: “Approaches in Unifying Petri Nets and the Object-Oriented Approach”, Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy, 1995.

    Google Scholar 

  3. O. Biberstein and D. Buchs: “Structured Algebraic Nets with Object-Orientation”, Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy, 1995.

    Google Scholar 

  4. E. Battiston, A. Chizzoni, and F. D. Cindio: “Inheritance and Concurrency in CLOWN”, Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy, 1995.

    Google Scholar 

  5. G. Booch, Object-oriented analysis and design with applications, Benjamin/Cummings, 1994 (2nd ed.).

    Google Scholar 

  6. G. Booch, J. Rumbaugh, and I. Jacobson: Unified Modeling Language User Guide, Addison-Wesley, 1997.

    Google Scholar 

  7. K. Chandy and C. Kesselman: “CC++: A Declarative Concurrent Object-Oriented Programming Notation”, in Research Directions in Concurrent Object-Oriented Programming (eds. G. Agha, P. Wegner, and A. Yonezawa), MIT Press, 1993, 281–313.

    Google Scholar 

  8. P. Coad and E. Yourdon: Object-Oriented Analysis, Yourdon Press, 1991 (2nd ed.)

    Google Scholar 

  9. H. Ehrig and B. Mahr, Fundamentals of Algebraic Speification 1-Equations and Initial Semantics, Pringer-Verlag, 1985.

    Google Scholar 

  10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns-Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.

    Google Scholar 

  11. D. Harel: “On visual formalisms”, Communications of the ACM, vol.31, 1988, 514–530.

    Article  MathSciNet  Google Scholar 

  12. X. He and Y. Ding: “Object-Oriented Specification Using Hierarchical Predicate Transition Nets”, Proc. of the 2nd Int’l Workshop on Object-Oriented programming and Models of Concurrency, Osaka, Japan, 1996, 72–79.

    Google Scholar 

  13. X. He: “A Method for Analyzing Properties of Hierarchical Predicate Transition Nets”, Proc. of the 19th Int’l Computer Softw. and Applications Conf., Dallas, August, 1995, 50–55.

    Google Scholar 

  14. X. He: “ A formal definition of hierarchical predicate transition nets”, Proc. of the 17th International Conference on the Application and Theory of Petri Nets (Lecture Notes in Computer Science, vol. 1091, June, Osaka, Japan, 1996, 212–229.

    Google Scholar 

  15. X. He and J. A. N. Lee: “A methodology for constructing predicate transition net specifications”, Software-Practice and Experience, vol.21, no.8, 1991, 845–875.

    Article  Google Scholar 

  16. X. He and C. H. Yang: “Structured analysis using hierarchical predicate transition nets”, Proceedings of 16th Int’l Computer Software and Applications Conf., Chicago, 1992, 212–217.

    Google Scholar 

  17. X. He and W. Yao: “Translating Hierarchical Predicate Transition Nets to CC++ Program Skeletons”, Proceedings of 21st Int’l Computer Software and Applications Conf., Washington, D.C., 1997, 64–69.

    Google Scholar 

  18. K. Jensen: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use-Volume 1: Basic Concepts, EATCS Monographs in Computer Science, vol.26, Springer-Verlag, 1992.

    Google Scholar 

  19. C. Kan and X. He, “A method for constructing algebraic Petri nets”, Journal of Systems and Software, vol. 35, 1996, 15–27.

    Article  Google Scholar 

  20. G. Kappel and M. Schrefl: “Using an object-oriented diagram technique for the design of information systems”, Dynamic Modeling of Information Systems, Elsevier Science Publishers, 1991, 121–164.

    Google Scholar 

  21. C. Lakos: “From colored Petri nets to object Petri nets”, Proceedings of the 16th International Conference on the Application and Theory of Petri Nets, Torino, Italy, 1995.

    Google Scholar 

  22. C. Lakos: “The Object Orientation of Object Petri Nets”, Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy, 1995.

    Google Scholar 

  23. Y. K. Lee and S. J. Park: “OPNets: An object-oriented high-level Petri net model for real-time system modeling”, Journal of Systems and Software, vol.20, 1993, 69–86.

    Article  Google Scholar 

  24. S. Matsuoka and A. Yonezawa: “Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages”, in Research Directions in Concurrent Object-Oriented Programming (eds. G. Agha, P. Wegner, and A. Yonezawa), MIT Press, 1993, 107–150.

    Google Scholar 

  25. W. Reisig: “Petri nets in software engineering”. Lecture Notes in Computer Science, vol.255, Springer-Verlag, 1987, 63–96.

    Google Scholar 

  26. M. Shaw and D. Garlan: Software Architecture, Prentice-Hall, 1996.

    Google Scholar 

  27. B. Stroustrup: The C++ Programming Language, 2nd edition, Addison-Wesley, 1991.

    Google Scholar 

  28. E. Yourdon, Modern Structured Analysis, Prentice Hall, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, North Dakota State University, ND 58105, Fargo, USA

    Xudong He

  2. Great Plains Software, Inc., ND 58103, Fargo, USA

    Yingjia Ding

Authors
  1. Xudong He
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yingjia Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

He, X., Ding, Y. (2001). Object Orientation in Hierarchical Predicate Transition Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41942-6

  • Online ISBN: 978-3-540-45397-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation