A Basic Calculus for Modeling Service Level Agreement ?

The definition of suitable abstractions and models for ident ifyi g, understanding and managing Quality of Service (QoS) constrai nts is a challenging issue of the Service Oriented Computing paradigm. In this pa per we introduce a process calculus where QoS attributes are first class object s. We identify a minimal set of primitives that allow capturing in an abstract way the ability to control and coordinate services in presence of QoS constraints.

[1]  Martín Abadi,et al.  A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.

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

[3]  Luca Cardelli,et al.  Service Combinators for Web Computing , 1999, DSL.

[4]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[5]  Martín Abadi,et al.  A Calculus for Cryptographic Protocols: The spi Calculus , 1999, Inf. Comput..

[6]  Rocco De Nicola,et al.  Programming Access Control: The KLAIM Experience , 2000, CONCUR.

[7]  Rocco De Nicola,et al.  Types for access control , 2000, Theor. Comput. Sci..

[8]  Naoki Kobayashi.  Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness , 2000, IFIP TCS.

[9]  Atsushi Igarashi,et al.  A generic type system for the Pi-calculus , 2001, POPL '01.

[10]  Emilio Tuosto,et al.  Graph-Based Models of Internetworking Systems , 2002, 10th Anniversary Colloquium of UNU/IIST.

[11]  Mehryar Mohri,et al.  Semiring Frameworks and Algorithms for Shortest-Distance Problems , 2002, J. Autom. Lang. Comb..

[12]  Uwe Nestmann,et al.  Unreliable Failure Detectors via Operational Semantics , 2003, ASIAN.

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

[14]  Greg Meredith,et al.  Contracts and types , 2003, CACM.

[15]  John S. Baras,et al.  Trust evaluation in ad-hoc networks , 2004, WiSe '04.

[16]  Atsushi Igarashi,et al.  A generic type system for the Pi-calculus , 2004, Theor. Comput. Sci..

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

[18]  Emilio Tuosto,et al.  Non-functional aspects of wide area network programming , 2003 .