Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
An overview of JML tools and applications
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
The Spec# Programming System: Challenges and Directions
Verified Software: Theories, Tools, Experiments
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
The epsilon object language (EOL)
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Deep meta-modelling with METADEPTH
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Object constraint language (OCL): past, present and future
ACM SIGSOFT Software Engineering Notes
The use of model transformation in the INESS project
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
On the use of an internal DSL for enriching EMF models
Proceedings of the 12th Workshop on OCL and Textual Modelling
Genericity for model management operations
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The Object Constraint Language (OCL) can be used to capture structural constraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF metamodelling architecture. While the expression language of OCL has been revised and updated a number of times since its inception, the constructs used for capturing constraints (invariants) have remained unchanged. In this paper we argue that the abstract and concrete syntax of OCL invariants should also be updated to address a number of shortcomings and render OCL more usable in a contemporary modelling environment. To support our arguments we have implemented the proposed extensions in the prototype Epsilon Validation Language (EVL). To demonstrate the benefits delivered, we present and discuss a concrete example.