Skip to main content

Specification and Implementation of Demonstrators for the Case Studies

  • Chapter
Rigorous Software Engineering for Service-Oriented Systems

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6582))

  • 523 Accesses

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.

This work has been partially sponsored by the project Sensoria, IST-2005-016004.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alessandrini, M., Dost, D.: Finance Case Study: Requirements, Specification and Modelling of Selected Scenarios (D8.3.a). Technical report, S&N AG (2007)

    Google Scholar 

  2. Koch, N., Berndl, D.: Requirements Modelling and Analysis of Selected Scenarios: Automotive Case Study (D8.2.a). Technical report, FAST GmbH (2007)

    Google Scholar 

  3. Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: Model-Driven Service Orchestration. In: The 12th IEEE International EDOC Conference (EDOC 2008), Munich, Germany, pp. 203–212. IEEE Computer Society Press, Los Alamitos (2008)

    Google Scholar 

  4. OMG. Service Oriented Architecture Modelling Language Beta 1 (2009), http://www.soaml.org/

  5. Xie, R., Koch, N.: Automotive CASE Study: Demonstrator. Technical report, Cirquent GmbH (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Elgner, J., Gnesi, S., Koch, N., Mayer, P. (2011). Specification and Implementation of Demonstrators for the Case Studies. In: Wirsing, M., Hölzl, M. (eds) Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, vol 6582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20401-2_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-20401-2_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-20400-5

  • Online ISBN: 978-3-642-20401-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics