Dynamic Binding
Dynamic binding is based on a client-server model:
- special interface transitions can be linked, so that a transaction firing a client transition is transferred to a corresponding server transition;
- it leave the server interface transition immediately, and traverses the server model;
- when it returns to the server interface transition, the transaction state is returned to the client model and the transition terminated;
- client-server bindings can be persistent, or derived from the transaction state.