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.

References

  1. AL-Msie'Deen, R. (2014). Reverse Engineering Feature Models from Software Variants to Build Software Product Lines. PhD thesis, University of Montpellier.
  2. Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y., and Mottu, J.-M. (2010). Barriers to Systematic Model Transformation Testing. Communications of the ACM Journal, 53(6):139-143.
  3. Cabot, J., Clarisó, R., and Riera, D. (2008). Verification of UML/OCL Class Diagrams using Constraint Programming. In ICSTW, IEEE International Conference on Software Testing Verification and Validation Workshop, pages 73-80.
  4. Ehrig, K., Küster, J., and Taentzer, G. (2009). Generating Instance Models from Meta models. Software and Systems Modeling, pages 479-500.
  5. Ferdjoukh, A., Baert, A.-E., Chateau, A., Coletta, R., and Nebut, C. (2013). A CSP Approach for Metamodel Instantiation. In ICTAI, IEEE International Conference on Tools with Artificial Intelligence, pages 1044,1051.
  6. González Pérez, C. A., Buettner, F., Clarisó, R., and Cabot, J. (2012). EMFtoCSP: A Tool for the Lightweight Verification of EMF Models. In FormSERA, Formal Methods in Software Engineering, pages 44-50.
  7. Lecoutre, C. and Roussel, O. (2009). XML Representation of Constraint Networks: Format XCSP 2.1. Computing Research Repository ACM Journal, 9(2):2362- 2370.
  8. Mackworth, A. (1977). Consistency in Networks of Relations. Artificial Intelligence Journal, 8(1):99-118.
  9. Merchez, S., Lecoutre, C., and Boussemart, F. (2001). AbsCon: A prototype to solve CSPs with abstraction. In CP, International Conference on Principles and Practice of Constraint Programming, pages 730-744.
  10. Mougenot, A., Darrasse, A., Blanc, X., and Soria, M. (2009). Uniform Random Generation of Huge Metamodel Instances. In ECMDA, European Conference on Model-Driven Architecture Foundations and Applications, pages 130-145.
  11. OMG, O. M. G. (2014). Object Constraint Language Specification, Version 2.4. Official Specification. http://www.omg.org/spec/OCL/2.4/.
  12. Rossi, F., Van Beek, P., and Walsh, T., editors (2006). Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier Science Publishers, Amsterdam, The Netherlands.
  13. Sen, S., Baudry, B., and Mottu, J.-M. (2009). Automatic Model Generation Strategies for Model Transformation Testing. In ICMT, Conference on Model Transformation, pages 148-164.
  14. Wu, H., Monahan, R., and Power, J. F. (2013). Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. In TASE, International Symposium on Theoretical Aspects of Software Engineering.
Download


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