Provides an aspect to handle data integrity whitin objects sets.
This aspect is used to maintain data using relations between
objects. For exemple, If two relations are declared to constitue an
association, modifications on one relation should be reflected in
the other (associations are declared using
declareAssociation
).
Constraints can also be declared, to control objects values and modifications. It is represented by pre-conditions and post-conditions which you can precise in the configuration file.
For overviews, sources, tutorials, examples, guides, and tool documentation, please see: