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