Rigorous Software Engineering for Service-Oriented Systems

1. Front Matter

   PDF

2. Intro

   1. Sensoria – Software Engineering for Service-Oriented Overlay Computers

      • Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer

      Pages 1-14

   2. A Unifying Formal Basis for the Sensoria Approach: A White Paper

      • Ugo Montanari

      Pages 15-25

   3. Introduction to the Sensoria Case Studies

      • Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer

      Pages 26-34

3. Modelling in Service-Oriented Architectures

   1. UML Extensions for Service-Oriented Systems

      • Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró

      Pages 35-60

   2. The Sensoria Reference Modelling Language

      • José Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu

      Pages 61-114

   3. Model-Driven Development of Adaptable Service-Oriented Business Processes

      • Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini

      Pages 115-132

   4. A Formal Support to Business and Architectural Design for Service-Oriented Systems

      • Roberto Bruni, Howard Foster, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto

      Pages 133-152

4. Calculi for Service-Oriented Computing

   1. Core Calculi for Service-Oriented Computing

      • Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco T. Vasconcelos, Gianluigi Zavattaro

      Pages 153-188

   2. Behavioral Theory for Session-Oriented Calculi

      • Ivan Lanese, Antonio Ravara, Hugo Torres Vieira

      Pages 189-213

   3. Static Analysis Techniques for Session-Oriented Calculi

      • Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo T. Vieira

      Pages 214-231

   4. Call-by-Contract for Service Discovery, Orchestration and Recovery

      • Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino

      Pages 232-261

5. Negotiations, Planning, and Reconfiguration

   1. CC-Pi: A Constraint Language for Service Negotiation and Composition

      • Maria Grazia Buscemi, Ugo Montanari

      Pages 262-281

   2. Advanced Mechanisms for Service Composition, Query and Discovery

      • Michele Boreale, Mario Bravetti

      Pages 282-301

   3. Advanced Mechanisms for Service Combination and Transactions

      • Carla Ferreira, Ivan Lanese, Antonio Ravara, Hugo Torres Vieira, Gianluigi Zavattaro

      Pages 302-325

   4. Model-Driven Development of Long Running Transactions

      • Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

      Pages 326-348

   5. Hierarchical Models for Service-Oriented Systems

      • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari

      Pages 349-368

6. Qualitative Analysis Techniques for Service-Oriented Computing

   1. Analysing Protocol Stacks for Services

      • Han Gao, Flemming Nielson, Hanne Riis Nielson

      Pages 369-389

   2. An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems

      • Stefania Gnesi, Franco Mazzanti

      Pages 390-407

   3. Tools and Verification

      • Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira et al.

      Pages 408-427

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

• Institut für Informatik, Ludwig-Maximilians-Universität München, München, Germany

  Martin Wirsing, Matthias Hölzl

SENSORIA – Software Engineering for Service-Oriented Overlay

Computers.- A Unifying Formal Basis for the SENSORIA Approach: A White Paper.- Introduction to the SENSORIA Case Studies.- UML Extensions for Service-Oriented Systems.- The SENSORIA Reference Modeling Language.- Model-Driven Development of Adaptable Service-Oriented Business Processes.- A Formal Support to Business and Architectural Design for Service-Oriented Systems.- Core Calculi for Service-Oriented Computing.- Behavioral Theory for Session-Oriented Calculi.- Static Analysis Techniques for Session-Oriented Calculi.- Call-by-Contract for Service Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition.- Advanced Mechanisms for Service Composition, Query and Advanced Mechanisms for Service Combination and Transactions.- Model-Driven Development of Long Running Transactions.- Hierarchical Models for Service-Oriented Systems.- Analysing Protocol Stacks for Services.- An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems.-Tools and Verification.- Specification and Analysis of Dynamically-Reconfigurable Service Architectures.- SoSL: A Service-Oriented Stochastic Logic.- Evaluating Service Level Agreements Using Observational Probes.- Scaling Performance Analysis Using Fluid-Flow Approximation.- Passage-End Analysis for Analysing Robot Movement.- Quantitative Analysis of Services.- Methodologies for Model-Driven Development and Deployment: An Overview.- Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.-Runtime Support for Dynamic and Adaptive Service Composition.-Legacy Transformations for Extracting Service Components.-The SENSORIA Development Environment.- Specification and Implementation of Demonstrators for the Case Studies.- SENSORIA Results Applied to the Case Studies.- Analysing Robot Movement Using the SENSORIA Methods.- The SENSORIA ApproachApplied to the Finance Case Study.- SENSORIA Patterns.

Policies and ethics