skip to main content
article

A formal model for reasoning about adaptive QoS-enabled middleware

Published: 01 January 2004 Publication History

Abstract

Systems that provide distributed multimedia services are subject to constant evolution; customizable middleware is required to effectively manage this change. Middleware services for resource management execute concurrently with each other, and with application activities, and can, therefore, potentially interfere with each other. To ensure cost-effective QoS in distributed multimedia systems, safe composability of resource management services is essential. In this article, we present a meta-architectural framework, the Two-Level Actor Model (TLAM) 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 efficient manner. In particular, we show a system in which the multimedia actor behaviors satisfy the specified requirements and provide the required multimedia service. The behavior specification leaves open the possibility of a variety of algorithms for resource management. Furthermore, constraints are identified that are sufficient to guarantee noninterference among the multiple broker resource management services, as well as providing guidelines for the safe composition of additional services.

References

[1]
Agha, G. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass.]]
[2]
Agha, G., Frølund, S., Kim, W., Panwar, R., Patterson, A., and Sturman, D. 1993. Abstraction and modularity mechanisms for concurrent computing. IEEE Parall. Distrib. Tech.: Syst. Appl. 1, 2 (May), 3--14.]]
[3]
Astley, M. 1999. Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures. Ph.D. thesis, University of Illinois at Urbana-Champaign.]]
[4]
Astley, M. and Agha, G. A. 1998. Customization and composition of distributed objects: Middleware abstractions for policy management. In Proceedings of the 6th International Symposium on the Foundations of Software Engineering (FSE 1998).]]
[5]
Baker, H. G. and Hewitt, C. 1977. Laws for communicating parallel processes. In IFIP Congress. IFIP, 987--992.]]
[6]
Blair, G., Blair, L., Bowman, H., and Chetwynd, A. 1988. Formal Specifications of Distributed Multimedia Systems. UCL Press.]]
[7]
Blair, G., Clarke, M., Costa, F., Coulson, G., Duran, H., and Parlavantzas, N. 2000. The evolution of OpenORB. In IFIP/ACM Middleware'2000 Workshop on Reflective Middleware. ACM, New York.]]
[8]
Blair, G., Coulson, G., Robin, P., and Papathomas, M. 1998. An architecture for next generation middleware. In Middleware '98.]]
[9]
Blair, L. and Blair, G. 1999a. Composition in multiparadigm specification techniques. In IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS'99.]]
[10]
Blair, L. and Blair, G. 1999b. The impact of aspect-oriented programming on formal methods: Position paper. In ECOOP Workshop on Aspect Oriented Programming.]]
[11]
Buddhikot, M. and Parulkar, G. 1995. Efficient data layout, scheduling and playout control in mars. In Proceedings of NOSSDAV'95. 339--351.]]
[12]
Chandy, K., Rifkin, A., Sivilotti, P. A., Mandelson, J., Richardson, M., Tanaka, W., and Weisman, L. 1996. 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).]]
[13]
Costa, F., Blair, G., and Coulson, G. 1998. Experiments with reflective middleware. In European Workshop on Reflective Object-Oriented Programming and Systems, ECOOP'98. Springer-Verlag, New York.]]
[14]
Dan, A., Dias, D., Mukherjee, R., Sitaram, D., and Tewari, R. 1995. Buffering and caching in large scale video servers. In IEEE Compcon. 217--224.]]
[15]
Dan, A. and Sitaram, D. 1995. An online video placement policy based on bandwidth to space ratio (bsr). In SIGMOD '95. ACM, New York, 376--385.]]
[16]
Dan, A., Sitaram, D., and Shahabuddin, P. 1996. Dynamic batching policies for an on-demand video server. ACM Trans. Multimed. Syst. 4, 112--121.]]
[17]
Foster, I., Kesselman, C., and Tuecke, S. 2001. The anatomy of the grid: Enabling scalable virtual organizations. Int. J. Supercomput. Appl.]]
[18]
Frølund, S. 1996. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press, Cambridge, Mass.]]
[19]
Frolund, S. and Koistinen, J. 1998. Quality of Service Specification in Distributed Object System Design. In USENIX COOTS.]]
[20]
Gokhale, A. and Schmidt, D. C. 1997. Evaluating the performance of demultiplexing strategies for real-time CORBA. In Proceedings of GLOBECOM '97 (Phoenix, Az.).]]
[21]
He, J., Hiltunen, M., Rajagopalan, M., and Schlichting, R. 2001. Providing QoS Customization in Distributed Object Systems. In Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms (Middleware). ACM, New York.]]
[22]
Hewitt, C. 1977. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence 8, 3, 323--364.]]
[23]
Hewitt, C., Bishop, P., and Steiger, R. 1973. A universal modulal actor formalism for artificial intelligence. In Proceedings of 1973 International Joint Conference on Artificial Intelligence. 235--245.]]
[24]
Hiltunen, M., Immanuel, V., and Schlichting, R. 1999. Supporting Customized Failure Models for Distributed Software. Distrib. Syst. Eng. 6, 103--111.]]
[25]
ichiro Itoh, J., Lea, R., and Yokote, Y. 1995. Using meta-objects to support optimization in the Apertos operating system. In USENIX COOTS (Conference on Object-Oriented Technologies).]]
[26]
Keeton, K. and Katz, R. 1993. The evaluation of video layout strategies on a high-bandwidth file server. In Proceedings of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video (Lancaster, UK). 237--250.]]
[27]
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C. V., Loingtier, J.-M., and Irwin, J. 1997. Aspect-oriented programming. In Proceedings of ECOOP'97 European Conference on Object-Oriented Programming.]]
[28]
Kon, F., Román, M., Liu, P., Mao, J., Yamane, T., Magalhães, L. C., and Campbell, R. H. 2000. Monitoring, security, and dynamic configuration with the dynamic TAO Reflective ORB. In Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware'2000). Lecture Notes in Computer Science, vol. 1795. Springer-Verlag, New York, 121--143.]]
[29]
Kon, F. and Saikoski, K. B., Eds. 2000. IFIP/ACM Middleware'2000 Workshop on Reflective Middleware. Gordon Blair and Roy Campbell (co-chairs), ACM, New York.]]
[30]
Kon, F., Singhai, A., Campbell, R. H., Carvalho, D., Moore, R., and Ballesteros, F. J. 1998. 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).]]
[31]
Leydekkers, P. and Gay, V. 1996. ODP view on QOS for open distributed mm environments. In Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96) (Paris, France). J. D. Meer and A. Vogel, Eds. 45--55.]]
[32]
Lima, F. and Madeira, E. 1996. ODP based QOS specification for the multiware platform. In Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96) (Paris, France). J. D. Meer and A. Vogel, Eds. 45--55.]]
[33]
Lougher, P. and Shepherd, D. 1993. The design of a storage server for continuous media. The Comput. J.---Special Issue on Distributed Multimedia Systems 36, 1 (Feb.), 32--42.]]
[34]
Loyall, J., Schantz, R., Zinky, J., and Bakken, D. 1998. Specifying and measuring quality of service in distributed object systems. In Proceedings of the First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).]]
[35]
Maffeis, S. and Schmidt, D. 1997. Constructing reliable distributed communication systems with corba. IEEE Commun. 14, 2 (Feb.).]]
[36]
Nahrstedt, K. 1995. Network Service Customization: End-Point Perspective. Ph.D. thesis, University of Pennsylvannia.]]
[37]
Nahrstedt, K., Chu, H.-H., and Narayan, S. 1998. QOS-aware resource management for distributed multimedia applications. J. High Speed Networking 8, 304, IOS Press, 225--227.]]
[38]
Nahrstedt, K. and Steinmetz, R. 1995. Resource management in networked multimedia systems. IEEE Comput. 28, 5 (May), 52--65.]]
[39]
Object Management Group. 1999. The Common Object Request Broker:Architecture and Specification, 2.3 ed.]]
[40]
Okamura, H., Ishikawa, Y., and Tokoro, M. 1992. Al-1/d: A distributed programming system with multi-model reflection framework. In Reflection and Meta-Level Architetures, A. Yonezawa and B. C. Smith, Eds. In ACM SIGPLAN. ACM, New York, 36--47.]]
[41]
OMG Workshop on Compositional Software Architectures. 1998. Proceedings of the OMG Workshop on Compositional Software Architectures.]]
[42]
Ren, S. 1997. Modularization of time constraint specification in real-time distributed computing (to be published). Ph.D. thesis, Department of Computer Science, University of Illinois at Urbana-Champaign.]]
[43]
Ren, S., Agha, G., and Saito, M. 1996. A modular approach for programming distributed real-time systems. J. Paral. Distr. Comput. 36, 1 (July).]]
[44]
Schmidt, D. C. and Cleeland, C. 1998. Applying patterns to develop extensible and maintainable orb middleware. Commun. ACM.]]
[45]
Schmidt, D. C., Levine, D., and Mungee, S. 1997. The design of the Tao real-time object request broker. Comput. Commun. 21. Special Issue on Building Quality of Service into Distributed System.]]
[46]
Singhai, A., Sane, A., and Campbell, R. 1997. Reflective ORBs: Support for robust, time-critical distribution. In Proceedings of the ECOOP'97 Workshop on Reflective Real-Time Object-Oriented Programming and Systems.]]
[47]
Smith, B. C. 1982. Reflection and semantics in a procedural langauge. Ph.D. thesis, Massahusetts Institute of Technology.]]
[48]
Sturman, D. 1996. Modular Specification of Interaction Policies in Distributed Computing. Ph.D. dissertation, University of Illinois at Urbana-Champaign. TR UIUCDCS-R-96-1950.]]
[49]
Thapar, M. and Koerner, B. 1994. Architecture for video servers. In Proceedings of the 43rd Annual NCTA Convention and Exposition (New Orleans, La.). 141--148.]]
[50]
van Steen, M., Tanenbaum, A., Kuz, I., and Sip, H. 1998. A scalable middleware solution for advanced wide-area web services. In Proceedings of the Middleware '98 (The Lake District, U.K.)]]
[51]
Venkatasubramanian, N. 1992. Hierarchical garbage collection in scalable distributed systems. M.S. dissertation, University of Illinois, Urbana-Champaign.]]
[52]
Venkatasubramanian, N. 1998. An adaptive resource management architecture for global distributed computing. Ph.D. dissertation, University of Illinois, Urbana-Champaign.]]
[53]
Venkatasubramanian, N. 1999. Composeq---A QOS-enabled customizable middleware framework for distributed computing. In Proceedings of the Middleware Workshop, International Conference on Distributed Computing Systems (ICDCS99).]]
[54]
Venkatasubramanian, N., Agha, G., and Talcott, C. L. 1992. Scalable distributed garbage collection for systems of active objects. In International Workshop on Memory Management, IWMM92 (Saint-Malo). Lecture Notes in Computer Science. Springer-Verlag, New York.]]
[55]
Venkatasubramanian, N., Deshpande, M., Mohapatra, S., Gutierrez-Nolasco, S., and Wickramasuriya, J. 2001. Design and implementation of a composable reflective middleware framework. In International Conference on Distributed Computing Systems (ICDCS2001).]]
[56]
Venkatasubramanian, N. and Ramanathan, S. 1997. Effective load management for scalable video servers. In Proceedings of the International Conference on Distributed Computing Systems (ICDCS97).]]
[57]
Venkatasubramanian, N. and Talcott, C. L. 1993. A metaarchitecture for distributed resource management. In Hawaii International Conference on System Sciences, HICSS-26.]]
[58]
Venkatasubramanian, N. and Talcott, C. L. 1995. Reasoning about meta level activities in open distributed systems. In Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. ACM, New York, 144--152.]]
[59]
Venkatasubramanian, N. and Talcott, C. L. 2001a. Integration of resource management activities in distributed systems. Tech. Rep., Department of Computer Science, UC Irvine.]]
[60]
Venkatasubramanian, N. and Talcott, C. L. 2001b. A semantic framework for modeling and reasoning about reflective middleware. IEEE Distrib. Syst. Online 2, 7.]]
[61]
Vin, H. M. and Rangan, P. V. 1993. Designing a multi-user HDTV storage server. IEEE J. Select. Areas Commun. 11, 1 (Jan.), 153--164.]]
[62]
Wang, N., Kircher, M., Schmidt, D. C., and Parameswaran, K. 2000. Applying reflective middleware techniques to optimize a QOS-enabled corba component model implementation. In COMPSAC 2000 Conference. (Taipei, Taiwan).]]
[63]
Wolf, J. L., Yu, P. S., and Shachnai, H. 1995. DASD dancing: A disk load balancing optimization scheme for video-on-demand computer systems. In Proceedings of ACM SIGMETRICS '95, Performance Evaluation Review. ACM, New York, 157--166.]]
[64]
Wolfe, V. F., Black, J. K., Thuraisingham, B., and Krupp, P. 1995. Real-time method invocations in distributed environments. In Proceedings of the HiPC'95 Conference on High Performance Computing.]]
[65]
Yu, P., Chen, M., and Kandlur, D. 1992. Design and analysis of a grouped sweeping scheme for multimedia storage management. Proceedings of 3rd International Workshop on Network and Operating System Support for Digital Audio and Video (San Diego, Calif.). 38--49.]]
[66]
Zave, P. and Jackson, M. 1997. Requirements for telecommunications services: An attack on complexity. In Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, Calif.]]
[67]
Zinky, J., Bakken, D., and Schantz, R. 1997. Architectural support for quality of service for CORBA objects. Theory Pract. Obj. Syst.]]

