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. |