A Pattern-matching based Approach for Problem Solving in Model Transformations

Youness Laghouaouta, Pierre Laforcade, Esteban Loiseau

2018

Abstract

As MDE (Model Driven Engineering) principles are increasingly applied in the development of complex software, the use of constraint solving in the specification of model transformations is often required. However, transformation techniques do not provide fully integrated supports for solving constraints, and external solvers are not well adapted. To deal with this issue, this paper proposes a pattern-matching based approach as a promising solution for enforcing constraints on target models. A transformation infrastructure is semiautomatically generated and it provides support for specifying patterns, searching for match models, and producing valid target models. Finally, a use case is presented in order to illustrate our contribution.

Paper Citation

in Harvard Style

Laghouaouta Y., Laforcade P. and Loiseau E. (2018). A Pattern-matching based Approach for Problem Solving in Model Transformations.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 79-89. DOI: 10.5220/0006847900790089

in Bibtex Style

@conference{icsoft18,
author={Youness Laghouaouta and Pierre Laforcade and Esteban Loiseau},
title={A Pattern-matching based Approach for Problem Solving in Model Transformations},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={79-89},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006847900790089},
isbn={978-989-758-320-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - A Pattern-matching based Approach for Problem Solving in Model Transformations
SN - 978-989-758-320-9
AU - Laghouaouta Y.
AU - Laforcade P.
AU - Loiseau E.
PY - 2018
SP - 79
EP - 89
DO - 10.5220/0006847900790089