Authors: Tou k Messaoud Maarouk, Djamel Eddine Saidouni, Mohamed Khergag
This paper is interested in the formal specication of the distributed, real-time systems. These systems are characterized by two aspects: the rst aspect concerns the distribution of the cooperative components as well as their connectivity, while the second aspect concerns the temporal constraints. In this paper we propose an extension of the language of real-time specication D-LOTOS to the aspect of distribution. The language so dened is named DD-LOTOS (distributed D-LOTOS). Furthermore, an extension of underlying semantic model DATA (Durational Action Timed Automata ) is also dened, this model, named C-DATA (Communicating Durational Action Timed Automata) is used as a eld of interpretation of the DD-LOTOS specications.