The available examples can be downloaded as follows:
File- (left-top) > New > Example ; select an example ; Finish
The following examples are available:
-
Camera Example: signature and interface with comments which are used in document generation
-
Records Example: model with records and trace with records which is used in monitoring
-
Tutorial Example: model which illustrates basic language constructs, including a map type
-
Vending Machine Example: starting point of the tutorial
-
Test Generation Example: generation of test cases for an interface and the provided interfaces of a component
-
Imaging Component Example: component with three provided interfaces, two required interfaces, and a number of component constraints; monitoring of a component is demonstrated by eight traces
-
Compound Components Example: a number of connected components, including hierarchy, and monitoring of constraints relating interfaces of different components
-
Web Shop Example: multiple clients (customers) which share component data, including monitoring where conceptually each client has its own state machine
-
Multiple Sessions Example: multiple clients which share data and where the component needs information about the identity of clients
-
JSON Events Example: illustrates the representation of traces in JSON format
-
Sensor Server Example: shows the use of monitoring for timing analysis and constraints on the relation between events of two component interfaces, based on long JSON traces