Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems 1
 

Summary: Dynamic Input/Output Automata: a Formal and Compositional
Model for Dynamic Systems 1
Paul C. Attie
College of Computer Science
Northeastern University
and
MIT Laboratory for Computer Science
attie@ccs.neu.edu
Nancy A. Lynch
MIT Laboratory for Computer Science
lynch@theory.lcs.mit.edu
November 14, 2003
Abstract
We present a compositional model of dynamic systems, based on I/O automata [LT89]. In
our model, automata can be created and destroyed dynamically, as computation proceeds. In
addition, an automaton can dynamically change its signature, that is, the set of actions in which
it can participate. This allows us to model mobility, as discussed in [AL01], by enforcing the
constraint that only automata at the same location may synchronize on common actions.
Our model features operators for parallel composition, action hiding, and action renaming,
and a notion of simulation from one dynamic system to another, which can be used to prove that

  

Source: Attie, Paul - Department of Computer Science, American University of Beirut

 

Collections: Computer Technologies and Information Sciences