spacer search

Software Engineering for Service-Oriented Overlay Computers
Software Engineering for Service-Oriented Overlay Computers

Main Menu
Home arrow Case Studies

Case Studies Print

The SENSORIA project has employed some realistic case studies for developing intuitions that have fed and steered the research process according to the expectations of society and its economy, discussing and communicating ideas among partners and, finally, communicating research results to and getting feedback from the research community at large, both in industry and academia.

The development of case study applications helped effectively to validate the fundamental research results of the project and these are grounded in a technological setup that can be exploited in industrial best practices. Two of the case studies are from industrial applications in the automotive and finance domains and one is an academic application for distributed e-learning and course management.


  • Automotive domain 


Due to the advances in mobile technology, it is now possible to take connectivity to the car: Internet and telephone access in vehicles are possible today, giving rise to a variety of new services for the automotive domain. Examples of scenarios analysed during the project are on road assistance in case of accident, and route planning illustrating how a vehicles' navigation system can react to external. The selected automotive scenarios allowed to encompass the complexity of SOA-based car software.

We used the on road assistance scenario of the  automotive case study to demonstrate the use of a set of techniques, methods, and tools developed within the scope of the project. The techniques used in this demonstrator are the UML4SOA profile, various model transformations from UML to BPEL and WSDL, Dino for runtime discovery and brokering of services,  and the SENSORIA Development Environment (SDE). In particular, the demonstrator focuses on the development process of service-oriented software. It demonstrates how a model-driven process can work, which automatically generates and deploys a service based on a model of the service, which is defined as an orchestration of web services. Sources and documentation can be downloaded from:

  • Sources of the on road assistance models and its implementation (zip)
  • A Tutorial of the on road assistance demonstrator  (pdf)
  • Manual for using the UMC model of the automotive case study (pdf)
  • Formal verification of an automotive scenario in service-oriented computing (pdf)


  • Finance domain

A typical application of the finance sector is the credit approval process. The credit request scenario models such a loan workflow, including interaction with customers and employees. The credit request workflow is implemented using a SOA-based system: Several specialised services are orchestrated to realise the process. SENSORIA tools and methods have been used to verify properties of this system, such that a minimum error rate in the credit request and approval process can be achieved. The following sources and documentation are available:

  • Sources of the model of the Credit Portal scenario (zip)
  • Sources of the user interaction and JBoss deployment tools for the SENSORIA Development Environment (SDE) (zip)
  • A tutorial of the credit portal demonstrator (pdf)
  • Manual for using the UMC model of the finance case study (pdf)
  • Modelling and analysing the finance case study in UMC (pdf)

  • eUniversity


To investigate the problem of developing SOA-based university management systems, an academic case study based on a set of eUniversity scenarios was analysed that make use of the specific features of SOAs focusing on administrative functionalities. Scenarios in such an environment include online management of curricula, students and their thesis.
Based on the example of the student application scenario from the eUniversity case study, we have evaluated how Sensoria tools and techniques can be used to model, verify, and generate code from UML-based SOA models. The case study is modeled in UML4SOA, our profile for behavioural specifications of SOAs. The tools used for verification purposes are the Rational Software Architect (Modelling), WS-Engineer (qualitative analysis), PEPA (quantitative analysis), MDD4SOA (Model Transformation / Code Generation) and the Sensoria Development Environment (tool integration).

  • Sources of the model of the eUniversity application scenario and its implementation (zip)
  • A tutorial for analysing the application scenario (pdf)

Further examples of some scenarios of the case studies are available for downloading. 


The Sensoria Project Website
2005 - 2010