Analysis -- Fusion
- Object Model -- concepts and relations
- LifeCycle Model -- sequences of operations
- Operation Model -- semantics of system operations
Design -- data dictionary
- Object Interaction Graph -- functional dependencies
- Visibility Graphs -- communication structure
- Class Descriptions -- attributes and methods
- Inheritance Graphs -- subtype refinement
Implementation -- validation
- System Lifecycle -- state machines
- Class Descriptions -- coding, performance