### 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 language | English (US) |
---|---|

Title of host publication | Concurrency Theory - 12th International Conference, CONCUR 2001, Proceedings |

Editors | Mogens Nielsen, Kim G. Larsen |

Publisher | Springer Verlag |

Pages | 137-151 |

Number of pages | 15 |

ISBN (Print) | 3540424970 |

State | Published - Jan 1 2001 |

Externally published | Yes |

Event | 12th International Conference on Concurrency Theory, CONCUR 2001 - Aalborg, Denmark Duration: Aug 20 2001 → Aug 25 2001 |

### Publication series

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

Volume | 2154 |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 12th International Conference on Concurrency Theory, CONCUR 2001 |
---|---|

Country | Denmark |

City | Aalborg |

Period | 8/20/01 → 8/25/01 |

### Fingerprint

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

### Cite this

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

}

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 -