Abstract FR:

Les réseaux algébriques hiérarchiques introduits dans cette thèse constituent un formalisme permettant la spécification de systèmes concurrents complexes. Ils sont fondeé sur les réseaux de Pétri et les spécifications algébriques et possèdent des primitives de structuration. Les premiers travaux proposant une classe de réseaux algébriques structures furent ceux de F de Cindio avec obj-sa en 1988 puis ceux de d. Buchs et N. Guelfi avec co-opn (concurrent object oriented petri nets) en 1991. Les travaux sur co-opn ont abouti à un formalisme de spécifications éprouvé par des études de cas et pour lequel un environnement de développement a été développé (sands: structured algebraic net development system). Les réseaux algébriques hiérarchiques constituent une généralisation de co-opn. La syntaxe et la sémantique des réseaux algébriques hiérarchiques couvrent les évolutions de co-opn. Il est proposé, entre autres, une sémantique des spécifications algébriques locale aux modules de réseaux algébriques et la possibilité d'appels récursifs de méthodes. Cette dernière nous permet de définir la mise à plat d'un réseau algébrique hiérarchique et de montrer l'équivalence sémantique avec le réseau algébrique hiérarchique initial. Nous proposons un algorithme de transformation de spécification permettant de traduire toute spécification écrite dans l'environnement sands en un réseau algébrique hiérarchique. Ceci afin de donner une sémantique formelle aux spécifications sands et, inversement, d'utiliser sands pour le développement d'une sous classe de réseaux algébriques hiérarchiques. La dernière partie de cette thèse présente le problème du raffinement de réseau algébrique hiérarchique ainsi que les diverses évolutions possibles des réseaux algébriques hiérarchiques telles que les réseaux algébriques hiérarchiques libres ou bien les réseaux algébriques orientés objets