Spécification, opérationnalisation et simulation des systèmes de connaissances réactifs : utilisation de CommonKADS et DEVS

Ces travaux de recherche proposent une approche de spécification et de validation d'un systeme de connaissances réactif qui repose sur trois étapes importantes : specification, opérationnalisation et simulation. Dans un premier temps, nous définissons un langage de spécification, permettant aux experts de décrire Ie comportement des systèmes de connaissances réactifs. Ensuite, au lieu de coder directement Ie modèle de spécification, nous identifions une étape intermédiaire qui consiste à Ie transformer automatiquement dans Ie formalisme de spécification des systèmes à évenements discrets DEVS. Le modèle obtenu est opérationnel et simulé pour analyser et valider le comportement du systeme. Cette approche est illustrée par la spécification d'un système de files d'attente. Enfin, ces travaux nous ont conduits a proposer une extension du formalisme DEVS que nous avons designée par Min-Max DEVS.AIX-MARSEILLE3-BU Sc.St Jérô (130552102) / SudocSudocFranceF