Instantiation of Meta-models Constrained with OCL - A CSP Approach

A. ferdjoukh, A. Baert, E. Bourreau, A. Chateau, R. Coletta, C. Nebut

2015

Abstract

The automated generation of models that conform to a given meta-model is an important challenge in Model Driven Engineering, as well for model transformation testing, as for designing and exploring new meta-models. Amongst the main issues, we are mainly concerned by scalability, flexibility and a reasonable computing time. This paper presents an approach for model generation, which relies on Constraint Programming. After the translation of a meta-model into a CSP, our software generates models that conform to this meta-model, using a Constraint Solver. Our model also includes the most frequent types of OCL constraints. Since we are concerned by the relevance of the produced models, we describe a first attempt to improve them. We outperform the existing approaches from the mentioned point of view, and propose a configurable, easy-to-use and free-access tool, together with an on-line demonstrator.

Paper Citation

in Harvard Style

ferdjoukh A., Baert A., Bourreau E., Chateau A., Coletta R. and Nebut C. (2015). Instantiation of Meta-models Constrained with OCL - A CSP Approach . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 213-222. DOI: 10.5220/0005231402130222

in Bibtex Style

@conference{modelsward15,
author={A. ferdjoukh and A. Baert and E. Bourreau and A. Chateau and R. Coletta and C. Nebut},
title={Instantiation of Meta-models Constrained with OCL - A CSP Approach},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={213-222},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005231402130222},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Instantiation of Meta-models Constrained with OCL - A CSP Approach
SN - 978-989-758-083-3
AU - ferdjoukh A.
AU - Baert A.
AU - Bourreau E.
AU - Chateau A.
AU - Coletta R.
AU - Nebut C.
PY - 2015
SP - 213
EP - 222
DO - 10.5220/0005231402130222