Inferring models with rule-based expert systems. - Université Clermont Auvergne Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Inferring models with rule-based expert systems.

Résumé

Many works related to software engineering rely upon formal models, e.g., to perform model-checking or automatic test case generation. Nonetheless, producing such models is usually tedious and error-prone. Model inference is a research field helping in producing models by generating partial models from documentation or execution traces (ob-served action sequences). This paper presents a new model generation method combining model inference and expert systems. It appears that an engineer is able to recognise the functional behaviours of an application from its traces by applying deduction rules. We propose a framework, applied to Web applications, simulating this reasoning mechanism, with inference rules organised into layers. Each yields partial IOSTSs (Input Output Symbolic Transition Systems), which become more and more abstract and understandable.
Fichier principal
Vignette du fichier
soict2014.pdf (768.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02019699 , version 1 (14-02-2019)

Identifiants

  • HAL Id : hal-02019699 , version 1

Citer

William Durand, Sébastien Salva. Inferring models with rule-based expert systems.. Fifth Symposium on Information and Communication Technology, SoICT '14, Dec 2014, Hanoy, Vietnam. ⟨hal-02019699⟩
44 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More