CaltechAUTHORS
  A Caltech Library Service

The Specification of Dynamic Distributed Component Systems

Kiniry, Joseph R. (1998) The Specification of Dynamic Distributed Component Systems. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

41Mb
[img] PDF - Submitted Version
See Usage Policy.

758Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08

Abstract

Modern computing systems are terribly complicated - so complex that most system designers and developers can only hope to understand their small piece of the larger project. The primary technologies that help system builders manage this complexity are object-oriented and/or component-centric, and the primary tools are those that assist in system modeling and specification. It is my belief that the next stage in managing system complexity comes in the form of system specification through formal methods. Only with precise, complete, and consistent descriptions of our systems and their components can we hope to understand the hyper-complex engineering that has become prevalent in computing today. But, only through the introduction of some middle-ground, semi-formal technique can modeling and specification break through into the mainstream. Such a specification methodology can't be too hard to use, but need to be formal enough that it will help system designers and tools check the consistency and completeness of the system and its components. This thesis is the first step on the road toward formal specification of dynamic, emergent, distributed component systems, and addresses all of the requirements mentioned above. I introduce DESML: a set of new modeling constructs which can be used as a thin layer on top of most modeling languages. DESML is a variant of the Unified Modeling Language (UML), not an extension. I have redefined the the core metamodel, thus the new language is no longer compatible at the meta-level with UML. Note that such a modification is not necessary it is only a convenience in the definition of our new language. The reader should be familiar with the Unified Modeling Language and at least one formal specification language. Suggested references include [42] and [50, Chapter 2] for UML, and [20, Chapter 6] for a specification language (in this case, Z [152]).


Item Type:Report or Paper (Technical Report)
ORCID:
AuthorORCID
Kiniry, Joseph R.0000-0002-3589-2454
Additional Information:© 1998 Joseph R. Kiniry, California Institute of Technology. DRAFT NOT FOR DISTRIBUTION, July 12, 1998 Special thanks go to my wonderful advisor Dr. K. Mani Chandy. Thanks also to Infospheres group members and fellow graduate students Dan M. Zimmerman, Adam Rifkin, and Roman Ginis, Compositional Computing group member Eve Schooler, and postdocs and past Comp group members Dr. Paolo Sivilotti, Dr. John Thornley, and Dr. Berna Massingill. Dan Zimmerman was particularly helpful in his motivation to develop elegant and powerful soft ware frameworks. Adam provided the inspiration of a Web-yogi and Paul is the student theoretician in whose footsteps I walk. Thanks also go to Diane Goodfellow for her administrative support. Finally, I'd like to thank my long-term partner and best friend Mary Baxter you'll always be an inspiration in my life. This work was sponsored by the CISE directorate of the National Science Foundation under Problem Solving Environments grant CCR-9527130, the Center for Research in Parallel Computing under grant NSF CCR-9120008, and by Parasoft and Novell. The formal methods and adaptivity (reliability, mobility, security, parts of the project are sponsored by the Air Force Office of Scientific Research under grant AFOSR F49620-94-1-0244.
Group:Computer Science Technical Reports
Funders:
Funding AgencyGrant Number
NSFCCR-9527130
NSFCCR-9120008
Parasoft CorporationUNSPECIFIED
Novell CorporationUNSPECIFIED
Air Force Office of Scientific Research (AFOSR) F49620-94-1-0244
DOI:10.7907/Z9PK0D5G
Record Number:CaltechCSTR:1998.cs-tr-98-08
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26839
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:30 Apr 2001
Last Modified:16 Mar 2017 18:41

Repository Staff Only: item control page