Hierarchy: Is-Composed-Of
Definition: a is-composed-of b if b is a component of a and encapsulated within it
System structure can be specified by the is-composed-of relation where
- non-terminals are virtual code
- terminals are the only units represented by code
In such a case the uses relation is specified over the set of terminals only
The is-composed-of relation should be acyclic