A formal model for reasoning about adaptive qos-enabled middleware

ACM Transactions on Software Engineering and Methodology

Volumn 13, Issue 1, 2004, Pages 86-147

  Venkatasubramanian, Nalini ^a,d   Talcott, Carolyn ^b   Agha, Gul A ^c  

^a Irvine   (United States)

^b SRI INTERNATIONAL   (United States)

^c University of Illinois ^*  (United States)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Meta object models, actors; Middleware services; Multimedia; Quality of service; Reflection, theoretical foundations

Indexed keywords

COMPUTER-COMMUNICATION NETWORKS; DISTRIBUTED PROGRAMMING; PROGRAM VERIFICATION;

ALGORITHMS; COMPUTER PROGRAMMING; CONCURRENT ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; QUALITY OF SERVICE;

MIDDLEWARE;

EID: 3042702899     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/1005561.1005564     Document Type: Article

References (67)

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, ECOOF98. 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, P. 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, 108 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. 1998. 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.). 88-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.