Efficient integrity checking for essential MOF + OCL in software repositories

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. © JOT, 2002.