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
Miguel Garcia: "Efficient Integrity Checking for Essential
MOF + OCL in Software Repositories", in Journal of Object Technology, vol. 7, no. 6, July-August 2008, pp. 101-119 http://www.jot.fm/issues/issue_2008_07/article3/
|
