Navigation links: up | package
This is the simplest (atomic) logical relationship. It can be combined with logical connectives to form more general LogicalRelationships. The arcs in an AND/OR graph correspond to implies relationships.
This relationship concept has the following readings:
A Situation is a set of world states, typically defined by some property that they all share. A subject Situation is said to imply an object Situation if the subject is a subset of the object. For example, if situationA is the set of states in which entity X has colour blue, and situationB is the set of states in which entity X has type car and colour blue, then situationB implies situationA. Note that situationB is a specialisation of situationA: its defining properties are obtained by adding to those of situationA. Thus isImpliedBy, the reverse reading of MESSAGE concept implies is a specialisation of the UML generalisation relationship.