Home

Models

Basic class diagrams

State machines

Classes can be enriched with state machines. In USE, protocol state machines are supported. They can be used to define a usage protocol of a class, i. e., they can define valid call sequences by state transitions.

A simple protocol state machine is described in this example.

Model execution

Object diagrams

Sequence diagrams

Communication diagrams

Programming

Command language

SOIL

Advanced topics

Annotations aka. stereotypes

Model finding

Extending OCL by using Ruby