SENSORIA: Engineering for Service-Oriented Overlay Computers

Martin Wirsing1, Laura Bocchi3, Allan Clark2, José Luiz Fiadeiro3, Stephen Gilmore2, Matthias Holzl1, Nora Koch1,4, Philip Mayer1, Rosario Pugliese5, Andreas Schroeder1.

1 Ludwig-Maximilians-Universität München, Germany
2 University of Edinburgh, United Kingdom
3 University of Leicester
4 F.A.S.T. GmbH, Germany
5 Università degli Studi di Firenze, Italy

Abstract
Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities (called services) that can be described, published and categorised, and dynamically discovered and assembled, resulting in massively distributed, interoperable, evolvable systems. The IST-FET Integrated Project SENSORIA is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. SENSORIA results comprise modelling and programming primitives for services supported by a mathematical semantics, powerful analysis and verification techniques for behavioural properties and quality of service, and model-based transformation and development techniques. We use one of our case studies, automotive systems, for illustration purposes.