# 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

- 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

- Vending Machine Test Application Example: full version of the vending machine example to demonstrate the generation of a test application for a component based on its interfaces and functional constraints; the example also shows runtime monitoring

- Vending Machine REST Example: an implementation of the vending machine accessible via a REST service. The example project demonstrates the OpenAPI and AsyncAPI support showing generation of REST specifications, conversion of REST traffic and generation of adapter for the test application

- Multiple Sessions Example: multiple clients which share data and where the component needs information about the identity of clients; demonstrates simulation, monitoring and the generation of a test application with multiple clients on a single port

- Web Shop Example: multiple clients (customers) which share component data, including simulation and monitoring

- 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