loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: A. ferdjoukh ; A. Baert ; E. Bourreau ; A. Chateau ; R. Coletta and C. Nebut

Affiliation: LIRMM and Université Montpellier 2 and CNRS, France

Keyword(s): Automated Model Generation, Constraint Satisfaction Problem (CSP), Object Constraint Language (OCL).

Related Ontology Subjects/Areas/Topics: MetaModeling ; Models ; Paradigm Trends ; Software Engineering

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.

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.87.11.93

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:
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 - MODELSWARD; ISBN 978-989-758-083-3; ISSN 2184-4348, SciTePress, pages 213-222. DOI: 10.5220/0005231402130222

@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 - MODELSWARD},
year={2015},
pages={213-222},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005231402130222},
isbn={978-989-758-083-3},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Instantiation of Meta-models Constrained with OCL - A CSP Approach
SN - 978-989-758-083-3
IS - 2184-4348
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
PB - SciTePress