A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Communications of the ACM - Two decades of the language-action perspective
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
Verifying UML/OCL models using Boolean satisfiability
Proceedings of the Conference on Design, Automation and Test in Europe
Incremental evaluation of model queries over EMF models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Specifying aggregation functions in multidimensional models with OCL
ER'10 Proceedings of the 29th international conference on Conceptual modeling
AuRUS: automated reasoning on UML/OCL schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Lazy execution of model-to-model transformations
Proceedings of the 14th international conference on Model driven engineering languages and systems
Constraint support in MDA tools: a survey
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Extending OCL with null-references: towards a formal semantics for OCL 2.1
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
On better understanding OCL collections or an OCL ordered set is not an OCL set
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Formal specification and testing of model transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Architectural variability management in multi-layer web applications through feature models
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
On the use of an internal DSL for enriching EMF models
Proceedings of the 12th Workshop on OCL and Textual Modelling
Content over container: object-oriented programming with multiplicities
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
An argumentative approach of conceptual modelling and model validation through theory building
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
| Hi-index | 0.00 |
The Object Constraint Language (OCL) started as a complement of the UML notation with the goal to overcome the limitations of UML (and in general, any graphical notation) in terms of precisely specifying detailed aspects of a system design. Since then, OCL has become a key component of any model-driven engineering (MDE) technique as the default language for expressing all kinds of (meta)model query, manipulation and specification requirements. Among many other applications, OCL is frequently used to express model transformations (as part of the source and target patterns of transformation rules), well-formedness rules (as part of the definition of new domain-specific languages), or code-generation templates (as a way to express the generation patterns and rules). This chapter pretends to provide a comprehensive view of this language, its many applications and available tool support as well as the latest research developments and open challenges around it.