The Specification of Dynamic Distributed Component Systems
Creators: name: Kiniry, Joseph R.
Publisher: name: California Institute of Technology
Year: 1998

description: 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]).
description: © 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.
description: Submitted - CSTR1998.pdf
Submitted - postscript.ps