A formal model for reasoning about adaptive QoS-enabled middleware

Nalini Venkatasubramanian, Carolyn Talcott, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 efficient manner. In particular, we show that a system in which the multimedia actor behaviors satisfy the specified requirements, providesthe required multimedia service. The behavior specification 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.

Original languageEnglish (US)
Title of host publicationFME 2001
Subtitle of host publicationFormal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings
EditorsJose Nuno Oliveira, Pamela Zave
PublisherSpringer-Verlag Berlin Heidelberg
Pages197-221
Number of pages25
ISBN (Print)3540417915, 9783540417910
DOIs
StatePublished - Jan 1 2001
Event10th International Symposium of Formal Methods Europe, FME 2001 - Berlin, Germany
Duration: Mar 12 2001Mar 16 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2021 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other10th International Symposium of Formal Methods Europe, FME 2001
CountryGermany
CityBerlin
Period3/12/013/16/01

Keywords

  • Distributed systems
  • Meta-object models
  • Multimedia
  • Object-oriented applications
  • Theoretical foundations

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A formal model for reasoning about adaptive QoS-enabled middleware'. Together they form a unique fingerprint.

  • Cite this

    Venkatasubramanian, N., Talcott, C., & Agha, G. (2001). A formal model for reasoning about adaptive QoS-enabled middleware. In J. N. Oliveira, & P. Zave (Eds.), FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings (pp. 197-221). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2021 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-45251-6_11