Automatic Maintenance of Association Invariants
Many approaches to software specification and design make use of invariants: constraints whose truth is preserved under operations on a system or component. Object modelling involves the definition of association invariants: constraints upon the sets of links corresponding to particular associations...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
2008
|