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.
