Skip to main content
SpringerLink
Log in

Unambiguous UML Composite Structures: The OMEGA2 Experience

  • Conference paper
SOFSEM 2011: Theory and Practice of Computer Science (SOFSEM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6543))

Abstract

Starting from version 2.0, UML introduced hierarchical composite structures, which are a very expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that ensure UML composite structures are unambiguous and can be given a precise semantics. Our primary application of the static consistency rules defined in this paper is within the OMEGA UML profile [6], but these rules are general and applicable to other hierarchical component models based on the same concepts, such as MARTE GCM or SysML. The rule set has been formalized in OCL and is currently used in the OMEGA UML compiler.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237–267. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)

    Google Scholar 

  3. Cuccuru, A., Gérard, S., Radermacher, A.: Meaningful composite structures. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 828–842. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3), 81–115 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  5. Dragomir, I., Ober, I.: Well-formedness and typing rules for UML composite structures (November 2010), http://arxiv.org/abs/1010.6155

  6. Hooman, J., Kugler, H., Ober, I., Votintseva, A., Yushtein, Y.: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2), 131–155 (2008)

    Article  Google Scholar 

  7. IBM. Rational rhapsody v7.5. reference manuals, http://www.ibm.com/developerworks/rational/

  8. ITU-T. Languages for telecommunications applications – Specification and Description Language (SDL). ITU-T Revised Recommendation Z.100 (1999)

    Google Scholar 

  9. Topcased. Topcased toolset, http://www.topcased.org

  10. Nipkow, T., von Oheimb, D.: Java light is type-safe - definitely. In: POPL, pp. 161–170 (1998)

    Google Scholar 

  11. Ober, I., Dragomir, I.: OMEGA2: A new version of the profile and the tools. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, UML & AADL track, pp. 373–378. IEEE, Los Alamitos (2010)

    Google Scholar 

  12. Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT 8(2), 128–145 (2006)

    Article  Google Scholar 

  13. Oliver, I., Luukkala, V.: On UML’s Composite Structure Diagram. In: 5th Workshop on System Analysis and Modelling (SAM) (June 2006)

    Google Scholar 

  14. Object Management Group – Systems Modeling Language (SysML), v1.1.(2008), http://www.omg.org/spec/SysML/1.1/

  15. Object Management Group – UML profile for modeling and analysis of real-time and embedded systems (MARTE) (June 2008), http://www.omgmarte.org/Documents/Specifications/08-06-09.pdf

  16. Object Management Group – Unified Modeling Language (version 2.2) (February 2009), http://www.omg.org/spec/UML/2.2

  17. Paulson, L.C.: Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow). In: Isabelle. LNCS, vol. 828, Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  18. SAE. Architecture analysis and design language (AADL) (November 2004), http://www.sae.org/technical/standards/AS5506/1

  19. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley Professional Computing, John Wiley (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRIT, Université de Toulouse, 118 Route de Narbonne, 31062, Toulouse, France

    Iulian Ober & Iulia Dragomir

Authors
  1. Iulian Ober
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Iulia Dragomir
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Ivana Černá, Department of Computer Science, Faculty of Informatics, Faculty of Informatics, Masaryk University, Botanicka 68 a, 602 00, Brno, Czech Republic

    Ivana Černá

  2. Department of Software Engineering, University of Szeged, Árpád tér 2., 6720, Szeged, Hungary

    Tibor Gyimóthy

  3. Informationstechnologie und Ausbildung, CAB F 16, F 13.1, Universitätstraße 6, ETH Zürich, 8092, Zürich, Switzerland

    Juraj Hromkovič

  4. School of History and Anthropology, Queen’s University, 15 University Square, BT7 1NN, Belfast, UK

    Keith Jefferey

  5. Department of Computer Science, Comenius University, 84248, Bratislava, Slovakia

    Rastislav Králović

  6. EURECOM, 2229 2229 Route des Crêtes, BP 193, 06904, Sophia Antipolis cedex, France

    Marko Vukolić

  7. Institute of Theoretical Computer Science, ETH Zürich, IFW E49.1, Haldeneggsteig 4, 8092, Zürich, Switzerland

    Stefan Wolf

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ober, I., Dragomir, I. (2011). Unambiguous UML Composite Structures: The OMEGA2 Experience. In: Černá, I., et al. SOFSEM 2011: Theory and Practice of Computer Science. SOFSEM 2011. Lecture Notes in Computer Science, vol 6543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18381-2_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18381-2_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-18380-5

  • Online ISBN: 978-3-642-18381-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation