A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware

  • Nalini Venkatasubramanian
  • Carolyn Talcott
  • Gul Agha
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2021)


Systems that provide QoS-enabled services such as multimedia are subject to constant evolution - customizable middleware is required to effectively manage this change. Middleware services for resource management such as scheduling, protocols providing security and reliability, load balancing and stream synchronization, execute concurrently with each other and with application activities and can therefore potentially interfere with each other. To ensure cost-effective QoS in distributed systems, safe composability of resource management services is essential. In this paper we present a meta-architectural framework for customizable QoS-based middleware based on the actor model of concurrent active objects. Using TLAM, a semantic model for specifying and reasoning about components of open distributed systems, we show how a QoS brokerage service can be used to coordinate multimedia resource management services in a safe, flexible and effcient manner. In particular, we show that a system in which the multimedia actor behaviors satisfy the speciffed requirements, provides the required multimedia service. The behavior speciffcation leaves open the possibility of a variety of algorithms for resource management as well as adding additional resource management activities by providing constraints to ensure their non-interference.


meta-object models distributed systems theoretical foundations object-oriented applications multimedia 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.Google Scholar
  2. 2.
    G. Agha, S. Frølund, W. Kim, R. Panwar, A. Patterson, and D. Sturman. Abstraction and Modularity Mechanisms for Concurrent Computing. IEEE Parallel and Distributed Technology: Systems and Applications, 1(2):3–14, May 1993.Google Scholar
  3. 3.
    G. Blair, L. Blair, H. Bowman, and A. Chetwynd. Formal Specifications of Distributed Multimedia Systems. UCL Press, 1988.Google Scholar
  4. 4.
    G. Blair, G. Coulson, P. Robin, and M. Papathomas. An architecture for next generation middleware. InMiddleware’ 98, 1998.Google Scholar
  5. 5.
    L. Blair and G. Blair. Composition in multiparadigm specification techniques. In ECOOP Workshop on Aspect Oriented Programming, July 1999.Google Scholar
  6. 6.
    L. Blair and G. Blair. Composition in multiparadigm specification techniques. In IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS’99, Feb. 1999.Google Scholar
  7. 7.
    K. Chandy, A. Rifkin, P. A. Sivilotti, J. Mandelson, M. Richardson, W. Tanaka, and L. Weisman. A world-wide distributed system using java and the internet. In Proceedings of IEEE International Symposium on High Performance Distributed Computing (HPDC-5), Syracuse, New York, Aug. 1996.Google Scholar
  8. 8.
    F. Costa, G. Blair, and G. Coulson. Experiments with reflective middleware. In European Workshop on Reflective Object-Oriented Programming and Systems, ECOOP’98. Springer-Verlag, 1998.Google Scholar
  9. 9.
    A. Dan and D. Sitaram. An online video placement policy based on bandwidth to space ratio (bsr). In SIGMOD’ 95, pages 376–385, 1995.Google Scholar
  10. 10.
    A. Dan, D. Sitaram, and P. Shahabuddin. Dynamic batching policies for an on-demand video server. ACM Multimedia Systems, 4:112–121, 1996.CrossRefGoogle Scholar
  11. 11.
    S. Frølund. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press, 1996.Google Scholar
  12. 12.
    A. Gokhale and D. C. Schmidt. Evaluating the Performance of Demultiplexing Strategies for Real-time CORBA. In Proceedings of GLOBECOM’ 97, Phoenix, AZ, 1997. 1 Acknowledgements: The authors would like to thank the anonymous referees for valuable suggestions for improving previous versions of this paper. This researchwas partially supported by DARPA/NASA NAS2-98073, ONR N00012-99-C-0198, ARPA/SRI subcontract 17-000042, NSF CCR-9900326.Google Scholar
  13. 13.
    J. ichiro Itoh, R. Lea, and Y. Yokote. Using meta-objects to support optimization in the Apertos operating system. In USENIX COOTS (Conference on Object-Oriented Technologies, June 1995.Google Scholar
  14. 14.
    G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proceedings of ECOOP’97 European Conference on Object-Oriented Programming, June 1997.Google Scholar
  15. 15.
    F. Kon, A. Singhai, R. H. Campbell, D. Carvalho, R. Moore, and F. J. Ballesteros. 2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments. In Proceedings of ECOOP’98 Workshop on Reflective Object-Oriented Programming and Systems, Brussels, Belgium, July 1998.Google Scholar
  16. 16.
    P. Leydekkers and V. Gay. Odp view on qos for open distributed mm environments. In J. d. Meer and A. Vogel, editors, 4th International IFIP Workshop on Quality of Service, IwQos96 Paris, France, pages 45–55, Mar. 1996.Google Scholar
  17. 17.
    F. H. d. S. Lima and E. R. M. Madeira. Odp based qos specification for the multiware platform. In J. d. Meer and A. Vogel, editors, 4th International IFIP Workshop on Quality of Service, IwQos96 Paris, France, pages 45–55, Mar. 1996.Google Scholar
  18. 18.
    K. Nahrstedt. Network Service Customization: End-Point Perspective. PhD thesis, University of Pennsylvannia, 1995.Google Scholar
  19. 19.
    K. Nahrstedt, H.-H. Chu, and S. Narayan. Qos-aware resource management for distributed multimedia applications.Google Scholar
  20. 20.
    H. Okamura, Y. Ishikawa, and M. Tokoro. Al-1/d: A distributed programming system with multi-model reflection framework. In A. Yonezawa and B. C. Smith, editors, Reflection and Meta-Level Architetures, pages 36–47. ACM SIGPLAN, 1992.Google Scholar
  21. 21.
    S. Ren, G. Agha, and M. Saito. A modular approach for programming distributed real-time systems. Journal of Parallel and Distributed Computing, 36(1), July 1996.Google Scholar
  22. 22.
    D. C. Schmidt, D. Levine, and S. Mungee. The design of the tao real-time object request broker. Computer Communications Special Issue on Building Quality of Service into Distributed System, 1997.Google Scholar
  23. 23.
    D. Sturman. Modular Specification of Interaction Policies in Distributed Computing. PhD thesis, University of Illinois at Urbana-Champaign, May 1996. TR UIUCDCS-R-96-1950.Google Scholar
  24. 24.
    M. van Steen, A. Tanenbaum, I. Kuz, and H. Sip. A scalable middleware solution for advanced wide-area web services. In Proc.Middleware’ 98, The Lake District, UK, 1998.Google Scholar
  25. 25.
    N. Venkatasubramanian. An Adaptive Resource Management Architecture for Global Distributed Computing. PhD thesis, University of Illinois, Urbana-Champaign, 1998.Google Scholar
  26. 26.
    N. Venkatasubramanian. Compose—q-a qos-enabled customizable middleware framework for distributed computing. In Proceedings of the Middleware Workshop, International Conference on Distributed Computing Systems (ICDCS99), June 1999.Google Scholar
  27. 27.
    N. Venkatasubramanian and S. Ramanathan. Effective load management for scalable video servers. In Proceedings of the International Conference on Distributed Computing Systems (ICDCS97), May 1997.Google Scholar
  28. 28.
    N. Venkatasubramanian and C. L. Talcott. A metaarchitecture for distributed resource management. In Hawaii International Conference on System Sciences, HICSS-26, Jan. 1993.Google Scholar
  29. 29.
    N. Venkatasubramanian and C. L. Talcott. Reasoning about Meta Level Activities in Open Distributed Systems. In 14th ACM Symposium on Principles of Distributed Computing, pages 144–152, 1995.Google Scholar
  30. 30.
    H. M. Vin and P. V. Rangan. Designing a multi-user hdtv storage server. IEEE Journal on Selected Areas in Communications, 11(1):153–164, Jan. 1993.CrossRefGoogle Scholar
  31. 31.
    J. L. Wolf, P. S. Yu, and H. Shachnai. Dasd dancing: A disk load balancing optimization scheme for video-on-demand computer systems. In Proceedings of ACM SIGMETRICS’ 95, Performance Evaluation Review, pages 157–166, May 1995.Google Scholar
  32. 32.
    V. F. Wolfe, J. K. Black, B. Thuraisingham, and P. Krupp. Real-time method invocations in distributed environments. In Proceedings of the HiPC’95 Intl. Conference on High Performance COmputing, 1995.Google Scholar
  33. 33.
    P. Yu, M. Chen, and D. Kandlur. Design and analysis of a grouped sweeping scheme for multimedia storage management. Proceedings of Third International Workshop on Network and Operating System Support for Digital Audio and Video, San Diego, pages 38–49, November 1992.Google Scholar
  34. 34.
    P. Zave and M. Jackson. Requirements for telecommunications services: An attack on complexity. In IEEE International Symposium on Requirements Engineering, 1997.Google Scholar
  35. 35.
    J. Zinky, D. Bakken, and R. Schantz. Architectural support of quality of service. Theory and Practice of Object Systems, 3(1), 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Nalini Venkatasubramanian
    • 1
  • Carolyn Talcott
    • 2
  • Gul Agha
    • 3
  1. 1.Univ. of California IrvineIrvineUSA
  2. 2.Stanford UniversityStanfordUSA
  3. 3.University of Illinois at Urbana-ChampaignUrbanaUSA

Personalised recommendations