Customization and composition of distributed objects: middleware abstractions for policy management

ABSTRACT

Current middleware solutions such as CORBA and Java's RMI emphasize compositional design by separating functional aspects of a system (e.g. objects) from the mechanisms used for interaction (e.g. remote procedure call through stubs and skeletons). While this is an effective solution for handling distributed interactions, higher-level requirements such as heterogeneity, availability, and adaptability require policies for resource management as well as interaction. We describe the Distributed Connection Language (dcl): an architecture description language based on the Actor model of distributed objects. System components and the policies which govern an architecture are specified as encapsulated groups of actors. Composition operators are used to build connections between components as well as customize their behavior. This customization is realized using a meta-architecture. We describe the syntax and semantics of dcl, and illustrate the language by way of several examples.

REFERENCES

• 1: Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
• 2: Gul Agha , Svend Frølund , WooYoung Kim , Rajendra Panwar , Anna Patterson , Daniel Sturman, Abstraction and Modularity Mechanisms for Concurrent Computing, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.2, p.3-14, May 1993 [doi>10.1109/88.218170]
• 3: Robert Allen , David Garlan, Formalizing architectural connection, Proceedings of the 16th international conference on Software engineering, p.71-80, May 16-21, 1994, Sorrento, Italy
• 4: ASTLEY, M. An actor semantics for componentbased software. Tech. rep., University of Illinois at Urbana-Champaign, March 1998. Available at : http://osl.cs.uiuc.edu/'m-astle.
• 5: Paul C. Clements, A Survey of Architecture Description Languages, Proceedings of the 8th International Workshop on Software Specification and Design, p.16, March 22-23, 1996
• 6: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 7: Norman C. Hutchinson , Larry L. Peterson, The X-Kernel: An Architecture for Implementing Network Protocols, IEEE Transactions on Software Engineering, v.17 n.1, p.64-76, January 1991 [doi>10.1109/32.67579]
• 8: David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995 [doi>10.1109/32.385971]
• 9: OBJECT MANAGEMENT GROUP. CORBA services: Common object services specification version 2. Tech. rep., Object Management Group, June 1997. Available at http://www.omg.org/corba.
• 10: Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970]
• 11: Daniel Charles Sturman , Gul A. Agha, Modular specification of interaction policies in distributed computing, 1996
• 12: TALCOTT, C. An actor rewriting theory. In Workshop on Rewriting Logic (1996), vol. 4 of Electronic Notes in Theoretical Computer Science.
• 13: TALCOTT, C. Interaction semantics for components of distributed systems. In First IFIP workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '96) (Paris, France, March 1996).
• 14: THE JAVA TEAM. RMI specification. Available at ftp://ftp.javasoft.com/docs/jdkl.l/rmi-spec.ps.
• 15: Christine Tomlinson , Phil Cannata , Greg Meredith , Darrell Woelk, The Extensible Services Switch in Carnot, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.2, p.16-20, May 1993 [doi>10.1109/88.218171]
• 16: Robbert van Renesse , Kenneth P. Birman , Roy Friedman , Mark Hayden , David A. Karr, A framework for protocol composition in Horus, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.80-89, August 20-23, 1995, Ottowa, Ontario, Canada [doi>10.1145/224964.224974]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

General Terms:
Design, Performance, Theory