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.
Release Date
Release Type
Major release (API breakage)
| Name | Date | Description |
|---|---|---|
| Basic version with all three generators included | 2021/04/05 | A product which includes the required three generators for UML diagrams, Word documents, and monitors. |
| Release candidate | 2021/04/19 | Product which includes all ingredient of the release that have passed all tests. |