Skip to main content
SpringerLink
Log in
Book cover

OTM Confederated International Conferences "On the Move to Meaningful Internet Systems"

OTM 2002: On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE pp 791–808Cite as

A Reflective Middleware Framework for Communication in Dynamic Environments

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2519))

Abstract

The goal of a flexible communication framework is to allow dynamic customization of complex communication protocols without compromising the overall system performance. However, the communication protocols provided in successful middleware frameworks are usually tailored to specific and/or static requirements are not suitable for dynamic environments. In dynamic environments, applications must be able to customize communication protocols on-the-fly in order to respond to change requirements while protecting the system from reaching inconsistent states that can lead to deadlocks, livelocks and incorrect execution semantics. Hence, there is a need to identify interprotocol and protocol-(middleware) service interactions in order to ensure safe flexibility of the system. The work described here proposes a reflective communication framework (RCF) capable of expressing different levels of dynamic customization of communication protocols while ensuring safe customization of communication protocols.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexander Arulanthu, Carlos O ’Ryan, Douglas C Schmidt, Michael Kircher and Jeff Parsons. The Design and Performance of a Scalable ORB Architecture for CORBA Asynchronous Messaging. In Proceedings of the IFIP/ACM Middleware 2000, 2000.

    Google Scholar 

  2. Ashish Singhai, Aamod Sane and Roy Campbel. Reflective ORBs: supporting robust,time-critical distribution. In Proceedings of the European Conference on Object-Oriented Programing, 1997.

    Google Scholar 

  3. Benoit Garbinato and Rachid Guerraoui. Using the Strategy Design Pattern to Compose Reliable Distributed Protocols. In Usenix Conference on ObjectOriented Technologies and Systems, 1997.

    Google Scholar 

  4. Benoit Garbinato and Rachid Guerraoui. Flexible Protocol Composition in BAST. In IEEE International Conference on Distributed Computing Systems, 1998.

    Google Scholar 

  5. Carlos Varela and Gul Agha. Linguistic Support for Actors, First-Class Token Passing Continuations and Join Continuations. In Midwest Society for Programming Languages and Systems Workshop, 1999.

    Google Scholar 

  6. Carlos Varela and Gul Agha. Programming Dynamically Reconfigurable Open Systems with SALSA. In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Intriguing Technology Track,2001.

    Google Scholar 

  7. Daniel Sturman. Modular Specification of Interaction of Interaction Policies in Distributed Computing. PhD thesis, University of Illinois at Urbana-Champaing, 1996.

    Google Scholar 

  8. Erich Gamma, Richard Helm, Ralp Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.

    Google Scholar 

  9. Fabio Costa, Gordon Blairand Geoff Coulson. Experiments with Reflective Middleware. Technical Report MPG-98-11, Lancaster University, 1998.

    Google Scholar 

  10. Fabio Kon, Manuel Román, Ping Liu, Jina Mao, Tomonori Yamane, Luiz C Magalhães and Roy Campbell. Monitoring and Security and Dynamic Configuration with the dynamicTAO Reflective ORB. In Proceedings of the IFIP/ACM Middleware 2000, 2000.

    Google Scholar 

  11. Gul Agha. Actors:A model of Concurrent Computation in Distributed Systems. MIT Press,1986.

    Google Scholar 

  12. Gul Agha and Ian A Mason and Scott F Smith and Carolyn Talcott. A Foundation for Actor Computation. Functional Programming,1993.

    Google Scholar 

  13. Gul Agha, Svend Frolund, Rajendra Panwar and Daniel Sturman. A Linguistic Framework for Dynamic Composition of Dependability Protocols. In Dependable Computing and Fault Tolerant Systems,1993.

    Google Scholar 

  14. Jean-Charles Fabre and Tanguy Perennou. A Metaobject Architecture for Faulttolerant Distributed Systems:The FRIENDS Approach. In IEEE Transactions on Computers, (47):78–95,1998.

    Article  Google Scholar 

  15. Jose Meseguer, Carolyn Talcott and Denker G. Rewriting Semantics of MetaObjects and Composable Distributed Services. SRI International, 1999.

    Google Scholar 

  16. Larry Peterson, Norm Hutchinson, Sean O ’Malley and Mark Abbot. RPC in the x-Kernel:Evaluating New Design Techniques. In Proceedings of the 14th ACM Symposium on Operating System Principles, 1993.

    Google Scholar 

  17. Leslie Lamport. Time and clocks and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–565, 1978.

    Article  MATH  Google Scholar 

  18. Lynne Blair and Gordon Blair. The Impact of Aspect-Oriented Programming on Formal Methods. In Proceedings of the European Conference on Object-Oriented Programing, 1998.

    Google Scholar 

  19. Manuel Roman, Dennis Mickunas, Fabio Kon and Roy Campbell. LegORB and Ubiquitous CORBA. In Proceedings of the IFIP/ACM Workshop on Reflective Middleware 2000, 2000.

    Google Scholar 

  20. Mark Astley and Gul Agha.Customization and Composition of Distributed Objects:Middleware Abstractions for Policy Management. In 6th International Symposium on the foundation of Software Engineering, 1998.

    Google Scholar 

  21. Mark Astley, Daniel Sturman and Gul Agha.Customizable Middleware for Distributed Software. Communication of the ACM, 2000.

    Google Scholar 

  22. Mark Garland Hayden. The Ensemble System. PhD thesis, Cornell University, 1998. Department of Computer Science.

    Google Scholar 

  23. Matti A. Hiltunen, Vijaykumar Immanuel and Richard D. Schlichting. Supporting Customized Failure Models for Distributed Software. In Distributed System Engineering,(6):103–111, 1999.

    Google Scholar 

  24. Nalini Venkatasubramanian. ComPOSE.Q-A QoS-enabled Customizable Middleware Framework for Distributed Computing. In Proceedings of the IEEE International Conference on Distributed Computing Systems, 1999.

    Google Scholar 

  25. Nalini Venkatasubramanian and Carolyn Talcott. A Semantic Framework for Modeling and Reasoning about Reflective Middleware. In IEEE Distributed Systems Online, 2(6), 2001.

    Google Scholar 

  26. Nalini Venkatasubramanian and Carolyn Talcott. A Formal Correctness Proof for the Hierarchical Distributed Garbage Collection Algorithm.Technical Report TR-Stanford, Stanford University,2002.

    Google Scholar 

  27. Nalini Venkatasubramanian, Carolyn Talcott and Gul Agha. A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. In Formal Methods Europe (FME 2001), 2001.

    Google Scholar 

  28. Nalini Venkatasubramanian, Mayur Deshpande, Shivjit Mohapatra, Sebastian Gutierrez-Nolasco and Jehan Wickramasuriya. Design and Implementation of a Composable Reflective Middleware Framework. In International Conference on Distributed Computer Systems, 2001.

    Google Scholar 

  29. Nancy Lynch and M R Tuttle. An Introduction to Input/Output Automata. CWI Quarterly, 2(3):219–246,1989.

    MATH  MathSciNet  Google Scholar 

  30. Priya Narasimhan, Luise E Moser and P M Melliar-Smith.Using Interceptors to Enhance CORBA. IEEE Computer Magazine, 1999.

    Google Scholar 

  31. R.G. Lavender and Douglas C. Schmidt. Active Object: an Object Behavioral Pattern for Concurrent Programming. In Pattern Languages of Program Design, 1996.

    Google Scholar 

  32. Robbert van Renesse, Kenneth Birman and Silvano Maffeis. Horus:A Flexible Group Communication System. Communication of the ACM, 39(4):76–83, 1996.

    Article  Google Scholar 

  33. Sebastian Gutierrez-Nolasco and Nalini Venkatasubramanian. Design Patterns for Safe Reflective Middleware. In OOPSLA, Workshop Towards Patterns and Pattern Languages for Object-Oriented Distributed Real-Time and Embedded Systems, 2001.

    Google Scholar 

  34. Sebastian Gutierrez-Nolasco and Nalini Venkatasubramanian. Reliable Communication with Mobile Objects in Faulty Environments. Technical Report TR-DSM–01–04, University of California, Irvine, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California, Irvine, CA 92697-3430, Irvine, USA

    Sebastian Gutierrez-Nolasco & Nalini Venkatasubramanian

Authors
  1. Sebastian Gutierrez-Nolasco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nalini Venkatasubramanian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DOA Institute, p/a Leeuwlantstraat 83, 2100, Antwerp, Belgium

    Robert Meersman

  2. RMIT University School of Computer Science and IT, GPO Box 2476V, VIC 3001, Melbourne, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gutierrez-Nolasco, S., Venkatasubramanian, N. (2002). A Reflective Middleware Framework for Communication in Dynamic Environments. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. OTM 2002. Lecture Notes in Computer Science, vol 2519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36124-3_53

Download citation

  • DOI: https://doi.org/10.1007/3-540-36124-3_53

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00106-5

  • Online ISBN: 978-3-540-36124-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation