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.