Abstract
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A meta-modelling approach is taken essentially to aid the construction of automated tools, but the semantics is defined by statements in English. A meta-model that incorporates precise semantics would support the construction of tools that could perform semantically-oriented tasks, such as consistency checking. One approach to defining the formal semantics of a language is denotational: essentially elaborating (in mathematics) the value or instance denoted by an expression of the language in a particular context. However, instances must also be expressed in some language: in UML, instances of the static model are expressed using object diagrams. Thus a meta-model can be constructed which incorporates (a) the modelling language itself, (b) the modelling language of instances, and (c) the mapping of one into the other. The current UML meta-model provides some support for (a) and (b), but not (c). (c) is the part that carries the semantics. This paper presents one such meta-model, for a fragment of UML suitable for describing and constraining object structures. The fragment includes parts of class diagrams and invariants in the style of OCL. An indication is given as to how the approach could be extended to models characterising dynamic behaviour.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D. D’Souza, Education and Training: Teacher! Teacher!, Journal of Object-Oriented Programming, vol. 5, pp. 12–17, 1992.
D. D’Souza and A.C. Wills. Objects, Components and Frameworks with UML: The Catalysis Approach, Addison Wesley, 1999.
Y. Gil, J. Howse, and S. Kent, Formalizing Spider Diagrams, submitted for publication, 1999.
S. Kent. Constraint Diagrams: Visualising Invariants in Object Oriented Models. In: Proceedings of OOPSLA97, ACM Press, 1997.
S. Kent and Y. Gil, Visualising Action Contracts in OO Modelling, IEE Proceedings: Software, vol. 145, 1998.
D.A. Schmidt, Denotational Semantics: A Methodology for Language Development, Allyn and Bacon, Massachusetts, 1986.
UML task force. UML 1.1. Specification, Object Management Group, 1999.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Kent, S., Gaito, S., Ross, N. (1999). A Meta-Model Semantics for Structural Constraints In UML. In: Kilov, H., Rumpe, B., Simmonds, I. (eds) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol 523. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5229-1_9
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5229-1_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7383-4
Online ISBN: 978-1-4615-5229-1
eBook Packages: Springer Book Archive