Brief announcement: Dynamic input/output automata, a formal model for dynamic systems

P. C. Attie, N. A. Lynch

Research output: Contribution to conferencePaper

6 Scopus citations

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 languageEnglish (US)
Pages314-316
Number of pages3
StatePublished - Jan 1 2001
Externally publishedYes
Event20th Annual ACM Symposium on Principles of Distributed Computing - Newport, Rhode Island, United States
Duration: Aug 26 2001Aug 29 2001

Conference

Conference20th Annual ACM Symposium on Principles of Distributed Computing
CountryUnited States
CityNewport, Rhode Island
Period8/26/018/29/01

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Brief announcement: Dynamic input/output automata, a formal model for dynamic systems'. Together they form a unique fingerprint.

  • Cite this

    Attie, P. C., & Lynch, N. A. (2001). Brief announcement: Dynamic input/output automata, a formal model for dynamic systems. 314-316. Paper presented at 20th Annual ACM Symposium on Principles of Distributed Computing, Newport, Rhode Island, United States.