Integrity Constraints 2 OCL Invariants

Demonstrator on Sharing Hosted Autonomous Research Environments (SHARE documentation)
Downloads:
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)