Concurrence, bisimulations et equation d'interface: Une approche relationnelle (French text).

摘要

Cette thèse examine la modélisation de processus, la concurrence, l'intégration de processus, les simulations entre processus et les bisimulations, et cela, dans un formalisme relationnel. En effet, nous modélisons un processus par une entité mathématique, dite processus relationnel, qui représente les actions et les ressources utilisées par un processus. Un processus relationnel donne une description du processus physique en tant que système ouvert et dont il est facile de dériver une description du processus considéré comme système fermé. Nous introduisons cinq opérateurs relationnels de composition parallèle: un opérateur de composition parallèle entrelaçante, deux opérateurs de composition parallèle totalement synchrone et deux traduisant la vraie concurrence. En partant d'une notion de simulation appelée L-simulation dans la littérature, nous exprimons les bisimulations entre systèmes en fonction des abstractions faites pour passer du modèle de l'un vers le modèle de l'autre. De même, en utilisant les éléments de ces sujets, nous présentons une approche à la résolution de l'équation d'interface et nous proposons des solutions à certaines de ses variantes. Par tous ces traits, la présente thèse contribue également à étendre la portée des méthodes algébriques relationnelles aux systèmes réactifs.