Abstract FR:

Le cadre du travail presente ici est celui des langages visuels de programmation (lvp). Dans cette these nous traitons trois problemes interdependants. Le probleme central est celui de la modelisation des langages visuels de programmation. Il ne s'agit pas neanmoins d'une modelisation dans l'abstrait, mais d'une adaptee a l'edition guidee par le langage des lvp. Nous nous interessons aussi au probleme de la generation automatique des editeurs de ce type. Nous proposons trois modeles comme solution a ces problemes: cosmos, un modele qui permet la description incrementale des langages visuels de programmation de type diagramme noeud-connecteur. Il est fonde principalement sur l'approche orientee-objet. Le modele logique-graphique d'edition, qui propose un style de controle de type maitre-maitre. Il utilise une description de lvp, faite selon cosmos, pour l'edition guidee par le langage des programmes visuels. Le schema de generation de genesys, qui decrit le processus permettant de passer de la specification declarative d'un langage visuel de programmation a etre edite, a la generation de code pour l'editeur correspondant. Nous avons implemente des prototypes pour valider les idees de ces modeles. Dans une premiere etape, la construction d'un editeur de reseaux de petri a permis de verifier la validite du modele logique-graphique d'edition, ainsi que de cosmos. Dans une deuxieme phase, le prototype du systeme generateur genesys a permis de montrer que cosmos et le modele logique-graphique sont bien adaptes au schema de generation de code