Results of the SENSORIA Project 2011

Intro

Modelling in Service-Oriented Architectures

Calculi for Service-Oriented Computing

Negotiations, Planning, and Reconfiguration

Qualitative Analysis Techniques for Service-Oriented Computing

Quantitative Analysis Techniques for Service-Oriented Computing

Model-Driven Development and Reverse-Engineering for Service-Oriented Systems

Case Studies and Patterns