Release Date
Themes
namespace imports
import statements in the model now are purely based on namespaces (rather than URIs).
A project contains a modelpath with search directories (similar to class path or C include path).
The modelpath is used to lookup referenced models.
interface contracts
Protocols can be linked to so called 'interface contracts'. They are given as a state machine and the tooling generates actor classes (contract monitors) which can intercept a binding of the corresponding protocol and monitor contract violations.