[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 A Reflective Framework for Providing Safe QoS-enabled Customizable Middleware
Venkatasubramanian, N. and Talcott, C. L. - 2000

Open Distributed Systems (ODS) evolve dynamically and components of ODS interact with an environment that is not under their control. Managing change efficiently is critical to the effective deployment of applications executing in such environments; reflection helps deal with the need for flexibility. A wide range of protocols and activities must execute concurrently and non-disruptively, and must share resources. In order to avoid resource conflicts, deadlocks, inconsistencies and incorrect execution semantics, the underlying resource management system must ensure that the concurrent system activities compose in a correct manner. In this position paper, we discuss our experiences in developing system level behaviors in the context of ComposeQ, a QoS-enabled composable middleware framework and outline key challenges in the development of formally verifiable middleware for next generation highly distributed and customizable applications.