Rigorous Software Engineering for Service-Oriented Systems

Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

  • Martin Wirsing
  • Matthias Hölzl

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

Table of contents

  1. Front Matter
  2. Intro

    1. Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer
      Pages 1-14
    2. Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer
      Pages 26-34
  3. Modelling in Service-Oriented Architectures

    1. Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró
      Pages 35-60
    2. José Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu
      Pages 61-114
    3. Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
      Pages 115-132
    4. Roberto Bruni, Howard Foster, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto
      Pages 133-152
  4. Calculi for Service-Oriented Computing

    1. Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco T. Vasconcelos, Gianluigi Zavattaro
      Pages 153-188
    2. Ivan Lanese, Antonio Ravara, Hugo Torres Vieira
      Pages 189-213
    3. Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo T. Vieira
      Pages 214-231
    4. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
      Pages 232-261
  5. Negotiations, Planning, and Reconfiguration

    1. Maria Grazia Buscemi, Ugo Montanari
      Pages 262-281
    2. Michele Boreale, Mario Bravetti
      Pages 282-301
    3. Carla Ferreira, Ivan Lanese, Antonio Ravara, Hugo Torres Vieira, Gianluigi Zavattaro
      Pages 302-325
    4. Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
      Pages 326-348
    5. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari
      Pages 349-368
  6. Qualitative Analysis Techniques for Service-Oriented Computing

    1. Han Gao, Flemming Nielson, Hanne Riis Nielson
      Pages 369-389
    2. Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira et al.
      Pages 408-427

About this book


Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010. The book presents, as Sensoria's essence, a novel, coherent, and comprehensive approach to the design, formal analysis, automated deployment, and reengineering of service-oriented applications. Following a motivating introduction, the 32 chapters are organized in the following topical parts: modeling in service-oriented architectures; calculi for service-oriented computing; negotiation, planning, and reconfiguration; qualitative analysis techniques for SOC; quantitative analysis techniques for SOC; model-driven development and reverse engineering for service-oriented systems; and case studies and patterns.


formal methods model transformation model-driven systems development service engineering service-oriented applications service-oriented architectures service-oriented business process systems modeling

Editors and affiliations

  • Martin Wirsing
    • 1
  • Matthias Hölzl
    • 1
  1. 1.Institut für InformatikLudwig-Maximilians-Universität MünchenMünchenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-20401-2
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20400-5
  • Online ISBN 978-3-642-20401-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book