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

P. C. Attie; N. A. Lynch

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

P. C. Attie
, N. A. Lynch

Research output: Contribution to conference › Paper › peer-review

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

Cite this

@conference{a133d1285df54b83b19ffdd517913301,

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

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.",

author = "Attie, \{P. C.\} and Lynch, \{N. A.\}",

year = "2001",

month = jan,

day = "1",

language = "English (US)",

pages = "314--316",

note = "20th Annual ACM Symposium on Principles of Distributed Computing ; Conference date: 26-08-2001 Through 29-08-2001",

}

TY - CONF

T1 - Brief announcement

T2 - 20th Annual ACM Symposium on Principles of Distributed Computing

AU - Attie, P. C.

AU - Lynch, N. A.

PY - 2001/1/1

Y1 - 2001/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0034776984

UR - https://www.scopus.com/pages/publications/0034776984#tab=citedBy

M3 - Paper

AN - SCOPUS:0034776984

SP - 314

EP - 316

Y2 - 26 August 2001 through 29 August 2001

ER -

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

Abstract

Conference

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this