2015/11/03 by Gergely Mezei, Mezei, Gergely, Tihamér Levendovszky +3
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Model-Driven Software Engineering Techniques #Web Applications and Data Management
paper · doi:10.14279/tuj.eceasst.5.48
openalex publication_date 2024/03/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
Efficient constraint handling is essential in UML, in metamodeling as well as in model transformation. OCL is a popular, textual formal language that is used in most of the modeling frameworks to express constraints. Our research focuses on the optimization of OCL handling. Previous work have presented algorithms that can accelerate the constraint validation by rewriting and decomposing the constraints and caching the model queries. Although these algorithms can be used in general, there are special cases, where additional restrictions apply. The aim of this paper is to present these refined restrictions and the extended optimization algorithms.