| Intro / I： |
| SENSORIA - Software Engineering for Service-Oriented Overlay Computers / Martin Wirsing ; Matthias Hölzl ; Nora Koch ; Philip Mayer |
| A Unifying Formal Basis for the SENSORIA Approach: A White Paper / Ugo Montanari |
| Introduction to the SENSORIA Case Studies / Jannis Elgner ; Stefania Gnesi |
| Modelling in Service-Oriented Architectures / II： |
| UML Extensions for Service-Oriented Systems / Howard Foster ; László Gönczy ; Carlo Montangero ; Dániel Varró |
| The SENSORIA Reference Modelling Language / José Fiadeiro ; Antónia Lopes ; Laura Bocchi ; João Abreu |
| Model-Driven Development of Adaptable Service-Oriented Business Processes / Stephan Reiff-Marganiec ; Laura Semini |
| A Formal Support to Business and Architectural Design for Service-Oriented Systems / Roberto Bruni ; Alberto Lluch Lafuente ; Emilio Tuosto |
| Calculi for Service-Oriented Computing / III： |
| Core Calculi for Service-Oriented Computing / LuÃs Caires ; Rocco De Nicola ; Rosario Pugliese ; Vasco T. Vasconcelos ; Gianluigi Zavattaro |
| Behavioral Theory for Session-Oriented Calculi / Ivan Lanese ; Antonio Ravara ; Hugo Torres Vieira |
| Static Analysis Techniques for Session-Oriented Calculi / Lucia Acciai ; Chiara Bodei ; Michele Boreale |
| Call-by-Contract for Service Discovery, Orchestration and Recovery / Massimo Bartoletti ; Pierpaolo Degano ; Gian Luigi Ferrari ; Roberto Zunino |
| Negotiations, Planning, and Reconfiguration / IV： |
| CC-Pi: A Constraint Language for Service Negotiation and Composition / Maria Grazia Buscemi |
| Advanced Mechanisms for Service Composition, Query and Discovery / Mario Bravetti |
| Advanced Mechanisms for Service Combination and Transactions / Carla Ferreira |
| Model-Driven Development of Long Running Transactions / Vincenzo Ciancia ; Gianluigi Ferrari ; Roberto Guanciale ; Daniele Strollo |
| Hierarchical Models for Service-Oriented Systems / Andrea Corradini ; Fabio Gadducci |
| Qualitative Analysis Techniques for Service-Oriented Computing / V： |
| Analysing Protocol Stacks for Services / Han Gao ; Flemming Nielson ; Hanne Riis Nielson |
| An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems / Franco Mazzanti |
| Tools and Verification / Davide Sangiorgi |
| Specification and Analysis of Dynamically-Reconfigurable Service Architectures / Arun Mukhija ; David S. Rosenblum ; Sebastian Uchitel |
| Quantitative Analysis Techniques for Service-Oriented Computing / VI： |
| SoSL: A Service-Oriented Stochastic Logic / Diego Latella ; Michele Loreti ; Mieke Massink |
| Evaluating Service Level Agreements Using Observational Probes / Allan Clark ; Stephen Gilmore |
| Scaling Performance Analysis Using Fluid-Flow Approximation / Mirco Tribastone |
| Passage-End Analysis for Analysing Robot Movement / Adam Duguid |
| Quantitative Analysis of Services / Igor Cappello ; Paola Quaglia ; Stefano Schivo |
| Model-Driven Development and Reverse-Engineering for Service-Oriented Systems / VII： |
| Methodologies for Model-Driven Development and Deployment: An Overview / Ãbel Hegedüs |
| Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis / Gábor Bergmann ; Artur Boronat ; Reiko Heckel ; Paolo Torrini ; István Ráth |
| Runtime Support for Dynamic and Adaptive Service Composition |
| Legacy Transformations for Extracting Service Components / Carlos Matos |
| The SENSORIA Development Environment |
| Case Studies and Patterns / VIII： |
| Specification and Implementation of Demonstrators for the Case Studies |
| SENSORIA Results Applied to the Case Studies / Maurice H. ter Beek |
| Analysing Robot Movement Using the SENSORIA Methods / Alessandro Lapadula ; Claudio Palasciano |
| The SENSORIA Approach Applied to the Finance Case Study / Francesco Tiezzi |
| SENSORIA Patterns |
| Author Index |
| Intro / I： |
| SENSORIA - Software Engineering for Service-Oriented Overlay Computers / Martin Wirsing ; Matthias Hölzl ; Nora Koch ; Philip Mayer |
| A Unifying Formal Basis for the SENSORIA Approach: A White Paper / Ugo Montanari |
ＥＢ
