Modes in Asynchronous Systems
Jean-Francois Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas · 2008
In this paper we study the mode concept in asynchronous systems. First, we propose an abstract TLA+ specification. Then, we discuss how the mode concepts proposed by the two architecture languages: Giotto and AADL could be related to this abstraction.