Show simple item record

dc.contributor.authorLópez-Fernández, Jesús J.
dc.contributor.authorGuerra Sánchez, Esther 
dc.contributor.authorLara Jaramillo, Juan de 
dc.contributor.otherUAM. Departamento de Ingeniería Informáticaes_ES
dc.date.accessioned2016-12-02T16:36:10Z
dc.date.available2016-12-02T16:36:10Z
dc.date.issued2015-10-26
dc.identifier.citationSLE 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering. New York: ACM, 2015. 101 - 112en_US
dc.identifier.isbn978-145-033-686-4
dc.identifier.urihttp://hdl.handle.net/10486/675729
dc.descriptionThis 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.2814256en_US
dc.description.abstractThe 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.en_US
dc.description.sponsorshipWork 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).en_US
dc.format.extent13 pag.es_ES
dc.format.mimetypeapplication/pdfen
dc.language.isoengen
dc.publisherAssociation for Computing Machinery, Incen_US
dc.rights© ACM 2015en_US
dc.subject.otherMeta-model Validation and Verificationen_US
dc.subject.otherMeta-modellingen_US
dc.subject.otherDomain-Specific Visual Languagesen_US
dc.titleExample-based Validation of Domain-Specific Visual Languagesen_US
dc.typeconferenceObjecten
dc.subject.ecienciaInformática
dc.relation.publisherversionhttp://dx.doi.org/10.1145/2814251.2814256
dc.identifier.doi10.1145/2814251.2814256
dc.identifier.publicationfirstpage101
dc.identifier.publicationlastpage112
dc.relation.eventdateOctober 26-27, 2015en_US
dc.relation.eventnumber8
dc.relation.eventplacePittsburgh (United States)en_US
dc.relation.eventtitle8th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015en_US
dc.relation.projectIDGobierno de España. TIN2011-24139es_ES
dc.relation.projectIDGobierno de España. TIN2014-52129-Res_ES
dc.relation.projectIDComunidad de Madrid. S2013/ICE-3006/SICOMOROes_ES
dc.relation.projectIDinfo:eu-repo/grantAgreement/EC/FP7/611125en
dc.type.versioninfo:eu-repo/semantics/acceptedVersionen
dc.contributor.groupModelado e Ingeniería del Software (ING EPS-013)es_ES
dc.rights.accessRightsopenAccessen
dc.authorUAMLara Jaramillo, Juan De (259157)
dc.facultadUAMEscuela Politécnica Superior


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record