Open Systems Laboratory at Illinois

A formal model for reasoning about adaptive qos-enabled middleware

By Nalini Venkatasubramanian, Carolyn L. Talcott, and Gul Agha. In FME, volume 2021 of Lecture Notes in Computer Science, 197–221. Springer, 2001.

Publisher Link:


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


    author = "Venkatasubramanian, Nalini and Talcott, Carolyn L. and
              Agha, Gul",
    editor = "Oliveira, José Nuno and Zave, Pamela",
    title = "A Formal Model for Reasoning about Adaptive QoS-Enabled
    booktitle = "FME",
    crossref = "conf/fm/2001",
    ee = "",
    pages = "197-221",
    year = "2001",

    editor = "Oliveira, José Nuno and Zave, Pamela",
    title = "FME 2001: Formal Methods for Increasing Software
             Productivity, International Symposium of Formal Methods Europe,
             Berlin, Germany, March 12-16, 2001, Proceedings",
    isbn = "3-540-41791-5",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "2021",
    year = "2001",