Advertisement

Towards Systematic Synthesis of Reflective Middleware

  • Petr Tůma
  • Valerie Issarny
  • Apostolos Zarras
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1616)

Abstract

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.

Keywords

Systematic Synthesis Theorem Prover Safe State Idle State Dynamic Part 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Kramer and J. Magee. The Evolving Philosophers Problem. IEEE Transactions on Software Engineering, 15(1):1293–1306, November 1990.CrossRefGoogle Scholar
  2. 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. 3.
    B. C. Smith. Procedural Reflection in Programming Languages. PhD thesis, MIT, 1982. Available as MIT Techical Report 272.Google Scholar
  4. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Petr Tůma
    • 1
  • Valerie Issarny
    • 1
  • Apostolos Zarras
    • 1
  1. 1.INRIA/IRISARennes CedexFrance

Personalised recommendations