Un editor gráfico para el diseño por contrato en eclipse

Abstract

El proyecto que se presenta se titula “Un editor gráfico para el diseño por contrato en Eclipse” y por lo tanto lo que se ha realizado es un editor gráfico para definir gráficamente contratos para transformaciones de modelos, siendo estas últimas, programas que reciben un modelo de entrada y generan un modelo de salida. Estas transformaciones se utilizan intensivamente en el paradigma de desarrollo de software dirigido por modelos. Todo comienza cuando una serie de desarrolladores crean un lenguaje para la ingeniería de transformaciones de modelos. Además de este lenguaje, también se crea un editor para definir esos contratos textualmente. Frente al editor textual ya existente surge la idea de por qué no crear un editor gráfico sobre ese lenguaje para la ingeniería de transformaciones de modelos. Entre todas las herramientas existentes para poder llevar esta idea a cabo, se escoge Graphiti, un plug-in de Eclipse mediante el cual cualquier usuario que tenga esta última herramienta puede generar editores gráficos de apariencia profesional de una manera rápida y sencilla. Este editor gráfico dispone de un lienzo y de una paleta de la cual puedes arrastrar elementos al lienzo y éstos queden ahí plasmados. El usuario puede mover, redimensionar o eliminar todo a su gusto para que la creación de diagramas sea fluida y funcional. El trasfondo de este proyecto es el de poder definir el comportamiento esperado de las transformaciones de modelos gráficamente (seguir una traza de transformación) por lo que es posible que en un futuro sea posible validar estas transformaciones gráficamente ampliando este proyecto.

The presented project is called “A graphical editor for contract design in Eclipse” therefore it has been created an editor to graphically define model transformation contracts, being the latter programs which receive an input model and generate an output model. Model transformations are used intensively in the paradigm of model-driven software development. Everything begins when some developers create a modelling language to engineer model transformations. Besides this language, a textual editor to define contracts for model transformations is also created. To complement the existing textual editor, it arises the idea of creating a graphical editor for this contract-based language. Among all existing tools that can realise this idea, Graphiti is chosen. Graphiti is an Eclipse framework which allows the generation of professional looking graphical editors quickly and easily. This graphical editor has a canvas and a palette in which one can drag-and-drop elements to the canvas and so they are created. The user can move, resize or delete everything he/she pleases to create the diagram in a quick and functional way. The background of this project is to define the expected behaviour of model transformations graphically (keep a trace of the transformation) so that in a near future the project can be expanded with support to validate transformations graphically.