loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: César Cuevas Cuesta ; Patricia López Martínez and José M. Drake

Affiliation: University of Cantabria, Spain

ISBN: 978-989-758-168-7

ISSN: 2184-4348

Keyword(s): MDSE, Meta-model, OCL Constraint, Model Transformation, HOT, Verification.

Related Ontology Subjects/Areas/Topics: Domain-Specific Modeling and Domain-Specific Languages ; Frameworks for Model-Driven Development ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Transformations and Generative Approaches ; Model-Driven Software Development ; Software Engineering

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 constrai nts 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.233.220.21

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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, ISSN 2184-4348, pages 455-466. DOI: 10.5220/0005744504550466

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.