1 / 7

Effective Verification Techniques for Model Transformations in Software Engineering

This document explores various verification techniques essential for ensuring the correctness of model transformations in software engineering. It discusses instruments and methodologies for model verification, including structural correspondence and automatic validation techniques. The paper emphasizes the significance of proving termination and consistency across model transformations, providing insights from notable research and case studies. The work aims to facilitate a deeper understanding of model transformations' verification processes, aiding practitioners in leveraging these techniques effectively in their projects.

coty
Télécharger la présentation

Effective Verification Techniques for Model Transformations in Software Engineering

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Verification Techniques

  2. Verification Techniques

  3. Verification Techniques [1] Combemale, B. and Crégut, X. and Garoche, P.-L. and Thirioux, X (2009). Essay On Semantics Definition in MDE – An Instrumented Approach for Model Verification. Journal of Software, 4(9), pp. 943–958. [2] cf. the paper for examples. [3] G. Winskel (1993). The Formal Semantics of Programming Languages: An Introduction. MitPress.

  4. Verification Techniques: Type I [1] B. Barroca, L. L´ucio, V. Amaral, R. F´elix, and V. Sousa(2010) . DSLTrans: A Turing-Incomplete Transformation Language, SLE, [2]H.-K. Ehrig, G. Taentzer, J. de Lara, D. Varr´o, and S. Varr´o-Gyapai, (2005). Termination Criteria for Model Transformation,” FASE. [3] D. Varr´o, S. Varr´o-Gyapai, H. Ehrig, U. Prange, and G. Taentzer (2006). Termination Analysis of Model Transformations by Petri Nets, ICGT, pp. 260–274. [4] H. S. Bruggink(2008). Towards a Systematic Method for Proving Termination of Graph Transformation Systems, ENTCS, vol. 213(1). [5] J. M. K¨uster (2006). Definition and Validation of Model Transformations, SOSYM, vol. 5(3), pp. 233–259.

  5. Verification Techniques: Type II [6]L. L´ucio, B. Barroca, and V. Amaral(2010). A Technique for Automatic Validation of Model Transformations, MODELS. [7]A. Rensink, A` . Schmidt, and D. Varro´(2004). Model Checking Graph Transformations: A Comparison of Two Approaches, ICGT. [8] B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling, (2006). Symbolic Invariant Verification For Systems With Dynamic Structural Adaptation,ICSE. [9] M. Asztalos, L. Lengyel, and T. Levendovszky(2010). Towards Automated, Formal Verification of Model Transformations, ICST. [10] R. F. Paige, P. J. Brooke, and J. S. Ostroff(2007).Metamodel-Based Model Conformance and Multi-View Consistency Checking,ACM TOSEM, vol. 16, no. 3, pp. 1–48,.

  6. Verification Techniques: Type III [11]A. Narayanan and G. Karsai (2008). Verifying Model Transformation By Structural Correspondence, ECEASST, vol. 10, pp. 15–29. [12]A. Narayanan and G. Karsai (2008) “Towards Verifying Model Transformations,” ENTCS, vol. 211, pp. 191–200. [13] J. de Lara and H. Vangheluwe, (2010). Automating the Transformation-Based Analysis of Visual Languages, FAC, vol. 22(3-4), pp. 297–326. [14] K. Anastasakis, B. Bordbar, and J. M. K¨uster, (2007). Analysis of Model Transformations via Alloy,MODEVVA,, pp. 47–56.

More Related