Abstract FR:

Cette these presente la conception et la realisation d'une base de connaissances multiformalismes permettant le developpement d'outils de validation des systemes paralleles modelises par des reseaux de petri. Deux aspects sont traites: la realisation d'une base de connaissances dotee d'une architecture particuliere autorisant une implementation aisee du caractere incremental et multiformalisme tout en garantissant une efficacite d'execution appreciable. Cet aspect traite les differents problemes lies aux architectures distribuees et a la representation de la connaissance et l'elaboration d'une base de connaissances modulaire avec le niveau de controle approprie pour la gestion de cette modularite. L'introduction de la notion de tableau noir a ete d'un grand apport; l'etablissement d'un controle hierarchise approprie. Cet aspect, quant a lui, propose un controle de resolution hierarchise base sur le metafiltrage des paquets de connaissances au moyen de metaconnaissances. L'introduction des operations de transformation des representations permettent d'heriter automatiquement les proprietes d'une classe sur une autre (classe au sens du formalisme des reseaux de petri). La resolution de problemes complexes inherents a la theorie des reseaux de petri, repose sur le principe decomposition en sous-problemes proche des decompositions et/ou avec une notion de satisfaction dirigee par les buts et les paquets de connaissances. Nous avons mis en place des strategies d'evaluation avec des notions de recherche d'echec au plus tot pour les buts de type butsvs (but a sequence de validation statique ou sequentielle) et de succes au plus tot pour les buts de type butsvd (but a sequence de validation dynamique). Le monde auquel nous nous sommes interesses est decrit sous forme de classes de connaissances hierarchisees ouvrant la voix a une architecture qui synthetiserait les avantages de la representation orientee objet et ceux d'une architecture de tableau noir en faisant apparaitre des methodes particulieres qui permettront de profiter des concepts d'heritage et de polymorphisme, et de ce fait, reduire la redondance d'information