An Approach to Specification
Establish a system automation boundary.
- Allow only interface interactions to cross the boundary.
- Split active boundary-crossing object sets.
- Note: subsystems may also be specified with an automation boundary.
Formalize behavior specifications.
- Tune the formalism of each component appropriately.
- Scale up specification size and detail with OSM-L.
Formalize boundary-crossing interactions.
- Add details about information passed in and out.
- Use interface forms to lay out and simplify interfaces.