The SENSORIA project  provided rigorous mathematical foundations for service discovery, negotiation of Service Level Agreements (SLA) and Quality of Service (QoS), orchestration and choreography, workflow-like transactions and compensation, monitoring and dynamic reconfiguration.

To this aim, the core calculi were extended with new primitives and models and methodologies were tailored to different SLA/QoS aspects. Finally, we provided a sound software architectural basis for dynamic reconfigurations like those needed in self-organizing, self-healing and self-optimizing applications.

Deliverables

• D5a: Hierarchical graph models of extended core calculi
• D5.1.a: Process Calculi and Coordination Languages with Costs, Priority and Probability (First Draft)
• D5.2.a: Model-driven development of Long Running Transactions
  
• D5.3.a: Reconfigurations Preserving Architectural Types and Shapes
• D5.3.b: Requirements for Automated Reconfiguration and Specification of Policy Run-Time Support