Colloque

Assistance intelligente à la rétro-ingénierie des systèmes

Ettore Merlo

Membre a labase

Ettore Merlo

Résumé du colloque

Une approche d'assistance intelligente basée sur la planification et la reconnaissance de plans pour le processus de rétro-ingénierie des systèmes est présentée. Le processus est défini formellement de façon hiérarchique en utilisant des opérateurs et des plans. Les plans sont construits de manière à partir d'opérateurs et les séquences d'actions dans les plans peuvent être modifiées par les utilisateurs. La reconnaissance de plans permet de déterminer le contexte dans lequel l'automatisation, en considérant les objectifs du programme peut être effectuée. Cela permet d'effectuer des diagnostics et de fournir des recommandations sur l'exécution du processus de rétro-ingénierie. La connaissance du domaine est formalisée pour effectuer de l'assistance intelligente. L'application modèle du Réseau de Production Étendu (RPE) a les représentations des connaissances, des contraintes pouvant être imposées à la base de données et aussi illustrées. La connaissance du domaine étant souvent incomplète, certaines préconditions, sous-objectifs, ou contraintes peuvent donc être impossibles à évaluer. Si la solution consiste à trouver les hypothèses plausibles sur ce qui est typique ou attendu dans le contexte courant. A cet effet, le modèle RPE supporte le raisonnement non-monotonie. La connaissance du domaine, qui implique directement la modification de plans (méta-connaissance), comporte la création, la modification et la destruction de plans. Cette connaissance peut être formalisée comme un ensemble de méta-opérateurs qui forment des méta-plans. Cette approche est supportée par le modèle RPE.

Contexte

Section :

Intelligence artificielle et génie logiciel

Thème du colloque :

Intelligence artificielle et génie logiciel

Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Intelligence artificielle et génie logiciel

Transformation de spécifications de domaines d'application en structures d'entité sous REFINE

Marc Frapper

Réutilisation de logiciel : apprentissage machine dans le cadre d'un outil de réutilisation orienté…

Hafeh Mili

REA : un système d'aide à l'acquisition des spécifications

Kacem Zéroual

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Intelligence artificielle et génie logiciel

Assistance intelligente à la rétro-ingénierie des systèmes

Ettore Merlo