Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints

César Cuevas Cuesta, Patricia López Martínez, José M. Drake

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

References

  1. formal/2011-06-02: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems, v1.1. 2011.
  2. Anastasakis, K., Bordbar, B., Georg, G. and Ray, I., 2007. UML2Alloy: A Challenging Model Transformation. Model Driven Engineering Languages and Systems. Springer, pp. 436-450.
  3. Bézivin, J., 2005. On the unification power of models. Software and Systems Modeling, 4(2), pp. 171-188.
  4. Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I. and Lindow, A., 2006. Model transformations? Transformation models! Model Driven Engineering Languages and Systems, pp. 440-453.
  5. Bézivin, J. and Jouault, F., 2006. Using ATL for checking models. Electronic Notes in Theoretical Computer Science, 152, pp. 69-81.
  6. Bézivin, J., Jouault, F. and Touzet, D., 2005. An introduction to the ATLAS Model Management Architecture. Research Report LINA,(05-01), .
  7. Cabot, J., Clarisó, R. and Riera, D., 2007. UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering 2007, ACM, pp. 547- 548.
  8. Cuevas, C., Drake, J. M., López Martínez, P., Gutiérrez García, J. J., González Harbour, M., Medina, J. L. and Palencia, J. C., 2012. MAST 2 Metamodel.
  9. Delmas, R., Pires, A.F. and Polacsek, T., 2013. A Verification and Validation process for Model Driven Engineering, Progress in Flight dynamics, guidance, navigation, control, fault detection, and avionics 2013, EDP Sciences, pp. 455-468.
  10. Diguet, J.L., 2009. Checking syntactic constraints on models using ATL model transformations. Model Transformation with ATL, pp. 140.
  11. Elaasar, M., Briand, L. and LABICHE, Y., 2011. DomainSpecific Model Verification with QVT. Modelling Foundations and Applications. Springer, pp. 282-298.
  12. Feiler, P. H., Gluch, D. P. and Hudak, J. J., 2006. The architecture analysis & design language (AADL): An introduction. The architecture analysis & design language (AADL): An introduction, .
  13. Miliauskaite, E. and Nemuraite, L., 2005. Taxonomy of integrity constraints in conceptual models, IADIS Virtual Multi Conference on Computer Science and Information Systems 2005.
  14. Oriol, X. and Teniente, E., 2014. Incremental Checking of OCL Constraints through SQL Queries, CEUR Workshop Proceedings 2014, pp. 23-32.
  15. Pérez, C. A. G., Buettner, F., Clarisó, R. and Cabot, J., 2012. EMFtoCSP: A Tool for the Lightweight Verification of EMF Models, Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) 2012.
  16. Schmidt, D. C., 2006. Guest editor's introduction: ModelDriven Engineering. Computer, 39(2), pp. 25-31.
  17. Steinberg, D., Budinsky, F., Paternostro, M. and Merks, E., 2009. EMF: Eclipse Modeling Framework. 2nd edn. Addison-Wesley Longman, Amsterdam, 2nd revised edition (rev). edition.
  18. Tisi, M., Jouault, F., Fraternali, P., Ceri, S. and Bézivin, J., 2009. On the Use of Higher-Order Model Transformations, Model Driven ArchitectureFoundations and Applications 2009, Springer, pp. 18- 33.
Download


Paper Citation


in Harvard Style

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, pages 455-466. DOI: 10.5220/0005744504550466


in Bibtex Style

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


in EndNote Style

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