The objective of the SENSORIA project was to increase the profitability of the analysis of services performed in Work Package 3 and Work Package 4 by strengthening the connections to high-level models of services and guiding development from these to finished deployments.

The development methodology is supported by a case tool provided as a federation of Web services which expose the powerful analysis tools developed within the SENSORIA project in a way which is helpful to reliable production of well-engineered services.

Deliverables

• D7.1.a: Graph Transformation-Based Methods for Services and Calculi
• D7.1.b: Formal analysis of model transformations
• D7.2.a: Experimentation and Analysis Frameworks with Language Mappings (State-of-the-art Report)
• D7.4.a: Case tool: Initial Requirements
• D7.4.b: Report on the SENSORIA CASE Tool
• D7.4.c: Report on the Sensoria Development Environment (second version)
• D7.4.d: Report on the Sensoria Development Environment (third version)