2015/11/03 by Dimitrios S. Kolovos, Kolovos, Dimitrios, Richard F. Paige +3
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Software System Performance and Reliability
paper · doi:10.14279/tuj.eceasst.5.42
openalex publication_date 2024/03/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
The Object Constraint Language (OCL) provides a set of powerful facilities for navigating and querying models in the MOF metamodelling architecture. Currently, OCL queries can be expressed only in the context of MOF metamodels and UML models. This adds an additional burden to the development and use of Domain Specific Languages, which can also benefit from an instance-level querying mechanism. In an effort to address this issue, we report on ongoing work on defining a rigorous approach for aligning the OCL querying and navigation facilities with arbitrary Domain Specific Languages to support instance-level queries. We present a case-study that demonstrates the usefulness and practicality of this approach.