Article

A metamodel for OCL

Authors:

Martin GogollaAuthors Info & Claims

UML'99: Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Pages 156 - 171

Published: 28 October 1999 Publication History

Abstract

The Object Constraint Language (OCL) allows the extension of UML models with constraints in a formal way. While the UML itself is defined by following a metamodeling approach, there is currently no equivalent definition for the OCL. We propose a metamodel for OCL that fills this gap. The benefit of a metamodel for OCL is that it precisely defines the syntax of all OCL concepts like types, expressions, and values in an abstract way and by means of UML features. Thus, all legal OCL expressions can be systematically derived and instantiated from the metamodel. We also show that our metamodel smoothly integrates with the UML metamodel. The focus of this work lies on the syntax of OCL; the metamodel does not include a definition of the semantics of constraints.

References

[1]

Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner. Towards a formalization of the unified modeling language. In Mehmet Aksit and Satoshi Matsuoka, editors, ECOOP'97--Object-Oriented Programming, 11th European Conference, volume 1241 of Lecture Notes in Computer Science, pages 344-366, Jyväskylä, Finland, 9-13 June 1997. Springer-Verlag.

[2]

Jean-Michel Bruel. Transforming UML models to formal specifications. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998.

[3]

Andy Evans. Making UML precise. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998.

Digital Library

[4]

Robert France, Andy Evans, and Kevin Lano. The UML as a formal modeling notation. In Haim Kilov, Bernhard Rumpe, and Ian Simmonds, editors, Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, pages 75-81. Technische Universität Mänchen, TUM-I9737, 1997.

[5]

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns . Addison Wesley, Reading, MA, 1995.

[6]

Martin Gogolla and Mark Richters. Equivalence rules for UML class diagrams. In Pierre-Alain Muller and Jean Bézivin, editors, Proceedings of UML'98 International Workshop, Mulhouse, France, June 3 - 4, 1998, pages 87-96. ESSAIM, Mulhouse, France, 1998.

[7]

Martin Gogolla and Mark Richters. On constraints and queries in UML. In Martin Schader and Axel Korthaus, editors, The Unified Modeling Language - Technical Aspects and Applications, pages 109-121. Physica-Verlag, Heidelberg, 1998.

[8]

Ali Hamie. A formal semantics for checking and analysing UML models. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998.

Digital Library

[9]

Ali Hamie, Franco Civello, John Howse, Stuart Kent, and Richard Mitchell. Reflections on the object constraint language. In Pierre-Alain Muller and Jean Bézivin, editors, Proceedings of UML'98 International Workshop, Mulhouse, France, June 3 - 4, 1998, pages 137-145. ESSAIM, Mulhouse, France, 1998.

Digital Library

[10]

Anneke Kleppe, Jos Warmer, and Steve Cook. Informal formality? the object constraint language and its application in the UML metamodel. In Pierre-Alain Muller and Jean Bézivin, editors, Proceedings of UML'98 InternationalWorkshop, Mulhouse, France, June 3 - 4, 1998, pages 127-136. ESSAIM, Mulhouse, France, 1998.

Digital Library

[11]

Kevin Lano. Defining semantics for rigorous development in UML. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998.

Digital Library

[12]

Kevin Lano and Juan Bicarregui. Formalising the UML in structured temporal theories. In Haim Kilov and Bernhard Rumpe, editors, Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), pages 105-121. Technische Universität Mänchen, TUM-{98}3, 1998.

[13]

Luis Mandel and María Victoria Cengarle. On the expressive power of the object constraint language OCL. Technical report, Forschungsinstitut für angewandte Software-Technologie (FAST e.V.), 1999.

[14]

OMG, editor. Meta Object Facility (MOF) Specification, Version 1.3 RTF, 2 July 1999. Object Management Group, Inc., Framingham, Mass., Internet: http://www.omg.org, 1999.

[15]

OMG. Object Constraint Language Specification. In OMG Unified Modeling Language Specification, Version 1.3, June 1999 {16}, chapter 7.

[16]

OMG, editor. OMG Unified Modeling Language Specification, Version 1.3, June 1999. Object Management Group, Inc., Framingham, Mass., Internet: http://www.omg.org, 1999.

[17]

OMG. UML Semantics. In OMG Unified Modeling Language Specification, Version 1.3, June 1999 {16}, chapter 2.

[18]

Mark Richters and Martin Gogolla. On formalizing the UML object constraint language OCL. In Tok Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER'98), pages 449-464. Springer, Berlin, LNCS 1507, 1998.

