Abstract
Within the field of object technology it is becoming recognised that constraints are a good way to produce more precise and formal specifications than with diagrams alone. Evidence of this is that UML incorporates a standard constraint language called OCL (Object Constraint Language). The availability of OCL will encourage UML users to add constraints to their UML models. This paper explains OCL and demonstrates its applicability. Probably the largest application of OCL to date was its use to define the metamodel of UML, and the experiences gained in this application are discussed.
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
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented modeling and design. Prentice-Hall, Englewood Cliffs (1991)
OMG document ad/97-01-14: UML 1.0 Proposal
Blaha, M., Premerlani, W.: Object-oriented modeling and design for database applications. Prentice-Hall, Englewood Cliffs (1998)
OMG document ad/97-01-18 IBM/ObjecTime Limited joint submission for AD RFP1
OMG documents ad/97-08-02 through ad/97-08-11: UML 1.1 Proposal
Cook, S., Daniels, J.: Designing Object Systems: Object-oriented modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)
Wordsworth, J.B.: Software Development with Z. Addison-Wesley, Reading (1992)
Meyer, B.: Object-oriented software construction. Prentice-Hall, Englewood Cliffs (1988)
d’Souza, D., Wills, A.C.: Objects, Components, and Frameworks with UML: the Catalysis Approach (forthcoming)
Lano, K., Haughton, H. (eds.): Object-oriented specification case studies. Prentice-Hall, Englewood Cliffs (1994)
Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-oriented development: the Fusion method. Prentice-Hall, Englewood Cliffs (1994)
Warmer, J., Kleppe, A.: The Object Constraint Language: precise modeling with UML. Addison-Wesley, Reading (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kleppe, A., Warmer, J., Cook, S. (1999). Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive