Towards Systematic Synthesis of Reflective Middleware
In this paper, we present a method for systematic synthesis of middleware based on the meta-level requirements of the application that stands on top of it. Particular attention is paid to the ability to accommodate evolving requirements of a running application.
KeywordsSystematic Synthesis Theorem Prover Safe State Idle State Dynamic Part
Unable to display preview. Download preview PDF.
- 2.J. Malenfant, M. Jacques, and F.N. Demers. A Tutorial on Behavioral Reflection and its Implementation. In Proceedings of REFLECTION’ 96. ECOOP, 1996.Google Scholar
- 3.B. C. Smith. Procedural Reflection in Programming Languages. PhD thesis, MIT, 1982. Available as MIT Techical Report 272.Google Scholar
- 4.A. Zarras and V. Issarny. A Framework for Systematic Synthesis of Transactional Middleware. In Proceedings of MIDDLEWARE’ 98, pages 257–272. IFIP, Sept 1998.Google Scholar