Determining the Structural Events That May Violate an Integrity Constraint

@inproceedings{Cabot2004DeterminingTS,
  title={Determining the Structural Events That May Violate an Integrity Constraint},
  author={Jordi Cabot and Ernest Teniente},
  booktitle={UML},
  year={2004}
}
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this paper we propose a method to automatically determine the operations that may potentially violate an OCL integrity constraint in conceptual schemas defined in the UML. This is done by determining the structural events that may violate the constraint and checking whether those events… CONTINUE READING