D5.1.a: Process calculi and coordination languages with costs, priority and probability

Integrated Project funded by the European Community under the " Information Society Technologies " Programme (2002—2006) Executive Summary This document reports on the research activity carried on during the first 12 months around for defining language primitives and models for Service Level Agreement and Quality of Services. We shall dedicate an introductory section to recall the part of the technical annex concerning Work-package 5.1 and outline the main contributions of the different sites. The other sections will describe in more detail the different contributions and describe the different publications that are the outcome of work carried out.

[1]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[2]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[3]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[4]  Björn Victor,et al.  The fusion calculus: expressiveness and symmetry in mobile processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[5]  Fabio Gadducci,et al.  The tile model , 2000, Proof, Language, and Interaction.

[6]  D. Box,et al.  Simple object access protocol (SOAP) 1.1 , 2000 .

[7]  Roberto Bruni,et al.  Normal forms for algebras of connection , 2002, Theor. Comput. Sci..

[8]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[9]  Ugo Montanari,et al.  A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence , 2002, CONCUR.

[10]  Emilio Tuosto,et al.  A Formal Basis for Reasoning on Programmable QoS , 2003, Verification: Theory and Practice.

[11]  Michel Wermelinger,et al.  A Mathematical Semantics for Architectural Connectors , 2003, Generic Programming.

[12]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[13]  Gianluigi Zavattaro,et al.  WSSecSpaces: a secure data-driven coordination service for Web Services applications , 2004, SAC '04.

[14]  Mario Bravetti,et al.  Web Services for E-commerce: guaranteeing security access and quality of service , 2004, SAC '04.

[15]  Roberto Bruni,et al.  New Insights on Architectural Connectors , 2004, IFIP TCS.

[16]  Ivan Lanese,et al.  Synchronization Algebras with Mobility for Graph Transformations , 2005, FGUC.

[17]  Philippa Gardner,et al.  Explicit fusions , 2000, Theor. Comput. Sci..

[18]  Emilio Tuosto,et al.  SHReQ: coordinating application level QoS , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[19]  SHReQ : A Framework for Coordinating Application Level QoS , 2005 .

[20]  Mario Bravetti,et al.  Quantitative information in the tuple space coordination model , 2005, Theor. Comput. Sci..

[21]  Ugo Montanari,et al.  Saturated Semantics for Reactive Systems , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

[22]  Fabio Gadducci,et al.  Enhancing Constraints Manipulation in Semiring-Based Formalisms , 2006, ECAI.

[23]  Emilio Tuosto,et al.  A Logic for Application Level QoS , 2006, QAPL.

[24]  Roberto Bruni,et al.  A basic algebra of stateless connectors , 2006, Theor. Comput. Sci..

[25]  Ugo Montanari,et al.  A Compositional Coalgebraic Model of a Fragment of Fusion Calculus , 2006, Electron. Notes Theor. Comput. Sci..

[26]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[27]  Ugo Montanari,et al.  A compositional coalgebraic model of fusion calculus , 2007, J. Log. Algebraic Methods Program..