Abstract | ||
---|---|---|
Constraint specification and validation lie at the heart of modeling and model transformation. The Object Constraint Language (OCL) is a wide-spread formalism to express constraints in modeling environments. There are several interpreters and compilers that handle OCL constraints in modeling, but these tools do not support constraint optimization, therefore, the model validation can be slow. This paper presents algorithms to optimize OCL compilers to reduce the number of database queries during the validation process by eliminating the unnecessary traversing steps and caching the database queries. Proofs are also given to show that the optimized and the unoptimized code are functionally equivalent. The optimized compiler has been integrated into the Visual Modeling and Transformation System tool and applied to constraints appearing in both metamodels and graph rewriting-based model transformation rules. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/978-0-387-39388-9_6 | INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING |
Keywords | Field | DocType |
model validation,optimizing compiler,object constraint language,graph rewriting,constraint optimization | Model transformation,Programming language,Computer science,Visual modeling,Compiler correctness,Optimizing compiler,Compiler,Graph rewriting,Object Constraint Language,Metamodeling | Conference |
Volume | ISSN | Citations |
227 | 1571-5736 | 8 |
PageRank | References | Authors |
0.84 | 3 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gergely Mezei | 1 | 143 | 24.62 |
Tihamer Levendovszky | 2 | 233 | 27.58 |
Hassan Charaf | 3 | 211 | 31.15 |