Case Studies & Examples

Examples from the SENSORIA Case Studies

Attached to this page may be found:

• A complete process description of the eUniversity case study (see below).
• The models of the "On road repair" scenario of the automotive case study (see below).
• The Credit Request scenario of the automotive case study (see below)

Automotive Demonstrator

• Demonstration of the "On Road Assistance" scenario
  • download  http://www.sensoria-ist.eu/cirquent/automotive_demonstrator/on_road_assistance.zip
  • report  http://rap.dsi.unifi.it/sensoria/files/Automotive_Demonstrator-draft.pdf

Examples for tools

• A number of examples for WS-Engineer & LTSA may be found on the WS-Engineer website.
  •  http://www.doc.ic.ac.uk/ltsa/samples/
• Examples for the PEPA/SRMC tool suite may be found on the PEPA website:
  •  http://www.dcs.ed.ac.uk/pepa/examples/