Description and analysis of central registry, a pattern for modular implicit invocation
Name
51624331-MIT.pdf
Description
Full printable version
Size
4.36 MB
Format
Adobe PDF
Checksum (MD5)
36a7982d132e79054b870affcd273cda
Author(s)
Whitney, Jonathan Newcomb Swirsky, 1979-
Advisor(s)
Daniel Jackson.
Date Issued
2002
Publisher
Massachusetts Institute of Technology
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.
Description
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
Includes bibliographical references (p. 83).
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
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.
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.
Persistent DSpace Link