RT Journal Article
JF IEEE Distributed Systems Online
TI A Semantic Framework for Modeling and Reasoning about Reflective Middleware
A1 Nalini Venkatasubramanian,
A1 Carolyn L. Talcott,
AB 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.
PB IEEE Computer Society, [URL:http://www.computer.org]