Date : 1996
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017
Résumé / Abstract : Nous nous interessons a la construction d'applications integrees par assemblage de composants logiciels. Plus precisement, nous etudions la specification du controle qui coordonne les interactions entre les composants pour obtenir le fonctionnement d'ensemble voulu. Nous considerons plusieurs approches: les bus logiciels sophtalk, les relations de dependance liens et le langage reactif synchrone esterel. Ce dernier a l'avantage de posseder une semantique rigoureuse et deterministe, mais il ne peut etre utilise que si le nombre d'objets a controler est connu a l'avance. Pour traiter les cas plus dynamiques, nous proposons d'ajouter a esterel une primitive de reconfiguration. Nous appelons cette instruction reconfigure et nous la definissons par extension de la semantique comportementale d'esterel. Ensuite, nous etendons aussi la semantique operationnelle qui fournit un interprete du langage modifie qui verifie la coherence pendant l'execution. Nous examinons ensuite l'analyse statique de la causalite qui permet de verifier la coherence des programmes a la compilation. La nouvelle instruction introduit une forme de recursion et rend cette analyse impossible en toute generalite. Nous discutons quelques pistes applicables dans des cas restreints. Ceci permet d'esperer caracterisater des classes de programmes reconfigurables dont la correction causale peut quand meme etre etablie statiquement. Enfin, nous illustrons l'utilisation d'esterel et reconfigure avec deux exemples souvent rencontres dans les environnements de programmation realises a l'aide du systeme centaur