Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints

César Cuevas Cuesta, Patricia López Martínez, José M. Drake

2016

Abstract

This paper presents a model-driven approach for the systematic development of tools for checking the conformity of models when the domain formalization does not only consist of a meta-model but also on a set of constraints enhancing it. The strategy is built on top of the idea of representing the result of the verification as a model which gathers all the constraint violations found in the model, formulating them in a way that allows their later detailed manifestation, automatic correction or any other potential processing. With that aim, a meta-model for supporting those models describing constraints violations has been designed. The verification is applied by means of an M2M transformation that takes as input the model to verify and generates a model conforming to the designed meta-model. This methodology constitutes the way to accomplish the final objective: designing a strategy for the development of a generic tool for verification, regardless any particular meta-model or constraints set. This is performed through the duality of a model transformation as a processing program but also as a processed artefact (model), by means of the Higher Order Transformation (HOT) technique.

Paper Citation

in Harvard Style

Cuesta C., Martínez P. and Drake J. (2016). Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 455-466. DOI: 10.5220/0005744504550466

in Bibtex Style

@conference{modelsward16,
author={César Cuevas Cuesta and Patricia López Martínez and José M. Drake},
title={Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={455-466},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005744504550466},
isbn={978-989-758-168-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints
SN - 978-989-758-168-7
AU - Cuesta C.
AU - Martínez P.
AU - Drake J.
PY - 2016
SP - 455
EP - 466
DO - 10.5220/0005744504550466