Spécification, opérationnalisation et simulation des systèmes de connaissances réactifs : utilisation de CommonKADS et DEVS
par Maâmar El-Amine Hamri
Thèse de doctorat en Modélisation et conception des processus assistés par ordinateur
Sous la direction de Claudia Frydman et de Lucile Torrès.
Soutenue en 2005
à Aix-Marseille 3 .
mots clés-
Résumé
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.
-
Titre traduit
Specification, operationalization and simulation of reactive knowledge systems : utilization of CommonKADS and DEVS
-
Résumé
This research proposes an approach to specify and validate a reactive knowledge system. The concerned approach consists of three important steps: specification, operationalization and simulation. Firstly, we define a specification language that allows experts to describe the reactive knowledge systems behavior. Secondly, instead of coding the corresponding model in the final representation -in terms of a programming language- we identify an intermediate step to transform it automatically in DEVS formalism. The obtained model is operational and can be simulated to analyze and validate the system. The approach is illustrated through the specification of a waiting system. These works led to an extension of the DEVS formalism called Min-Max DEVS.
