Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware

Nalini VenkatasubramanianContact Information, Carolyn TalcottContact Information and Gul AghaContact Information

(6)  Univ. of California Irvine, Irvine, CA 92697-3425, USA
(7)  Stanford University, Stanford, CA 94305, USA
(8)  University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA
Abstract
Systems that provide QoS-enabled services such as multimedia are subject to constant evolution - customizable middleware is required to effectively manage this change. Middleware services for resource management such as scheduling, protocols providing security and reliability, load balancing and stream synchronization, execute concurrently with each other and with application activities and can therefore potentially interfere with each other. To ensure cost-effective QoS in distributed systems, safe composability of resource management services is essential. In this paper we present a meta-architectural framework for customizable QoS-based middleware based on the actor model of concurrent active objects. Using TLAM, a semantic model for specifying and reasoning about components of open distributed systems, we show how a QoS brokerage service can be used to coordinate multimedia resource management services in a safe, flexible and effcient manner. In particular, we show that a system in which the multimedia actor behaviors satisfy the speciffed requirements, provides the required multimedia service. The behavior speciffcation leaves open the possibility of a variety of algorithms for resource management as well as adding additional resource management activities by providing constraints to ensure their non-interference.

Keywords  meta-object models - distributed systems - theoretical foundations - object-oriented applications - multimedia


Contact Information Nalini Venkatasubramanian
Email: nalini@ics.uci.edu

Contact Information Carolyn Talcott
Email: clt@cs.stanford.edu

Contact Information Gul Agha
Email: agha@cs.uiuc.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)