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

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.

Department dc:contributor.department

Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

Grantor dc:publisher

Massachusetts Institute of Technology

Year dc:date.issued

2002

Author dc:creator

• Whitney, Jonathan Newcomb Swirsky, 1979-

Advisor dc:contributor.advisor

• Daniel Jackson.

• Electrical Engineering and Computer Science.

Statement dc:rights

• M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.

Licence dc:rights.uri

• http://dspace.mit.edu/handle/1721.1/7582

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/1721.1/61857

OAI identifier oai:identifier

oai:dspace.mit.edu:1721.1/61857