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
    3. Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastian Uchitel
      Pages 428-446
  7. Quantitative Analysis Techniques for Service-Oriented Computing

    1. Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
      Pages 447-466
    2. Allan Clark, Stephen Gilmore
      Pages 467-485
    3. Mirco Tribastone, Stephen Gilmore
      Pages 486-505
    4. Allan Clark, Adam Duguid, Stephen Gilmore
      Pages 506-521
    5. Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia et al.
      Pages 522-540
  8. Model-Driven Development and Reverse-Engineering for Service-Oriented Systems

    1. László Gönczy, Ábel Hegedüs, Dániel Varró
      Pages 541-560
    2. Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró
      Pages 561-584
    3. Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastian Uchitel
      Pages 585-603
    4. Carlos Matos, Reiko Heckel
      Pages 604-621
    5. Philip Mayer, István Ráth
      Pages 622-639
  9. Case Studies and Patterns

    1. Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer
      Pages 640-654
    2. Maurice H. ter Beek
      Pages 655-677
    3. Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano
      Pages 678-697
    4. Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi
      Pages 698-718
    5. Matthias Hölzl, Nora Koch, Philip Mayer, Martin Wirsing
      Pages 719-736
  10. Back Matter

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

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment