This release enables the specification of component interfaces, including interface signatures, state machines to describe the allowed client-server interactions, timing constraints, data constraints, and constraints on relations between interfaces.
Based in such a specification, a number of artefacts can be generated:
- Visualisation of state machines and constraints using UML diagrams
- A Word document for each interface
- A monitor to check whether a trace of client-server interaction conforms to the specification, both for a single interface and for a component with multiple interfaces and additional constraints.
The release will also contain help facilities, examples, and a tutorial.