= 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/