search

soundasleep / iaml

Automatically exported from code.google.com/p/iaml
3 stars 1 forks source link

Implement metamodel OCL constraints in Checks #235

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What new or enhanced feature are you proposing?
As part of the metamodel changes of issue 234, a number of metamodel 
constraints were expressed in terms of OCL. These constraints need to be 
implemented in the current Checks implementation.

What goal would this enhancement help you achieve?
Model instance consistency, and illustrate that Checks is as expressive as OCL.

Original issue reported on code.google.com by soundasleep on 24 Mar 2011 at 3:52

GoogleCodeExporter commented 9 years ago

Original comment by soundasleep on 24 Mar 2011 at 3:52

GoogleCodeExporter commented 9 years ago 
In r2933, a number of constraints were implemented using OCL, mostly 
successfully.

Original comment by soundasleep on 17 May 2011 at 6:20

GoogleCodeExporter commented 9 years ago 
Resolved in r2937.

Original comment by soundasleep on 19 May 2011 at 6:55