@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 = jan,

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

note = "12th International Conference on Concurrency Theory, CONCUR 2001 ; Conference date: 20-08-2001 Through 25-08-2001",

}