Congruency
An object set is congruent if the common properties of the objects in an object set S coincide with the properties explicitly defined for S.
Explicit properties – given in application model
Common properties
- Common relationship-set property: all objects participate
- Common state-net property: all objects can be in state or transition
- Common interaction property: all objects can interact the same
Incongruent:
- Overstatement: explicit property not common to all
- Understatement: common to all but not explicit