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

P. C. Attie, N. A. Lynch

Research output: Contribution to conferencePaper

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

Fingerprint

Dynamical systems
Mathematical operators
Chemical analysis

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

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.

Brief announcement : Dynamic input/output automata, a formal model for dynamic systems. / Attie, P. C.; Lynch, N. A.

2001. 314-316 Paper presented at 20th Annual ACM Symposium on Principles of Distributed Computing, Newport, Rhode Island, United States.

Research output: Contribution to conferencePaper

Attie, PC & Lynch, NA 2001, 'Brief announcement: Dynamic input/output automata, a formal model for dynamic systems', Paper presented at 20th Annual ACM Symposium on Principles of Distributed Computing, Newport, Rhode Island, United States, 8/26/01 - 8/29/01 pp. 314-316.
Attie PC, Lynch NA. Brief announcement: Dynamic input/output automata, a formal model for dynamic systems. 2001. Paper presented at 20th Annual ACM Symposium on Principles of Distributed Computing, Newport, Rhode Island, United States.
Attie, P. C. ; Lynch, N. A. / Brief announcement : Dynamic input/output automata, a formal model for dynamic systems. Paper presented at 20th Annual ACM Symposium on Principles of Distributed Computing, Newport, Rhode Island, United States.3 p.
@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 = "1",
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 - Dynamic input/output automata, a formal model for dynamic systems

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 - http://www.scopus.com/inward/record.url?scp=0034776984&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034776984&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0034776984

SP - 314

EP - 316

ER -