Protocol Modelling is a technique that transforms and enhances the way that application systems requirements are analyzed and are agreed. It is based on a modelling language and model execution software that supports:
- A compositional style, whereby complex models and behavioural rules are represented by putting together simple parts
- Iterative exploration of requirements with stakeholders using model execution, eliminating the need for extensive documentation
- Direct interpretation of models, avoiding the complexity of model compilation or code generation.