Abstract
We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) – an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML class diagrams can be utilized for describing the overall structure, whereas additional integrity constraints and queries are specified with OCL expressions. By using OCL, constraints and queries can be specified in a formal yet comprehensible way. However, the OCL itself is currently defined only in a semi-formal way. Thus the semantics of constraints is in general not precisely defined. Our approach gives precise meaning to OCL concepts and to some central aspects of UML class models. A formal semantics facilitates verification, validation and simulation of models and helps to improve the quality of models and software designs.
This is a preview of subscription content, log in via an institution to check access.
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
Aksit, M., Matsuoka, S. (eds.): ECOOP 1997. LNCS, vol. 1241, pp. 9–13. Springer, Heidelberg (1997)
Bertino, E., Castelli, D., Vitale, F.: A Formal Representation for State Diagrams in the OMT Methodology. In: Král, J., Bartosek, M., Jeffery, K. (eds.) SOFSEM 1996. LNCS, vol. 1175, pp. 327–341. Springer, Heidelberg (1996)
Bicarregui, J.C., Lano, K., Maibaum, T.S.E.: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. In: Aksit, M., Matsuoka, S. (eds.) [1], pp. 324–343.
Booch, G.: Object-Oriented Analysis and Design with Applications. Benjamin/ Cummings (1994)
Bourdeau, R., Cheng, B.: A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering 21(10), 799–821 (1995)
Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a Formalization of the Unified Modeling Language. In: Aksit, M., Matsuoka, S. (eds.) [1], pp. 344–366.
Cattell, R.G.G. (ed.): The Object Database Standard: ODMG 2.0. Morgan Kaufmann Publishers, Inc., San Francisco (1997)
Chen, P.P.: The Entity-Relationship Model Toward a Unified View of Data. ACM Trans. on Database Systems 1(1), 9–36 (1976)
Ebert, J., Süttenbach, R.: Integration of Z-Based Semantics of OO-Notations. In: Kilov, H., Rumpe, B. (eds.) [17], pp. 75–81.
Evans, A., France, R., Lano, K., Rumpe, B.: Developing the UML as a Formal Modelling Language. In: Muller, P.-A., Bézivin, J. (eds.) [20], pp. 297–307.
France, R., Bruel, J.M., Larrondo-Petrie, M., Shroff, M.: Exploring the Semantics of UML type structures with Z. In: Bowman, H., Derrick, J. (eds.) Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), pp. 247–260. Chapman and Hall, London (1997)
France, R., Evans, A., Lano, K.: The UML as a Formal Modeling Notation. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Proc. OOPSLA 1997 Workshop on Object-oriented Behavioral Semantics. TU München, TUM-I9737 (1997)
Gogolla, M.: An Extended Entity-Relationship Model. LNCS, vol. 767. Springer, Heidelberg (1994)
Gogolla, M., Richters, M.: On Constraints and Queries in UML. In: Schader, M., Korthaus, A. (eds.) The Unified Modeling Language - Technical Aspects and Applications. Physica-Verlag, Heidelberg (1998)
Hamie, A., Howse, J., Kent, S., Mitchell, R., Civello, F.: Reflections on the OCL. In: Muller, P.-A., Bézivin, J. (eds.) [20], pp. 137–145.
Jacobsen, I., Christerson, M., Jonsson, P., Övergaard, G.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading (1992)
Kilov, H., Rumpe, B. (eds.): Proc. of the ECOOP 1997 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Jyväskylä, Finland, 10 June 1997. TU München, TUM-I9725 (June 1997)
Kleppe, A., Warmer, J., Cook, S.: Informal formality? The Object Constraint Language and its application in the UML metamodel. In: Muller, P.-A., Bézivin, J. (eds.) [20], pp. 127–136.
Lano, K.: Enhancing Object-Oriented Methods with Formal Notations. Theory and Practice of Object Systems 2(4), 247–268 (1996)
Muller, P.-A., Bézivin, J. (eds.): Proc. of UML 1998 International Workshop, Mulhouse, France, June 3 - 4 (1998)
Övergaard, G., Palmkvist, K.: A Formal Approach to Use Cases and their Relationships. In: Muller, P.-A., Bézivin, J. (eds.) [20], pp. 309–317.
Rational Software Corporation, Unified Modeling Language (UML) version 1.1 (1997), http://www.rational.com
UML Semantics (1997) (Published as part of [22])
Object Constraint Language Specification (1997) (Published as part of [22])
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)
Shro, M., France, R.B.: Towards a Formalization of UML Class Structures in Z. In: Proc. 21st Annual Int. Computer Software and Applications Conference (COMPSAC 1997), pp. 646–651. IEEE, Los Alamitos (1997)
Wang, E.Y., Richter, H.A., Cheng, B.H.C.: Formalizing and integrating the object and dynamic models within OMT. In: Proc. 19th Int. Conf. on Software Engineering (ICSE 1997), pp. 45–55. ACM Press, New York (1997)
Warmer, J., Hogg, J., Cook, S., Selic, B.: Experience with Formal Specification of CMM and UML. In: Kilov, H., Rumpe, B. (eds.) [17], pp. 67–171.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Richters, M., Gogolla, M. (1998). On Formalizing the UML Object Constraint Language OCL. In: Ling, TW., Ram, S., Li Lee, M. (eds) Conceptual Modeling – ER ’98. ER 1998. Lecture Notes in Computer Science, vol 1507. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49524-6_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-49524-6_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65189-5
Online ISBN: 978-3-540-49524-6
eBook Packages: Springer Book Archive