The aim of SENSORIA is to develop a novel comprehensive approach to the engineering of software systems for service-oriented overlay computers where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach.

The SENSORIA approach is illustrated by several development scenarios like:

• Model-driven Performance Validation and Orchestration

• Self-Management, Composition and Service Interactions

• Service Orchestration for E-learning

• Formal analysis of synchronous/asynchronous service invocations on unstable networks

The approach will focus on global services that are context adaptive, personalisable, and may require hard and soft constraints on resources and performance, and will take into account the fact that services have to be deployed on different, possibly interoperating, global computers, to provide novel and reusable service-oriented overlay computers.

The results of SENSORIA will include a new generalised concept of service for global overlay computers, new semantically well-defined modelling and programming primitives for services, new powerful mathematical analysis and verification techniques and tools for system behaviour and quality of service properties, and novel model-based transformation and development techniques. The innovative methods of SENSORIA will be demonstrated by applying them in the service-intensive areas of e-business, automotive systems, and telecommunications.

The goal of the SENSORIA project comprise three main themes:

• Generalised concept of service for global computers, new semantically well-defined modelling and programming primitives for services.

• Mathematical analysis and verification techniques and tools for system behaviour and quality of service properties.

• Model-based transformation and development techniques

Fundings: European Community

Duration: 4 years (2007/2010)

Web link: http://www.sensoria-ist.

eu/ Reference: Fabio Martinelli