Dynamic Input/Output Automata: A Formal Model for Dynamic Systems

dc.contributor.author	Attie, Paul C.
dc.contributor.author	Lynch, Nancy A.
dc.contributor.other	Theory of Computation
dc.date.accessioned	2005-12-19T23:43:21Z
dc.date.available	2005-12-19T23:43:21Z
dc.date.issued	2003-07-26
dc.identifier.other	MIT-CSAIL-TR-2003-006
dc.identifier.other	MIT-LCS-TR-902
dc.identifier.uri	http://hdl.handle.net/1721.1/30422
dc.description.abstract	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.
dc.format.extent	42 p.
dc.format.extent	44906891 bytes
dc.format.extent	1796902 bytes
dc.format.mimetype	application/postscript
dc.format.mimetype	application/pdf
dc.language.iso	en_US
dc.relation.ispartofseries	Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
dc.title	Dynamic Input/Output Automata: A Formal Model for Dynamic Systems