## Examples

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