Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.
0.1.0
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.
- Log in to post comments