Thèse soutenue

Spécification, opérationnalisation et simulation des systèmes de connaissances réactifs : utilisation de CommonKADS et DEVS
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Maâmar El-Amine Hamri
Direction : Claudia FrydmanLucile 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

FR

Mots clés contrôlés

Résumé

FR  |  
EN

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.