2026-09-19T07:41:50Zhttps://dspace.mit.edu/server/oai/request

oai:dspace.mit.edu:1721.1/618572022-01-13T07:54:29Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023

Daniel Jackson. Whitney, Jonathan Newcomb Swirsky, 1979- Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science 2011-03-24T20:17:21Z 2011-03-24T20:17:21Z 2002 2002 http://hdl.handle.net/1721.1/61857 51624331 Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. Includes bibliographical references (p. 83). 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. by Jonathan Newcomb Swirsky Whitney. M.Eng. 83 p. eng Massachusetts Institute of Technology 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. http://dspace.mit.edu/handle/1721.1/7582 Electrical Engineering and Computer Science. Description and analysis of central registry, a pattern for modular implicit invocation Thesis application/pdf Publication unknown unknown <Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="97a1deda-13c6-4c0a-b9b4-74d54e9024d0"> <Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type> <Language>eng</Language> <Title>Description and analysis of central registry, a pattern for modular implicit invocation</Title> <PublishedIn> <Publication> </Publication> </PublishedIn> <PublicationDate>2002</PublicationDate> <Authors> <Author> <DisplayName>Whitney, Jonathan Newcomb Swirsky, 1979-</DisplayName> <Affiliation> <OrgUnit> </OrgUnit> </Affiliation> </Author> </Authors> <Editors> </Editors> <Publishers> <Publisher> <DisplayName>Massachusetts Institute of Technology</DisplayName> <OrgUnit /> </Publisher> </Publishers> <License>http://dspace.mit.edu/handle/1721.1/7582</License> <Keyword>Electrical Engineering and Computer Science.</Keyword> <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.</Abstract> <Access xmlns="http://purl.org/coar/access_right" > </Access> </Publication>