Colloque

Développement d'un environnement pour le langage Modeli utilisant l'outil CENTAURE

Jawad Drissi

Membre a labase

Jawad Drissi

Résumé du colloque

GIPE (Génération d'environnements de programmation interactifs) est un projet ESPRIT I. Il a débuté en novembre 1984 et a duré pendant cinq années. Deux instituts de recherches, INRIA (France) et CWI (Hollande), ainsi que deux sociétés de logiciels, SEMA-GROUP (France) et BSO (Hollande), ont coopéré pour l'accomplissement de ce projet. Le but principal du projet était l'investigation des possibilités de génération automatique d'environnements de programmation interactive à partir des spécifications des langages. Pour atteindre notre stratégie à deux phases fut suivie. La première phase, d'une durée de deux années, fut allouée à la définition de langages formels pour la spécification de la syntaxe et la sémantique des langages de programmation. Ceci a été complété lors de la seconde phase, par le design et l'implémentation du système CENTAURE. Le système CENTAURE est un générateur d'environnements interactifs paramétré par la syntaxe et la sémantique des langages de programmation. Le langage Modeli (MOdular DEscription LAnguage) est une nouvelle technologie de description formelle qui a été proposée vers les années 1985-1991 par l'université de Montréal en collaboration avec BNR (Bell Northern Research) et le CRIM (Centre de Recherche Informatique de Montréal). C'est un langage de spécification modulaire qui a été utilisé pour la construction du système CENTAURE afin de générer un environnement de programmation pour le langage Modeli. On rappellera la différence entre la syntaxe des langages de programmation ainsi que les différentes approches formelles pour définir la sémantique, nous discuterons des caractéristiques de cet outil du système CENTAURE, puis on expliquera les différentes étapes suivies pour la définition de la syntaxe et la sémantique de Modeli sous CENTAURE, enfin on conclura par un résumé marquant ce travail.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université du Québec à Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Contribution à l'automatisation de l'analyse structurée

M'hamed Nour

ODAR: outils pour le développement d'agents réactifs

Louis Cloutier

Évaluation de la couverture de tests écrits en TTCN et expérience avec le protocole LAP-D

Yazid Djerbib

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Développement d'un environnement pour le langage Modeli utilisant l'outil CENTAURE

Jawad Drissi