- Add "where" construct to express constraints on values of notifications and replies
- New notation for functional constraints of components, close to state machine of interface behavior
- Generate test client based on interface and component models
- Improve simulation to deal with changed language and both provided and required interfaces
- Improve visualisation of race conditions in model quality check
Release Date
Release Type
Major release (API breakage)
| Name | Date | Description |
|---|---|---|
| Release candidate 2.0.0 | 2023/08/31 |