Description and analysis of central registry, a pattern for modular implicit invocation

Abstract

Central Registry is a generalization of several implicit-invocation design patterns. Its goal is to provide the kind of decoupling that implicit invocation provides in a more modular and flexible way than current patterns. We describe the pattern in detail and present a formal model of its key features. Using the formal model, we are able to establish, by automatic analysis, properties of any system that uses the pattern. We also describe an implementation framework for the pattern and evaluate its use in five substantial programs. Keywords: Design Patterns, Implicit Invocation, Formal Models, Component Architectures.