%0 Book Section
%A De Nicola, Rocco
%A Ferrari, GianLuigi
%A Montanari, Ugo
%A Pugliese, Rosario
%A Tuosto, Emilio
%B Verification: Theory and Practice
%D 2004
%E Dershowitz, Nachum
%F eprints:318
%I Springer
%P 185-187
%S Lecture Notes in Computer Science
%T A Formal Basis for Reasoning on Programmable QoS
%U http://eprints.imtlucca.it/318/
%V 2772
%X 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.