Type models illustrate the static nature of the system much like a class diagram does under UML. These diagrams combine all the possible snapshots a system might have.
A type diagram
Type Model Notations
A Type, similar to a class, is an abstraction of an object.
Learn how to create this symbol.
Associations represent pairs of inverse attributes. Draw associations by connecting Types.
Learn how to connect two Types.
Association ordered by Type x
Place cardinality notations near the ends of an association. These notations indicate the number of instances of one Type linked to one instance of the other Type. For example, one company can employ one or more employees.
Zero or more
Between m and n
A static invariant is a Boolean expression that must be true for every permitted snapshot of a type diagram.
A complex type model illustrates in detail any specification Types contained under the design Type.
Learn how to arrange multiple objects on the page.
As in other object-oriented methods, subtypes inherit specifications from supertypes.
Learn how to illustrate this relationship.