Skip to main content
SpringerLink
Log in

A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware

  • Conference paper
  • First Online:
FME 2001: Formal Methods for Increasing Software Productivity (FME 2001)

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

Included in the following conference series:

Abstract

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.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.

    Google Scholar 

  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. G. Blair, L. Blair, H. Bowman, and A. Chetwynd. Formal Specifications of Distributed Multimedia Systems. UCL Press, 1988.

    Google Scholar 

  4. G. Blair, G. Coulson, P. Robin, and M. Papathomas. An architecture for next generation middleware. InMiddleware’ 98, 1998.

    Google Scholar 

  5. L. Blair and G. Blair. Composition in multiparadigm specification techniques. In ECOOP Workshop on Aspect Oriented Programming, July 1999.

    Google Scholar 

  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. 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. 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. 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. A. Dan, D. Sitaram, and P. Shahabuddin. Dynamic batching policies for an on-demand video server. ACM Multimedia Systems, 4:112–121, 1996.

    Article  Google Scholar 

  11. S. Frølund. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press, 1996.

    Google Scholar 

  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. 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. 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. 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. 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. 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. K. Nahrstedt. Network Service Customization: End-Point Perspective. PhD thesis, University of Pennsylvannia, 1995.

    Google Scholar 

  19. K. Nahrstedt, H.-H. Chu, and S. Narayan. Qos-aware resource management for distributed multimedia applications.

    Google Scholar 

  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. 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. 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. 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. 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. N. Venkatasubramanian. An Adaptive Resource Management Architecture for Global Distributed Computing. PhD thesis, University of Illinois, Urbana-Champaign, 1998.

    Google Scholar 

  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. 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. 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. 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. 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.

    Article  Google Scholar 

  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. 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. 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. P. Zave and M. Jackson. Requirements for telecommunications services: An attack on complexity. In IEEE International Symposium on Requirements Engineering, 1997.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Univ. of California Irvine, Irvine, CA, 92697-3425, USA

    Nalini Venkatasubramanian

  2. Stanford University, Stanford, CA, 94305, USA

    Carolyn Talcott

  3. University of Illinois at Urbana-Champaign, Urbana, IL, 61801, USA

    Gul Agha

Authors
  1. Nalini Venkatasubramanian
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carolyn Talcott
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gul Agha
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, University of Minho, Campus de Gualtar, 4700-320, Braga, Portugal

    José Nuno Oliveira

  2. AT&T Laboratories — Research, 180 Park Avenue, Florham Park, New Jersey, 07932, USA

    Pamela Zave

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Venkatasubramanian, N., Talcott, C., Agha, G. (2001). A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware. In: Oliveira, J.N., Zave, P. (eds) FME 2001: Formal Methods for Increasing Software Productivity. FME 2001. Lecture Notes in Computer Science, vol 2021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45251-6_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-45251-6_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41791-0

  • Online ISBN: 978-3-540-45251-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation