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.

Configuration methods for the Integrity aspect

Related Documentation

For overviews, sources, tutorials, examples, guides, and tool documentation, please see: