RoboScene

Click on the links below, or navigate through the folders, to find materials for the RoboScene notation. This repository contains the metamodel, csp translation rules and a running example for reference within papers.

Running Example (Small SAR Example)

The folder of all running example documents contains:

• RoboScene Document
• Sequence Diagram Image
• RoboChart of Drone
• RoboChart of Drone Image
• RoboChart of Handheld
• RoboChart of Handheld Image
• CSP for RoboChart models
• CSP for RoboScene model

SAR Example

The folder of all SAR example documents contains:

• The HTA of the example
• Image of the final RoboChart model for the Drone
• Image of the final RoboChart model for the Handheld
• RoboScene sequence diagrams for the AreaSearch scenario with trained users and traits of:
  • Ideal Operator and Pilot
  • A Fatigued Operator and Ideal Pilot
  • An Operator Under Pressure and an Ideal Pilot
• The RoboScene model, csp files, sequence diagrams and RoboChart models for each step of the development process:
  • Step 1
  • Step 2
  • Step 3
  • Step 4
  • Step 5

Metamodel

The folder of Metamodel documents contains:

• The total metamodel
• The top-level of the metamodel
• An expanded image of the metamodel
• The well-formedness conditions

CSP Translation Rules

PDF of the translation rules for RoboScene into CSP