Research Approach
Combine two ideas:
- Mode-component specification
- Extends the MASTERMIND Dialog Model
- Influenced by Batory’s reusable components
- Universe model implementation strategy
- Influenced by Meyer’s Design by Contract
- Run-time extensions for synchronization contracts