The goal of the SENSORIA project comprise three main themes:

• Theme 1 - Generalised concept of service for global computers, new semantically well-defined modelling and programming primitives for services.
  
• Theme 2 - Mathematical analysis and verification techniques and tools for system behaviour and quality of service properties.
  
• Theme 3 - Model-based transformation and development techniques.
  

Four case studies provide application examples for the activities of themes 1 to 3. In addition, a set of activities for dissemination, exploitation, demonstration and training support the technology transfer goal.