loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Parallel and Distributed Processing Symposium (IPDPS'03)
A UNITY-Based Formalism for Dynamic Distributed Systems
Nice, France
April 22-April 26
ISBN: 0-7695-1926-1
ASCII Text
x 
 
Daniel M. Zimmerman, "A UNITY-Based Formalism for Dynamic Distributed Systems," Parallel and Distributed Processing Symposium, International, pp. 236a, International Parallel and Distributed Processing Symposium (IPDPS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/IPDPS.2003.1213428,
author = {Daniel M. Zimmerman},
title = {A UNITY-Based Formalism for Dynamic Distributed Systems},
journal ={Parallel and Distributed Processing Symposium, International},
volume = {0},
year = {2003},
issn = {1530-2075},
pages = {236a},
doi = {http://doi.ieeecomputersociety.org/10.1109/IPDPS.2003.1213428},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Processing Symposium, International
TI - A UNITY-Based Formalism for Dynamic Distributed Systems
SN - 1530-2075
SP
EP
A1 - Daniel M. Zimmerman,
PY - 2003
KW - dynamic distributed systems
KW - formal methods
KW - program composition
KW - UNITY
VL - 0
JA - Parallel and Distributed Processing Symposium, International
ER -
 
Daniel M. Zimmerman, California Institute of Technology

We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and proof of systems where processes may be created and destroyed, and where communication links among processes may change. It also introduces asynchronous messaging as a primitive construct, to facilitate the composition of multiple programs into a larger system.

We also present an example Dynamic UNITY system that illustrates the dynamic aspects of the new formalism, and outline a correctness proof for the example.

Index Terms:
dynamic distributed systems, formal methods, program composition, UNITY
Citation:
Daniel M. Zimmerman, "A UNITY-Based Formalism for Dynamic Distributed Systems," ipdps, pp.236a, International Parallel and Distributed Processing Symposium (IPDPS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.