Skip to main content
SpringerLink
Log in
Book cover

International Conference on the Unified Modeling Language

UML 1999: «UML»’99 — The Unified Modeling Language pp 534–549Cite as

Closing the Gap between Object-Oriented Modeling of Structure and Behavior

  • Conference paper
  • First Online:

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

Abstract

The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the increasing demands of todays systems, behavior aspects like concurrency, distribution and reactivity become more important. But the language concepts of the UML for describing behavioral aspects are weak compared to its concepts for describing structures. Besides a lack of visual expressiveness, a deeper integration with the structure specification is missing. In order to close this gap, an expressive language for modeling object-oriented behavior is proposed with the OCoN approach. It describes contracts, object scheduling as well as control and data flow of services in a Petri-net-like form. A seamless visual embedding of contract specifications into service and object scheduling specifications is provided by different net types.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Software Standard Integration Definition for Function Modeling. Techreport, 1993. Federal Information Processing Standards Publication 183, Obtainable from National Technical Information Service, US Department of Commerce, Springfield, VA 22161.

    Google Scholar 

  2. E. Battiston, F. De Cindio, and G. Mauri. Objsa Nets: A Class of High-level Nets Having Objects as Domains. In G. Rozenberg, editor, Advances in Petri Nets, LNCS 424, pages 20–43. Springer, 1988.

    Google Scholar 

  3. Olivier Biberstein and Didier Buchs. An Object Oriented Specification Language based on Hierarchical Petri Nets. In IS-CORE Workshop (ESPRIT), Amsterdam, September 27–30 1994.

    Google Scholar 

  4. Grady Booch. Object-Oriented Analysis and Design with Applications. Addison-Wesley, Menlo Park CA, 1993. (Second Edition).

    Google Scholar 

  5. R. Buhr. System Design with Machine Charts, A CAD Approach with Ada Examples. Enegelwood Cliffs, NJ, Prentice Hall, 1989.

    Google Scholar 

  6. Peter Pin-Shan Chen. The Entity-relationship Model-Towards a Unified View of Data. ACM Transactions on Database Systems, 1(1):9–36, March 1976.

    Article  Google Scholar 

  7. Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Fiona Hayes, and Paul Jeremaes. Object-Oriented Development: The Fusion Method. Prentice-Hall, 1994.

    Google Scholar 

  8. Desmond Francis D’Souza and Alan Cameron Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Prentice-Hall, 1999.

    Google Scholar 

  9. Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL, Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1997.

    Google Scholar 

  10. Holger Giese. Object Coordination Nets 2.0 — Semantics Specification. Techreport 15/99-I, University Münster, Computer Science, May 1999.

    Google Scholar 

  11. Holger Giese, Jörg Graf, and Guido Wirtz. Modeling Distributed Software Systems with Object Coordination Nets. pages 107–116, July 1998. PDSE’98, Kyoto, Japan.

    Google Scholar 

  12. Holger Giese, Jörg Graf, and Guido Wirtz. Contract-based Coordination of Distributed Object Systems. PDPTA’99, Las Vegas, Nevada, July 1999.

    Google Scholar 

  13. Holger Giese, Jörg Graf, and Guido Wirtz. Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. In IEEE Symposium On Visual Languages, Tokyo, Japan, September 1999.

    Google Scholar 

  14. D. Harel. Statecharts: A Visual Formalism for complex systems. Science of Computer Programming, 3(8):231–274, 1987.

    Article  MathSciNet  Google Scholar 

  15. D. Harel. On Visual Formalisms. Science of Computer Programming, 31:514–530, 1988.

    MathSciNet  Google Scholar 

  16. International Telecomunication Union (ITU). Specification and Description Language (SDL) Recommendation Z.100, 1992.

    Google Scholar 

  17. International Telecomunication Union (ITU). Message Sequence Chart (MSC) Recommendation Z.120, 1996.

    Google Scholar 

  18. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: a use case driven approach. Addison-Wesley, 1992.

    Google Scholar 

  19. C.A. Lakos. Object Petri Nets-Definition and Relationship to Coloured Nets. Techreport, Network Research Group, Department of Computer Science, University of Tasmania, April 1994.

    Google Scholar 

  20. Christoph Maier and Daniel Moldt. Object Colored Petri Nets-a Formal Technique for Object Oriented Modelling. Workshop PNSE’97, Hamburg, Germany, September 1997.

    Google Scholar 

  21. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, 1997. 2nd edition.

    Google Scholar 

  22. Object Management Group. OMG Unified Modelling Language 1.3 (alpha R5 draft), March 1999.

    Google Scholar 

  23. Rational Software Corporation. Unified Modelling Language 1.1, September 1997.

    Google Scholar 

  24. Trygve Reenskaug. Working with Objects: The OOram Software Engineering Method. Addison-Wesley/Manning, 1996.

    Google Scholar 

  25. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.

    Google Scholar 

  26. E. Seidewitz. Object Diagrams, NASA Goddard Space Flight Center, May 1985.

    Google Scholar 

  27. Bran Selic, Garth Gullekson, and Paul Ward. Real-Time Object-Oriented Modeling. Wiley, 1994.

    Google Scholar 

  28. Mary Shaw and Davis Garlan. Software Architecture: Perspectives on an emerging Discipline. Prentice Hall, 1996.

    Google Scholar 

  29. C. Sibertin-Blanc. Cooperative NETs. In R. Valette, editor, Applications and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, LNCS 815, pages 471–490. Springer, June 1994.

    Google Scholar 

  30. K. Waldén and J.-M. Nerson. Seamless Object-Oriented Software Architecture: analysis and design of reliable systems. Prentice Hall, 1995.

    Google Scholar 

  31. Peter Wegner. Coordination as Constrained Interaction. COORDINATION’ 96, Cesena, Italy, LNCS 1061, pages 28–33. Springer, April 1996.

    Google Scholar 

  32. R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. Prentice Hall, 1990.

    Google Scholar 

  33. Guido Wirtz, Jörg Graf, and Holger Giese. Ruling the Behavior of Distributed Software Components. PDPTA’97, Las Vegas, Nevada, July 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science, Westfälische Wilhelms-Universität Münster, Einsteinstraße 62, 48149, Münster, Germany

    Holger Giese, Jörg Graf & Guido Wirtz

Authors
  1. Holger Giese
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jörg Graf
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Guido Wirtz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Colorado State University, Fort Collins, CO, 80523-1873, USA

    Robert France

  2. Institut für Informatik, Technische Universität München, D-80290, München, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giese, H., Graf, J., Wirtz, G. (1999). Closing the Gap between Object-Oriented Modeling of Structure and Behavior. In: France, R., Rumpe, B. (eds) «UML»’99 — The Unified Modeling Language. UML 1999. Lecture Notes in Computer Science, vol 1723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46852-8_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-46852-8_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66712-4

  • Online ISBN: 978-3-540-46852-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation