Skip to main content
SpringerLink
Log in

On Formalizing UML with High-Level Petri 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

Object-oriented methodologies are increasingly used in software development. Despite the proposal of several formally based models, current object-oriented practice is still dominated by informal methodologies, like Booch, OMT, and UML. Unfortunately, the lack of dynamic semantics of such methodologies limits the possibility of early analysis of specifications.

This paper indicates the feasibility of ascribing formal semantics to UML by defining translation rules that automatically map UML specifications to high-level Petri nets. This paper illustrates the method through the hurried philosophers problem, that is first specified by using (a subset of) UML, and then mapped onto high-level Petri nets. The paper indicates how UML specifications can be verified by discussing properties of the hurried philosophers problem that can be verified on the derived highlevel Petri net.

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. ARTIS s.r.l., Torino, Italy. Artifex 3.1-Tutorial, 1994.

    Google Scholar 

  2. L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997. in Italian.

    Google Scholar 

  3. L. Baresi, A. Orso, and M. Pezzè. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software Engineering, pages 56–66. ACM Press, 1997.

    Google Scholar 

  4. L. Baresi, M. Di Paola, A. Gargiulo, and M. Pezzè. LEMMA: A Language for an Easy Medical Models Analysis. In Proceedings of IEEE Computer Based Medical Systems 97, 1997. To appear.

    Google Scholar 

  5. L. Baresi and M. Pezzè. Towards Formalizing Structured Analysis. ACM Transactions on Software Engineering and Methodology, 7(1), jan 1998.

    Google Scholar 

  6. B. W. Bates, J. M. Bruel, R. B. France, and M. M. Larrondo-Petrie. Guidelines for Formalizing Fusion Object-Oriented Analysis Methods. In Conference on Advanced Information Systems Engineering (CAiSE) 96, pages 222–233, 1996.

    Google Scholar 

  7. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, second edition edition, 1994.

    Google Scholar 

  8. S. Christensen, J. B. Joergensen, and L. M. Kristensen. Design/CPN-A Computer Tool for Coloured Petri Nets. Lecture Notes in Computer Science, 1217, 1997.

    Google Scholar 

  9. E. W. Dijkstra. Co-operating Sequential Processes. Academic Press, 1965.

    Google Scholar 

  10. E. H. Dürr and N. Plat. VDM++ Language Reference Manual. Technical report, IFAD-The Institute of Applied Computer Science, 1995.

    Google Scholar 

  11. M. Fowler and K. Scott. UML Distilled: Applying the Standard Object Modeling Language. Addison-Wesley, Reading, Mass., 1997.

    Google Scholar 

  12. H. Genrich. Predicate/transition nets. In W. Reisig and G. Rozemberg, editors, Advances in Petri Nets, LNCS 254–255. Springer-Verlag, Berlin-New York, 1987.

    Google Scholar 

  13. S. Gerhart, D. Craigen, and T. Ralston. Experience with Formal Methods in Critical Systems. IEEE Software, 11(1):21–28, January 1994.

    Article  Google Scholar 

  14. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè. A Unified High-Level Petri Net Model For Time-Critical Systems. IEEE Transactions on Software Engineering, 17(2):160–172, February 1991.

    Article  Google Scholar 

  15. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403–414, April 1990.

    Article  Google Scholar 

  16. I. Jacobson. Object-Oriented Software Engineering-A Use Case Driven Approach. ACM Press/Addison Wesley, 1992.

    Google Scholar 

  17. K. Jensen. Coloured Petri Nets. In W. Reisig and G. Rozemberg, editors, Advances in Petri Nets, LNCS 254–255. Springer-Verlag, Berlin-New York, 1987.

    Google Scholar 

  18. Mark V Systems. ObjectMaker User’s Guide, 1994. version 3.

    Google Scholar 

  19. B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., second edition, 1997.

    MATH  Google Scholar 

  20. MicroGold Software. WithClass97 User’s Guide, 1997.

    Google Scholar 

  21. S. Morasca, M. Pezzè, and M. Trubian. Timed High Level Nets. The Journal of Real-Time Systems, pages 165–189, 1991.

    Google Scholar 

  22. M. Nagl. A Tutorial and Bibliographical Survey on Graph Grammars. In V. Claus, H. Ehrig, and G. Rozenberg, editors, Graph Grammars and their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, pages 70–126. Springer-Verlag, 1979.

    Chapter  Google Scholar 

  23. A. Orso. An Environment for Designing Real-Time Control Systems. Technical Report 97–56, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997.

    Google Scholar 

  24. C. Petersohn, W. P. de Roever, C. Huizing, and J. Peleska. Formal Semantics for Ward & Mellor’s Transformation Schemas. In D. Till, editor, Proceedings of the Sixth Refinement Workshop of the BCS FACS. Springer-Verlag, 1994.

    Google Scholar 

  25. J. Peterson. Petri Net Theoryand the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.

    Google Scholar 

  26. M. Pezzè. Cabernet: A Customizable Environment for the Specification and Analysis of Real-Time Systems. Technical report, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy, May 1994.

    Google Scholar 

  27. J. Rambaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, New York, NY, 1991.

    Google Scholar 

  28. O. Færgemand and A. Olsen. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143–1167, 1994.

    Article  Google Scholar 

  29. C. Sibertin-Blanc. Cooperative Nets. In R. Valette, editor, Application and Theory of Petri Nets 1994, Proceedings of the 15th International Conference, volume 815 of Lecture Notes in Computer Science, pages 206–218, 1994.

    Google Scholar 

  30. I. Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996.

    Google Scholar 

  31. E. Y. Wang, H. A. Richter, and B. H. C. Cheng. Formalizing and Integrating the Dynamic Model within OMT. In Proceedings of the 19th International Conference on Software Engineering, pages 45–55. ACM Press, May 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza Leonardo da Vinci, 32, 20133, Milano, Italy

    Luciano Baresi & Mauro Pezzè

Authors
  1. Luciano Baresi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mauro Pezzè
    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

Baresi, L., Pezzè, M. (2001). On Formalizing UML with High-Level Petri 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_9

Download citation

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

  • 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