Abstract FR:

Cette these concerne la specification et la modelisation de systemes reactifs. Elle s'organise autour de deux themes principaux: les primitives de communication, a l'aide desquelles les systemes interagissent, et les operations de base, utilisees pour la composition de systemes reactifs. Nous proposons une nouvelle approche pour la definition des operations liees a la composition parallele. Cette approche est fondee sur les structures de synchronisation, une classe de structures relationnelles sur l'ensemble des actions, qui decrivent de maniere formelle et uniforme la capacite de synchronisation de chaque action. Parmi diverses applications de cette approche, nous proposons une extension de la definition de la composition parallele pour l'algebre des petri-box (pbc). Nous proposons aussi une nouvelle algebre de processus (appelee mapa), permettant d'integrer la dependance de simultaneite grace a l'utilisation des multi-actions (actions composees d'un ensemble d'envois et/ou de receptions simultanees de signaux simples). La presence des multi-actions dans mapa a permis de se passer du choix comme operateur primitif sans perte d'expressivite de l'algebre. L'absence du choix presente l'avantage que meme l'equivalence faible est une congruence