Modes in Asynchronous Systems
Résumé
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.
Origine : Fichiers éditeurs autorisés sur une archive ouverte