Skip to main content

On the Semantic Foundations of Standard UML 2.0

  • Chapter

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

Abstract

This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One of the problems with the format used for that standard is that the information relating to semantics is scattered throughout the text making it difficult to obtain a global understanding of how the various fragments fit together. This has led many to incorrectly conclude that UML has little or no semantic content. One of the objectives of this paper is to provide a clear and concise description of the structure and essential content of UML run-time semantics. This can serve as a convenient starting point for researchers who want to work on the problem of UML semantics and, in particular, those who are interested in producing formal models of those semantics.

Keywords

  • State Machine
  • Target Object
  • Active Object
  • Object Management Group
  • Structural Entity

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-30080-9_6
  • Chapter length: 19 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   49.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-30080-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   64.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berry, G.: The Foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge (1998)

    Google Scholar 

  2. Kleppe, A., Warmer, J.: Unification of Static and Dynamic Semantics of UML: A Study in redefining the Semantics of the UML using pUML Meta Modelling Approach, Klasse Objecten Soest, Netherlands (2003), http://www.cs.york.ac.uk/puml/mmf/KleppeWarmer.pdf

  3. Ober, I.: Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics, Ph.D Thesis at Institut National Polytechnique de Toulouse, Toulouse, France (2004)

    Google Scholar 

  4. Object Management Group: MDA Guide (version 1.0.1), OMG document ad/03-06-01 (2003), http://www.omg.org/cgi-bin/doc?mda-guide

  5. Object Management Group: UML for Systems Engineering – Request for Proposal, OMG document ad/03-03-41 (2003), http://www.omg.org/docs/ad/03-03-41.pdf

  6. Object Management Group: UML 2.0 Infrastructure – Final Adopted Specification, OMG document ad/03-09-15 (2003), http://www.omg.org/docs/ad/03-09-15.pdf

  7. Object Management Group: UML 2.0 OCL – Final Adopted Specification, OMG document ad/03-10-14 (2003), http://www.omg.org/docs/ad/03-10-14.pdf

  8. Object Management Group: UML 2.0 Superstructure – Final Adopted Specification, OMG document ad/03-08-02 (2003), http://www.omg.org/docs/ad/03-08-02.pdf

  9. Peterson, J.: Petri Nets. ACM Computing Surveys 9(3), 223–252 (1977)

    MATH  CrossRef  Google Scholar 

  10. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Boston (2004)

    Google Scholar 

  11. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley & Sons, New York (1994)

    MATH  Google Scholar 

  12. Sourrouille, J.L., Caplat, G.: Constraint Checking in UML Modeling. In: Proceedings International Conference SEKE 2002, ACM-SIGSOFT, pp. 217–224 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Selic, B.V. (2004). On the Semantic Foundations of Standard UML 2.0. In: Bernardo, M., Corradini, F. (eds) Formal Methods for the Design of Real-Time Systems. SFM-RT 2004. Lecture Notes in Computer Science, vol 3185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30080-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30080-9_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23068-7

  • Online ISBN: 978-3-540-30080-9

  • eBook Packages: Springer Book Archive