Integrity Constraints 2 OCL Invariants

Demonstrator on Sharing Hosted Autonomous Research Environments (SHARE documentation)
Table and Trigger grammar Xtext grammar for Oracle Table Declarations and Triggers
OCL extractor ATL transformations
Eclipse bundle The Eclipse provided contains the Xtext grammar (dropins folder) and a default workspace with the ATL transformations (IntegrityConstraint2OCL project)
(readme.txt in IntegrityConstraint2OCL)