Unambiguous UML Composite Structures: The OMEGA2 Experience

  • Iulian Ober
  • Iulia Dragomir
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Composite Structure Operational Semantic Object Management Group Type Safety Require Interface 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 2.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)Google Scholar
  3. 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)CrossRefGoogle Scholar
  4. 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)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Dragomir, I., Ober, I.: Well-formedness and typing rules for UML composite structures (November 2010), http://arxiv.org/abs/1010.6155
  6. 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)CrossRefGoogle Scholar
  7. 7.
    IBM. Rational rhapsody v7.5. reference manuals, http://www.ibm.com/developerworks/rational/
  8. 8.
    ITU-T. Languages for telecommunications applications – Specification and Description Language (SDL). ITU-T Revised Recommendation Z.100 (1999)Google Scholar
  9. 9.
    Topcased. Topcased toolset, http://www.topcased.org
  10. 10.
    Nipkow, T., von Oheimb, D.: Javalight is type-safe - definitely. In: POPL, pp. 161–170 (1998)Google Scholar
  11. 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. 12.
    Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT 8(2), 128–145 (2006)CrossRefGoogle Scholar
  13. 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. 14.
    Object Management Group – Systems Modeling Language (SysML), v1.1.(2008), http://www.omg.org/spec/SysML/1.1/
  15. 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. 16.
    Object Management Group – Unified Modeling Language (version 2.2) (February 2009), http://www.omg.org/spec/UML/2.2
  17. 17.
    Paulson, L.C.: Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow). In: Isabelle. LNCS, vol. 828, Springer, Heidelberg (1994)CrossRefGoogle Scholar
  18. 18.
    SAE. Architecture analysis and design language (AADL) (November 2004), http://www.sae.org/technical/standards/AS5506/1
  19. 19.
    Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley Professional Computing, John Wiley (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Iulian Ober
    • 1
  • Iulia Dragomir
    • 1
  1. 1.IRITUniversité de ToulouseToulouseFrance

Personalised recommendations