Towards Domain-specific Model Editors with Automatic Model Completion

Sagar Sen 1 Benoit Baudry 1 Hans Vangheluwe 2
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Integrated development environments such as Eclipse allow users to write programs quickly by presenting a set of recommendations for code completion. Similarly, word processing tools such as Microsoft Word present corrections for grammatical errors in sentences. Both of these existing structure editors use a set of constraints expressed in the form of a natural language grammar to restrict/correct the user (syntax-directed editing) or formal grammar (language-directed editing) to aid document completion. Taking this idea further, in this paper we present an integrated software system capable of generating recommendations for model completion of partial models built in editors for domain-specific modeling languages.We present a methodology to synthesize model editors equipped with automatic completion from a modeling language's declarative specification consisting of a meta-model with a visual syntax. This meta-model directed completion feature is powered by a first-order relational logic engine implemented in ALLOY. We incorporate automatic completion in the generative tool AToM3. We use the finite state machines modeling language as a concise running example. Our approach leverages a correct by construction philosophy that renders subsequent simulation of models considerably less error-prone.
Type de document :
Article dans une revue
Simulation Journal, SAGE, 2009, 3 (12), pp.109-126. 〈10.1177/0037549709340530〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00468513
Contributeur : Didier Vojtisek <>
Soumis le : mercredi 31 mars 2010 - 09:28:14
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : vendredi 19 octobre 2012 - 11:06:24

Fichier

Sen09c.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Sagar Sen, Benoit Baudry, Hans Vangheluwe. Towards Domain-specific Model Editors with Automatic Model Completion. Simulation Journal, SAGE, 2009, 3 (12), pp.109-126. 〈10.1177/0037549709340530〉. 〈inria-00468513〉

Partager

Métriques

Consultations de la notice

353

Téléchargements de fichiers

294