Th02.a: Advanced Calculi for Services

Integrated Project funded by the European Community under the " Information Society Technologies " Programme (2002—2006) Executive Summary During the first year of the project, several ideas emerged for designing service core calculi, either extending well-known process calculi and technological standards or defining novel approaches. At the same time, the extensions required for addressing Service Level Agreement, negotiation mechanisms and transactional disciplines were necessarily based on already existing process calculi, because core calculi were not yet assessed. This thematic deliverable and its companion Th0.1.a (SENSORIA Languages and Calculi for Modelling Services) report on the outcomes of the activities conducted during the second year of the project: (1) to clarify similarities and differences among the proposed calculi from a conceptual viewpoint, (2) to export primitives emerged at one conceptual layer to other layers, possibly through different levels of abstraction, and (3) to integrate or unify different approaches whenever possible. The skeleton of the classification for SENSORIA contributions in the area of Advanced Calculi for (Combining) Services is summarized below, together with main references to the related SENSORIA contributions (developed during the second year of the project): • Service discovery level (tasks T2.4 and T5.1) • Service location level (tasks T2.2 and T5.1) – distributed XML documents [ABDZ07b] – distributed service instances [BLMT07] • Transactional level (task T5.2) – static conformance [BGG + 06] Integration efforts between features at different levels have been already started [BZ07d, LPT07b, BM07a, BMM07, PQ07, GLMZ07]. Excerpts from the above papers helped us in the preparation of this deliverable.