Auteur / Autrice : | Maâmar El-Amine Hamri |
Direction : | Claudia Frydman, Lucile Torrès |
Type : | Thèse de doctorat |
Discipline(s) : | Modélisation et conception des processus assistés par ordinateur |
Date : | Soutenance en 2005 |
Etablissement(s) : | Aix-Marseille 3 |
Mots clés
Mots clés contrôlé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.