Protocol Modelling
  • Home
  • Introduction
  • Blog
  • ModelScope
  • Models
  • Publications
  • Research Projects
  • Choreography
  • Contact
  • New Page

Protocol Modelling

Welcome to the protocol modelling community

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. 
Powered by Create your own unique website with customizable templates.