Within the scope of the SENSORIA project we developed a foundational methodology, based on process calculi and behavioural types, with linguistic primitives for the abstract description of services and with operators and mechanisms for services discovery and composition.

Deliverables

• D2.1.a: Core Calculi for Service Oriented Computing
• D2.2.a: Location aware Core-Calculi
• D2.3.a: Behavioural Types for Service Composition
• D2.a:    Mechanisms for Service Composition, Query and Discovery