A Semantic Framework for Modeling and Reasoning about Reflective Middleware

  • Authors:
  • Nalini Venkatasubramanian;Carolyn L. Talcott

  • Affiliations:
  • University of California, Irvine;Stanford University

  • Venue:
  • IEEE Distributed Systems Online
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Open distributed systems evolve dynamically, and their components interact with environments that are not under their control. A reflective model of distributed computation supports separation of concerns (for example, functionality and different QoS properties) and dynamic adaptation to changing environments or requirements. In such an ODS, a wide range of services and activities must execute concurrently and share resources. To avoid resource conflicts, deadlocks, inconsistencies, and incorrect execution semantics, the underlying resource management system--middleware--must ensure that concurrent system activities compose in a correct manner. Designers and programmers must consider interactions within and across reflective levels, clearly spell out the semantics of shared distributed resources, and develop new notions of overall system correctness that account for a dynamic,distributed, and reflective setting.