An Operational Semantics for Extended OCL
Abstract
The Object Constraint Language (OCL) has become an essential part of many model-driven engineering (MDE) approaches and tools, adding precision and semantic detail to software models such as class diagrams, and defining transformation rules in model transformation languages. The many uses of OCL have led to its extension beyond the official standard (version 2.4), to add new types and language elements, such as procedural statements. In this paper we identify how the operational semantics of the OCL standard can be extended to include map, reference and function types and procedural statements, and we describe applications of the semantics to emulation, analysis and validation of OCL specifications.
Fields of Study & Subjects
Model-Driven Software Engineering Techniques
Logic
programming
and type systems
Software Engineering and Design Patterns
Publication details
- Journal / source
- Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering
- Publisher
- SCITEPRESS - Science and Technology Publications
- Pages
- 504–511
- Publication date
- 1 January 2026
- Language
- EN