Cited By

View all
  • (2023)SAFE-PASS: Stewardship, Advocacy, Fairness and Empowerment in Privacy, Accountability, Security, and Safety for Vulnerable GroupsProceedings of the 28th ACM Symposium on Access Control Models and Technologies10.1145/3589608.3593830(145-155)Online publication date: 24-May-2023
  • (2023)SmartSPECPervasive and Mobile Computing10.1016/j.pmcj.2023.10180993:COnline publication date: 1-Jun-2023
  • (2022)Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC)10.1109/UCC56403.2022.00031(173-180)Online publication date: Dec-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Software Engineering and Methodology
ACM Transactions on Software Engineering and Methodology  Volume 13, Issue 1
January 2004
147 pages
ISSN:1049-331X
EISSN:1557-7392
DOI:10.1145/1005561
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 2004
Published in TOSEM Volume 13, Issue 1

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Middleware services
  2. actors
  3. meta-object models
  4. multimedia
  5. quality-of-service
  6. reflection
  7. theoretical foundations

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)1
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)SAFE-PASS: Stewardship, Advocacy, Fairness and Empowerment in Privacy, Accountability, Security, and Safety for Vulnerable GroupsProceedings of the 28th ACM Symposium on Access Control Models and Technologies10.1145/3589608.3593830(145-155)Online publication date: 24-May-2023
  • (2023)SmartSPECPervasive and Mobile Computing10.1016/j.pmcj.2023.10180993:COnline publication date: 1-Jun-2023
  • (2022)Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC)10.1109/UCC56403.2022.00031(173-180)Online publication date: Dec-2022
  • (2022)SmartSPEC: Customizable Smart Space Datasets via Event-driven Simulations2022 IEEE International Conference on Pervasive Computing and Communications (PerCom)10.1109/PerCom53586.2022.9762405(152-162)Online publication date: 21-Mar-2022
  • (2022)Building Correct-by-Construction Systems with Formal PatternsRecent Trends in Algebraic Development Techniques10.1007/978-3-031-43345-0_1(3-24)Online publication date: 28-Jun-2022
  • (2022)A Formal Model of Metacontrol in MaudeLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_32(575-596)Online publication date: 22-Oct-2022
  • (2021)DragonFly: Drone-Assisted High-Rise Monitoring for Fire Safety2021 40th International Symposium on Reliable Distributed Systems (SRDS)10.1109/SRDS53918.2021.00040(331-342)Online publication date: Sep-2021
  • (2019)Cost-Effective Sensor Data Collection from Internet-of-Things Zones Using Existing Transportation Fleets2019 IEEE International Conference on Smart Computing (SMARTCOMP)10.1109/SMARTCOMP.2019.00071(340-349)Online publication date: Jun-2019
  • (2019)Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS.2019.00174(1754-1764)Online publication date: Jul-2019
  • (2016)A Formal Model of QoS-Aware Web Service Orchestration EngineIEEE Transactions on Network and Service Management10.1109/TNSM.2015.250716613:1(113-125)Online publication date: 9-Mar-2016
  • Show More Cited By

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media