Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
| dc.date.accessioned | 2005-12-19T23:43:21Z | |
| dc.date.accessioned | 2018-11-24T10:23:48Z | |
| dc.date.available | 2005-12-19T23:43:21Z | |
| dc.date.available | 2018-11-24T10:23:48Z | |
| dc.date.issued | 2003-07-26 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/30422 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/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.language.iso | en_US | |
| dc.title | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| MIT-CSAIL-TR-2003-006.pdf | 1.796Mb | application/pdf | View/ |
| MIT-CSAIL-TR-2003-006.ps | 44.90Mb | application/postscript | View/ |