Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
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 w...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
2005
|
| Online Access: | http://hdl.handle.net/1721.1/30422 |
| _version_ | 1811082256603676672 |
|---|---|
| author | Attie, Paul C. Lynch, Nancy A. |
| author2 | Theory of Computation |
| author_facet | Theory of Computation Attie, Paul C. Lynch, Nancy A. |
| author_sort | Attie, Paul C. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T12:00:13Z |
| id | mit-1721.1/30422 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T12:00:13Z |
| publishDate | 2005 |
| record_format | dspace |
| spelling | mit-1721.1/304222019-04-12T13:39:26Z Dynamic Input/Output Automata: A Formal Model for Dynamic Systems Attie, Paul C. Lynch, Nancy A. Theory of Computation 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. 2005-12-19T23:43:21Z 2005-12-19T23:43:21Z 2003-07-26 MIT-CSAIL-TR-2003-006 MIT-LCS-TR-902 http://hdl.handle.net/1721.1/30422 en_US Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 42 p. 44906891 bytes 1796902 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Attie, Paul C. Lynch, Nancy A. Dynamic Input/Output Automata: A Formal Model for Dynamic Systems |
| title | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems |
| title_full | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems |
| title_fullStr | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems |
| title_full_unstemmed | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems |
| title_short | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems |
| title_sort | dynamic input output automata a formal model for dynamic systems |
| url | http://hdl.handle.net/1721.1/30422 |
| work_keys_str_mv | AT attiepaulc dynamicinputoutputautomataaformalmodelfordynamicsystems AT lynchnancya dynamicinputoutputautomataaformalmodelfordynamicsystems |