pen icon Colloque
quote

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

Marc Frapper
Richard St-Denis
MF

Membre a labase

Marc Frapper

Résumé du colloque

Nous présentons un système de transformation qui génère des structures d'entité à partir de modèles conceptuels de domaines d'application formalisés dans le langage TELOS. Ce système, nommé TPS (Transformation Partielle de Spécifications), est bâti au-dessus de REFINE, un environnement de programmation à base de connaissances. Ce TPS intègre des composants essentiels d'un système de transformation. Un métamodèle d'entités et d'activités sous contraintes qui permet de définir la sémantique rattachée à un concept spécifique d'un domaine d'application. Une base de connaissances qui contient des règles de transformation qui infèrent l'ordre chronologique des actions à réaliser à chaque entité. Enfin, un assistant de conception qui aide l'informaticien à altérer interactivement les structures d'entité à partir de suggestions de modification. Nous proposons principalement notre attention sur les deux dernières composantes de TPS en examinant leur implantation à la fois en terme de représentation et aussi de traitement dans le système de REFINE. Nous avons aussi un système TPS par rapport à d'autres outils de conception à base de connaissances. Enfin, nous examinons comment TPS peut être étendu à la maintenance et à la réutilisabilité des systèmes à partir des décisions enregistrées à chaque étape de la conception.

Contexte

Section :
Intelligence artificielle et génie logiciel
news icon Thème du colloque :
Intelligence artificielle et génie logiciel
host icon Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

news icon

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
Augmentation automatique de la fiabilité d'un logiciel
Ali Jaoua
Évaluation de l'environnement organisationnel
Berthold Bérubé
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Intelligence artificielle et génie logiciel
Transformation de spécifications de domaines d'application en structures d'entité sous REFINE
Marc Frapper