Dynamic input/output automata: A formal model for dynamic systems

Paul C. Attie, Nancy A. Lynch

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 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. The DIOA model was defined to support the analysis of mobile agent systems, in a joint project with researchers at Nippon Telephone and Telegraph. It can also be used for other forms of dynamic systems, such as systems described by means of object-oriented programs, and systems containing services with changing access permissions.

Original languageEnglish (US)
Title of host publicationConcurrency Theory - 12th International Conference, CONCUR 2001, Proceedings
EditorsMogens Nielsen, Kim G. Larsen
PublisherSpringer Verlag
Pages137-151
Number of pages15
ISBN (Print)3540424970
StatePublished - Jan 1 2001
Externally publishedYes
Event12th International Conference on Concurrency Theory, CONCUR 2001 - Aalborg, Denmark
Duration: Aug 20 2001Aug 25 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2154
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Concurrency Theory, CONCUR 2001
CountryDenmark
CityAalborg
Period8/20/018/25/01

Fingerprint

Formal Model
Dynamic Systems
Automata
Dynamical systems
Output
Telegraph
Mobile agents
Parallel Composition
Telephone
Agent Systems
Composition Operator
Mobile Systems
Mathematical operators
Mobile Agent
State Machine
Model
Object-oriented
Trace
Chemical analysis
Simulation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Attie, P. C., & Lynch, N. A. (2001). Dynamic input/output automata: A formal model for dynamic systems. In M. Nielsen, & K. G. Larsen (Eds.), Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings (pp. 137-151). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2154). Springer Verlag.

Dynamic input/output automata : A formal model for dynamic systems. / Attie, Paul C.; Lynch, Nancy A.

Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. ed. / Mogens Nielsen; Kim G. Larsen. Springer Verlag, 2001. p. 137-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2154).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Attie, PC & Lynch, NA 2001, Dynamic input/output automata: A formal model for dynamic systems. in M Nielsen & KG Larsen (eds), Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2154, Springer Verlag, pp. 137-151, 12th International Conference on Concurrency Theory, CONCUR 2001, Aalborg, Denmark, 8/20/01.
Attie PC, Lynch NA. Dynamic input/output automata: A formal model for dynamic systems. In Nielsen M, Larsen KG, editors, Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. Springer Verlag. 2001. p. 137-151. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Attie, Paul C. ; Lynch, Nancy A. / Dynamic input/output automata : A formal model for dynamic systems. Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings. editor / Mogens Nielsen ; Kim G. Larsen. Springer Verlag, 2001. pp. 137-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{84ec25446b764388b339e9d4757ceae8,
title = "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 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. The DIOA model was defined to support the analysis of mobile agent systems, in a joint project with researchers at Nippon Telephone and Telegraph. It can also be used for other forms of dynamic systems, such as systems described by means of object-oriented programs, and systems containing services with changing access permissions.",
author = "Attie, {Paul C.} and Lynch, {Nancy A.}",
year = "2001",
month = "1",
day = "1",
language = "English (US)",
isbn = "3540424970",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "137--151",
editor = "Mogens Nielsen and Larsen, {Kim G.}",
booktitle = "Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings",

}

TY - GEN

T1 - Dynamic input/output automata

T2 - A formal model for dynamic systems

AU - Attie, Paul C.

AU - Lynch, Nancy 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 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. The DIOA model was defined to support the analysis of mobile agent systems, in a joint project with researchers at Nippon Telephone and Telegraph. It can also be used for other forms of dynamic systems, such as systems described by means of object-oriented programs, and systems containing services with changing access permissions.

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 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. The DIOA model was defined to support the analysis of mobile agent systems, in a joint project with researchers at Nippon Telephone and Telegraph. It can also be used for other forms of dynamic systems, such as systems described by means of object-oriented programs, and systems containing services with changing access permissions.

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

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

M3 - Conference contribution

AN - SCOPUS:84944031473

SN - 3540424970

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 137

EP - 151

BT - Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings

A2 - Nielsen, Mogens

A2 - Larsen, Kim G.

PB - Springer Verlag

ER -