Sensoria: Engineering for Service-Oriented Overlay Computers
Martin Wirsing, Laura Bocchi, Allan Clark, José Luiz Fiadeiro, Stephen T. Gilmore, Matthias M. Hölzl, Nora Parcus de Koch, Philip Mayer, Rosario Pugliese, A. Sebastian Schroeder · The MIT Press eBooks · 2009
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. 1