Document - Specification and implementation of demonstrators for the case studies

2011

Contribution to book Restricted

Specification and implementation of demonstrators for the case studies

Elgner J., Gnesi S., Koch N., Mayer P.

Service-oriented Systems modelling Verification

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.

Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing,, edited by Martin Wirsing ; Matthias Hölz, pp. 640–654. Berlin/Heidelberg: Springer-Verlag, 2011

Publisher: Springer-Verlag, Berlin/Heidelberg, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:203872,
	title = {Specification and implementation of demonstrators for the case studies},
	author = {Elgner J. and Gnesi S. and Koch N. and Mayer P.},
	publisher = {Springer-Verlag, Berlin/Heidelberg, DEU},
	doi = {10.1007/978-3-642-20401-2_31},
	booktitle = {Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing,, edited by Martin Wirsing ; Matthias Hölz, pp. 640–654. Berlin/Heidelberg: Springer-Verlag, 2011},
	year = {2011}
}