The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Addendum to the 1998 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Experience with Formal Specification of CMM and UML
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Reflections on the Object Constraint Language
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Modular architecture for a toolset supporting OCL
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
StateLator - Behavioral Code Generation as an Instance of a Model Transformation
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Development of UML Descriptions with USE
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
A Visualization of OCL Using Collaborations
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A New Type Checking Approach for OCL Version 2.0?
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
An object-oriented hypermedia reference model formally specified in UML
Information modeling for internet applications
Checking BART test scenarios with UML's object constraint language
Formal methods for embedded distributed systems
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Using inheritance in a metadata based approach to data quality assessment
Proceedings of the first international workshop on Model driven service engineering and data quality and security
OCL 2.0 - Implementing the Standard for Multiple Metamodels
Electronic Notes in Theoretical Computer Science (ENTCS)
A Metamodel-Based OCL-Compiler for UML and MOF
Electronic Notes in Theoretical Computer Science (ENTCS)
Toward Translating Design Constraints to Run-Time Assertions
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A framework for evolution of modelling languages
Science of Computer Programming
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Designing a domain-specific contract language: a metamodelling approach
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
An extensible metadata framework for data quality assessment of composite structures
DaWaK'07 Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery
Hi-index | 0.00 |
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.