Specification and implementation of demonstrators for the case studies

  • Authors:
  • Jannis Elgner;Stefania Gnesi;Nora Koch;Philip Mayer

  • Affiliations:
  • S & N AG, Germany;Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" CNR, Pisa, Italy;Ludwig-Maximilians-Universität München, Germany and Cirquent GmbH, Germany;Ludwig-Maximilians-Universität München, Germany

  • Venue:
  • Rigorous software engineering for service-oriented systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.01

Visualization

Abstract

A main challenge in SENSORIA has been the inclusion of case studies from different industrial and academic application areas, namely finance, automotive, telecommunications, and university administration. The case studies, along with a short description of available scenarios, have already been introduced in Chapter 0-3. In this chapter, we go into more detail, presenting the (graphical) specifications for selected scenarios by using the modeling approaches introduced in SENSORIA. Furthermore, we detail the implementation of demonstrators for some of the case studies.