Central Registry: A Pattern for Modular Implicit Invocation

Abstract

Central Registry is a generalization of several implicitinvocation design patterns. Its goal is to provide the kind of decoupling that implicit invocation provides in a more modular and exible 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 three substantial programs