Rapid prototyping by means of meta-modelling and graph grammars. An example with constraint satisfaction problems

Dotú Rodríguez, Iván Javier; Lara Jaramillo, Juan de

UAM_Biblioteca

Author

Dotú Rodríguez, Iván Javier; Lara Jaramillo, Juan de

Entity

UAM. Departamento de Ingeniería Informática

Publisher

Universidad de Alicante

Date

2003

Citation

JISBD 03: VIII Jornadas de Ingeniería del Software y Bases de Datos: actas. Alicante: Universidad de Alicante, 2003. 401-420

ISBN

84-688-3836-5

Subjects

Meta-Modelling; Graph grammars; Rapid prototyping; Automatic code generation; CSP; Informática

URI

http://hdl.handle.net/10486/665983

Note

This is an electronic version of the paper presented at the VIII Jornadas de Ingeniería del Software y Bases de Datos, held in Alicante on 2003

Rights

Abstract

In this paper, we present our approach for rapid prototyping - by means of meta-modelling and graph grammars - in the multiparadigm modelling tool AToM3. Thisis a tool which allows the graphical definition of formalisms by means of meta-modelling usinf highlevel, graphical notations. As meta-models are stored as attributed, typed graphs, their manipulation (simulation, transformation into another formalism, optimisation and code generation) can be visually and formally expressed as graph transformation. In this way, computations become high-level models, expressed in the graph grammars formalism. As an example of these concepts, we show the automatic generation of a tool (by means of meta-modelling and graph grammars) to graphically define and solve Constraint Satisfaction Problems

Show full item record