Combining unit and specification-based testing for meta-model validation and verification

This is the author’s version of a work that was accepted for publication in Information Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may ha...

Descripción completa

Detalles Bibliográficos
Autores: López-Fernández, Jesús J., Guerra Sánchez, Esther, Lara Jaramillo, Juan de
Tipo de recurso: artículo
Fecha de publicación:2016
País:España
Institución:Universidad Autónoma de Madrid
Repositorio:Biblos-e Archivo. Repositorio Institucional de la UAM
Idioma:inglés
OAI Identifier:oai:repositorio.uam.es:10486/675664
Acceso en línea:http://hdl.handle.net/10486/675664
https://dx.doi.org/10.1016/j.is.2016.06.008
Access Level:acceso abierto
Palabra clave:Domain-specific modelling languages
Meta-model quality
Meta-modelling
Model-driven engineering
Validation & verification
Informática
id ES_7993fbf32d2d52d0c4407db1428dd89e
oai_identifier_str oai:repositorio.uam.es:10486/675664
network_acronym_str ES
network_name_str España
repository_id_str
spelling Combining unit and specification-based testing for meta-model validation and verificationLópez-Fernández, Jesús J.Guerra Sánchez, EstherLara Jaramillo, Juan deDomain-specific modelling languagesMeta-model qualityMeta-modellingModel-driven engineeringValidation & verificationInformáticaThis is the author’s version of a work that was accepted for publication in Information Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Systems, VOL 62, (2016)] DOI 10.1016/j.is.2016.06.008Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstract syntax of modelling languages, and so models and all sorts of model transformations depend on them. However, there are scarce tools and methods supporting their Validation and Verification (V&V), which are essential activities for the proper engineering of meta-models. In order to fill this gap, we propose two complementary meta-model V&V languages. The first one has similar philosophy to the xUnit framework, as it enables the definition of meta-model unit test suites comprising model fragments and assertions on their (in-)correctness. The second one is directed to express and verify expected properties of a meta-model, including domain and design properties, quality criteria and platform-specific requirements. As a proof of concept, we have developed tooling for both languages in the Eclipse platform, and illustrate its use within an example-driven approach for meta-model construction. The expressiveness of our languages is demonstrated by their application to build a library of meta-model quality issues, which has been evaluated over the ATL zoo of meta-models and some OMG specifications. The results show that integrated support for meta-model V&V (as the one we propose here) is urgently needed in meta-modelling environments.This work has been funded by the Spanish Ministry of Economy and Competitivity with project “Flexor” (TIN2014-52129-R), the region of Madrid with project “SICOMORO-CM” (S2013/ICE-3006), and the EU commission with project “MONDO” (FP7- ICT-2013-10, #611125).Elsevier LtdDepartamento de Ingeniería InformáticaEscuela Politécnica SuperiorModelado e Ingeniería del Software (ING EPS-013)20162016-12-01research articlehttp://purl.org/coar/resource_type/c_2df8fbb1AMhttp://purl.org/coar/version/c_ab4af688f83e57aainfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10486/675664https://dx.doi.org/10.1016/j.is.2016.06.008reponame:Biblos-e Archivo. Repositorio Institucional de la UAMinstname:Universidad Autónoma de MadridInglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:repositorio.uam.es:10486/6756642026-06-23T12:46:27Z
dc.title.none.fl_str_mv Combining unit and specification-based testing for meta-model validation and verification
title Combining unit and specification-based testing for meta-model validation and verification
spellingShingle Combining unit and specification-based testing for meta-model validation and verification
López-Fernández, Jesús J.
Domain-specific modelling languages
Meta-model quality
Meta-modelling
Model-driven engineering
Validation & verification
Informática
title_short Combining unit and specification-based testing for meta-model validation and verification
title_full Combining unit and specification-based testing for meta-model validation and verification
title_fullStr Combining unit and specification-based testing for meta-model validation and verification
title_full_unstemmed Combining unit and specification-based testing for meta-model validation and verification
title_sort Combining unit and specification-based testing for meta-model validation and verification
dc.creator.none.fl_str_mv López-Fernández, Jesús J.
Guerra Sánchez, Esther
Lara Jaramillo, Juan de
author López-Fernández, Jesús J.
author_facet López-Fernández, Jesús J.
Guerra Sánchez, Esther
Lara Jaramillo, Juan de
author_role author
author2 Guerra Sánchez, Esther
Lara Jaramillo, Juan de
author2_role author
author
dc.contributor.none.fl_str_mv Departamento de Ingeniería Informática
Escuela Politécnica Superior
Modelado e Ingeniería del Software (ING EPS-013)
dc.subject.none.fl_str_mv Domain-specific modelling languages
Meta-model quality
Meta-modelling
Model-driven engineering
Validation & verification
Informática
topic Domain-specific modelling languages
Meta-model quality
Meta-modelling
Model-driven engineering
Validation & verification
Informática
description This is the author’s version of a work that was accepted for publication in Information Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Systems, VOL 62, (2016)] DOI 10.1016/j.is.2016.06.008
publishDate 2016
dc.date.none.fl_str_mv 2016
2016-12-01
dc.type.none.fl_str_mv research article
http://purl.org/coar/resource_type/c_2df8fbb1
AM
http://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv http://hdl.handle.net/10486/675664
https://dx.doi.org/10.1016/j.is.2016.06.008
url http://hdl.handle.net/10486/675664
https://dx.doi.org/10.1016/j.is.2016.06.008
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier Ltd
publisher.none.fl_str_mv Elsevier Ltd
dc.source.none.fl_str_mv reponame:Biblos-e Archivo. Repositorio Institucional de la UAM
instname:Universidad Autónoma de Madrid
instname_str Universidad Autónoma de Madrid
reponame_str Biblos-e Archivo. Repositorio Institucional de la UAM
collection Biblos-e Archivo. Repositorio Institucional de la UAM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411359738822656
score 15,300719

Similares en LA Referencia