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

  • 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