LCS Publication Details
Publication Title: Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
Publication Author: Attie, Paul C.
Additional Authors: Nancy A. Lynch
LCS Document Number: MIT-LCS-TR-902
Publication Date: 7-26-2003
LCS Group: Theory of Computation
Additional URL:
We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems of interacting components. The systems we consider are dynamic in two senses: (1) components can be created and destroyed as computation proceeds, and (2) the events in which the components may participate may change. The new model admits a notion of external system behavior, based on sets of traces. It also features a parallel composition operator for dynamic systems, which respects external behavior, and a notion of simulation from one dynamic system to another, which can be used to prove that one system implements the other.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.