Previous article

Next article

---

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories Miguel Garcia, Institute for Software Systems, Hamburg University of Science and Technology (TUHH), Germany

REFEREED ARTICLE PDF Version

Abstract

The efficient detection of run-time violations of integrity constraints (or their avoidance in the first place) has not been satisfactorily addressed for the combination of object model and constraint definition language most widely accepted in industry, namely OMG’s Essential MOF and Object Constraint Language (OCL). We identify the dimensions relevant to this problem, and classify existing proposals by their position in the solution space. After this comparative survey, we propose a solution for the efficient integrity checking of invariants expressed in OCL over the Essential MOF data model, and describe the software architecture of its implementation using object-relational mapping technology.

Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.

About the author