- 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:
Tuesday, October 3, 2023
Release Type:
Major release (API breakage)