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 .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (127 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliographie p. 97-101

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. Saint-Jérôme). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : T 3251/A-C
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.