Mobile Calculi based on Domains


A Formal Basis for Reasoning on Programmable QoS

R.~{De Nicola} and G.-L.~Ferrari and U.~Montanari and R.~Pugliese and E.~Tuosto

Abstract

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.

@InProceedings\{de-nicola.etal:formal-reasoning-programmable-qos,
  author = \{R.~{De Nicola} and G.-L.~Ferrari and U.~Montanari and R.~Pugliese and E.~Tuosto},
  title = \{A Formal Basis for Reasoning on Programmable QoS},
  booktitle = \{International Symposium on Verification (Theory and Practice)--Celebrating Zohar Manna's 64-th Birthday},
  year = \{2003}, 
  volume = \{2772}, 
  series = \{LNCS}, 
  publisher = \{Springer}, 
  url = \{http://mikado.di.fc.ul.pt/repository/de-nicola.etal_formal-reasoning-programmable-qos.pdf}
}


About this site. Last modified: Wed Sep 20 22:03:18 CEST 2017