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 set of events in which a component may participate can change as computation proceeds. 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 satisfies standard execution projection and pasting results, and a notion of simulation from one dynamic system to another, which can be used to prove that one system implements the other.
Original language | English (US) |
---|---|
Pages | 314-316 |
Number of pages | 3 |
State | Published - Jan 1 2001 |
Externally published | Yes |
Event | 20th Annual ACM Symposium on Principles of Distributed Computing - Newport, Rhode Island, United States Duration: Aug 26 2001 → Aug 29 2001 |
Conference
Conference | 20th Annual ACM Symposium on Principles of Distributed Computing |
---|---|
Country/Territory | United States |
City | Newport, Rhode Island |
Period | 8/26/01 → 8/29/01 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Computer Networks and Communications