Example-based Validation of Domain-Specific Visual Languages
EntidadUAM. Departamento de Ingeniería Informática
EditorAssociation for Computing Machinery, Inc
Fecha de edición2015-10-26
10.1145/2814251.2814256SLE 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering. New York: ACM, 2015. 101 - 112
Financiado porWork supported by the Spanish MINECO (TIN2011-24139 and TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125).
ProyectoGobierno de España. TIN2011-24139; Gobierno de España. TIN2014-52129-R; Comunidad de Madrid. S2013/ICE-3006/SICOMORO; info:eu-repo/grantAgreement/EC/FP7/611125
Versión del editorhttp://dx.doi.org/10.1145/2814251.2814256
MateriasMeta-model Validation and Verification; Meta-modelling; Domain-Specific Visual Languages; Informática
NotaThis is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in SLE 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, http://dx.doi.org/10.1145/10.1145/2814251.2814256
Derechos© ACM 2015
The definition of Domain-Specific Languages (DSLs) is a recurrent activity in Model-Driven Engineering. However, their construction is many times an ad-hoc process, partly due to the lack of tools enabling a proper engineering of DSLs and promoting domain experts to play an active role. The focus of this paper is on the validation of meta- models for visual DSLs. For this purpose, we propose a language and tool support for describing properties that in- stances of meta-models should (or should not) meet. Then, our system uses a model finder to produce example models, enriched with a graphical concrete syntax, that confirm or refute the assumptions of the meta-model developer. Our language complements metaBest, a framework for the validation and verification of meta-models that includes two other languages for unit testing and specification-based test- ing of meta-models. A salient feature of our approach is that it fosters interaction with domain experts by the use, process- ing and creation of informal drawings constructed in editors liked yED or Dia. We assess the usefulness of the approach in the validation of a DSL for house blueprints, with the par- ticipation of 26 4th year computer science students.
Lista de colecciones del ítem
Mostrando ítems relacionados por título, autor, creador y materia.