Digital Library

[19]

Bernhard Rumpe. A note on semantics (with an emphasis on UML). In Haim Kilov and Bernhard Rumpe, editors, Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), pages 177-197. Technische Universität Mänchen, TUM-I9813, 1998.

[20]

Jos Warmer, John Hogg, Steve Cook, and Bran Selic. Experience with formal specification of CMM and UML. In Haim Kilov and Bernhard Rumpe, editors, Proceedings ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, pages 167-171. Technische Universität München, TUM-I9725, 1997.

Digital Library

[21]

Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.

Digital Library

Cited By

Rahim L(2009)PVS metamodelProceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems10.5555/1553890.1553899(45-50)Online publication date: 21-Feb-2009
https://dl.acm.org/doi/10.5555/1553890.1553899
Farinha JTrigueiros MBelo OMarcos EPapazoglou MPiattini M(2009)Using inheritance in a metadata based approach to data quality assessmentProceedings of the first international workshop on Model driven service engineering and data quality and security10.1145/1651415.1651417(1-8)Online publication date: 6-Nov-2009
https://dl.acm.org/doi/10.1145/1651415.1651417
Farinha JTrigueiros M(2007)An extensible metadata framework for data quality assessment of composite structuresProceedings of the 9th international conference on Data Warehousing and Knowledge Discovery10.5555/2391952.2391958(34-44)Online publication date: 3-Sep-2007
https://dl.acm.org/doi/10.5555/2391952.2391958
Show More Cited By

Recommendations

Assistance System for OCL Constraints Adaptation during Metamodel Evolution
CSMR '11: Proceedings of the 2011 15th European Conference on Software Maintenance and Reengineering

Metamodels evolve over time, as well as other artifacts. In most cases, this evolution is performed manually by stepwise adaptation. In most cases, metamodels are described using the MOF language. Often OCL constraints are added to metamodels in order ...
Metamodel evolution through metamodel inference
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Serving as the schema of models, a metamodel defines the abstract syntax of models and the interrelationships between model elements. Model instances are often inaccessible due to metamodel evolution or the metamodel becoming lost. This poster describes ...
OCL and model driven engineering
UML Modeling Languages and Applications

Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

UML'99: Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

October 1999

724 pages

ISBN:3540667121

Editors:
Robert France
Department of Computer Science, Colorado State University, CO
,
Bernhard Rumpe
Institut für Informatik, Technische Universität München, München, Germany

Sponsors

Rational Software Corporation
IEEE Computer Society Technical Committee on Complexity in Computing

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages
The Object Management Group
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 28 October 1999

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
10
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Rahim L(2009)PVS metamodelProceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems10.5555/1553890.1553899(45-50)Online publication date: 21-Feb-2009
https://dl.acm.org/doi/10.5555/1553890.1553899
Farinha JTrigueiros MBelo OMarcos EPapazoglou MPiattini M(2009)Using inheritance in a metadata based approach to data quality assessmentProceedings of the first international workshop on Model driven service engineering and data quality and security10.1145/1651415.1651417(1-8)Online publication date: 6-Nov-2009
https://dl.acm.org/doi/10.1145/1651415.1651417
Farinha JTrigueiros M(2007)An extensible metadata framework for data quality assessment of composite structuresProceedings of the 9th international conference on Data Warehousing and Knowledge Discovery10.5555/2391952.2391958(34-44)Online publication date: 3-Sep-2007
https://dl.acm.org/doi/10.5555/2391952.2391958
Chan ZPaige R(2005)Designing a domain-specific contract languageProceedings of the First European conference on Model Driven Architecture: foundations and Applications10.1007/11581741_14(175-189)Online publication date: 7-Nov-2005
https://dl.acm.org/doi/10.1007/11581741_14
Bottoni PKoch MParisi-Presicce FTaentzer G(2000)Consistency checking and visualization of OCL constraintsProceedings of the 3rd international conference on The unified modeling language: advancing the standard10.5555/1765175.1765205(294-308)Online publication date: 2-Oct-2000
https://dl.acm.org/doi/10.5555/1765175.1765205
Richters MGogolla M(2000)Validating UML models and OCL constraintsProceedings of the 3rd international conference on The unified modeling language: advancing the standard10.5555/1765175.1765203(265-277)Online publication date: 2-Oct-2000
https://dl.acm.org/doi/10.5555/1765175.1765203

View Options

View options

Media

Figures

Other

Tables

View Table of Contents