A Formal Basis for Reasoning on Programmable QoS

The explicit management of Quality of Service (QoS) of network connectivity, such as, e. g., working cost, transaction support, and security, is a key requirement for the development of the novel wide area network applications. In this paper, we introduce a foundational model for specification of QoS attributes at application level. The model handles QoS attributes as semantic constraints within a graphical calculus for mobility. In our approach QoS attributes are related to the programming abstractions and are exploited to select, configure and dynamically modify the underlying system oriented QoS mechanisms.

[1]  Luigi V. Mancini,et al.  A Formal Model for Role-Based Access Control Using Graph Transformation , 2000, ESORICS.

[2]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

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

[4]  Francesco Parisi-Presicce,et al.  Describing Policies with Graph Constraints and Rules , 2002, ICGT.

[5]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

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

[7]  Lixia Zhang,et al.  Resource ReSerVation Protocol (RSVP) - Version 1 Functional Specification , 1997, RFC.

[8]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[9]  Ugo Montanari,et al.  A model for distributed systems based on graph rewriting , 1987, JACM.

[10]  Ugo Montanari,et al.  Graph Grammars for distributed systems , 1982, Graph-Grammars and Their Application to Computer Science.

[11]  Ugo Montanari,et al.  Synchronized Hyperedge Replacement with Name Mobility , 2001, CONCUR.

[12]  Klara Nahrstedt,et al.  "Agilos": A Middleware Control Architecture for Application -Aware Quality of Service Adaptations , 2000 .

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

[14]  Klara Nahrstedt,et al.  A distributed resource management architecture that supports advance reservations and co-allocation , 1999, 1999 Seventh International Workshop on Quality of Service. IWQoS'99. (Cat. No.98EX354).

[15]  Francesca Rossi,et al.  Soft Constraint Logic Programming and Generalized Shortest Path Problems , 2002, J. Heuristics.

[16]  Luigi V. Mancini,et al.  Foundations for a Graph-Based Approach to the Specification of Access Control Policies , 2001, FoSSaCS.

[17]  Glynn Winskel,et al.  Synchronization Trees , 1984, Theor. Comput. Sci..

[18]  João L. Sobrinho,et al.  Algebra and algorithms for QoS path computation and hop-by-hop routing in the Internet , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

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

[20]  Andrew T. Campbell,et al.  The mobiware toolkit: programmable support for adaptive mobile networking , 1998, IEEE Wirel. Commun..

[21]  Zheng Wang,et al.  An Architecture for Differentiated Services , 1998, RFC.

[22]  Francesca Rossi,et al.  Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract) , 1996, COORDINATION.

[23]  Ugo Montanari,et al.  Observational Equivalence for Synchronized Graph Rewriting with Mobility , 2001, TACS.

[24]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[25]  YokooMakoto,et al.  Algorithms for Distributed Constraint Satisfaction , 2000 .

[26]  Lorenzo Bettini,et al.  An infrastructure language for open nets , 2002, SAC '02.

[27]  Xipeng Xiao,et al.  Internet QoS: a big picture , 1999, IEEE Netw..

[28]  David L. Black,et al.  An Architecture for Differentiated Service , 1998 .

[29]  Paola Inverardi,et al.  Reconfiguration of Software Architecture Styles with Name Mobility , 2000, COORDINATION.

[30]  Makoto Yokoo,et al.  Algorithms for Distributed Constraint Satisfaction: A Review , 2000, Autonomous Agents and Multi-Agent Systems.