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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
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)
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)
Dragomir, I., Ober, I.: Well-formedness and typing rules for UML composite structures (November 2010), http://arxiv.org/abs/1010.6155
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)
IBM. Rational rhapsody v7.5. reference manuals, http://www.ibm.com/developerworks/rational/
ITU-T. Languages for telecommunications applications – Specification and Description Language (SDL). ITU-T Revised Recommendation Z.100 (1999)
Topcased. Topcased toolset, http://www.topcased.org
Nipkow, T., von Oheimb, D.: Java light is type-safe - definitely. In: POPL, pp. 161–170 (1998)
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)
Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT 8(2), 128–145 (2006)
Oliver, I., Luukkala, V.: On UML’s Composite Structure Diagram. In: 5th Workshop on System Analysis and Modelling (SAM) (June 2006)
Object Management Group – Systems Modeling Language (SysML), v1.1.(2008), http://www.omg.org/spec/SysML/1.1/
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
Object Management Group – Unified Modeling Language (version 2.2) (February 2009), http://www.omg.org/spec/UML/2.2
Paulson, L.C.: Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow). In: Isabelle. LNCS, vol. 828, Springer, Heidelberg (1994)
SAE. Architecture analysis and design language (AADL) (November 2004), http://www.sae.org/technical/standards/AS5506/1
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley Professional Computing, John Wiley (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)