TY - GEN
T1 - Dynamic input/output automata
T2 - 12th International Conference on Concurrency Theory, CONCUR 2001
AU - Attie, Paul C.
AU - Lynch, Nancy A.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
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
U2 - 10.1007/3-540-44685-0_10
DO - 10.1007/3-540-44685-0_10
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 - Larsen, Kim G.
A2 - Nielsen, Mogens
PB - Springer Verlag
Y2 - 20 August 2001 through 25 August 2001
ER -