Design requirements for more flexible structured editors from a study of programmers' text editing
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Generation of visual editors as eclipse plug-ins
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Proactive modeling: auto-generating models from their semantics and constraints
Proceedings of the 2012 workshop on Domain-specific modeling
Hi-index | 0.00 |
Today, integrated development environments such as Eclipseallow users to write programs quickly by presenting a set of recommendations for code completion. Similarly, word processing tools such as Microsoft Wordpresent corrections for grammatical errors in sentences. Both of these existing systems use a set of constraints expressed in the form of a grammar to restrict/correct the user. 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 arbitrary domain specific model editors. We synthesize the model editor equipped with automatic completion from a modelling language's declarative specification consisting of a meta-model and constraints on it along with a visual syntax. The automatic completion feature is powered by a Prologengine whose input is a constraint logic program derived from some models. The input logic program is obtained by a model transformation from models in multiple languages: the meta-model (as a class diagram), constraints on it (as constraint logic clauses), and a partial model (in the domain specific language). The Prologengine solves the generated logic program and the solution(if there is one) is returned to the model editor as a set of recommendations for properties of the partial model. We incorporate automatic completion in the generative tool AToM3and use SWI-Prologfor constraint representation and satisfaction. We present examples using an illustrative visual language of Finite State Machines.