1 / 11

Verification Techniques

Verification Techniques. Verification Techniques. Verification Techniques. [1] B. Barroca , L. L´ucio , V. Amaral , R. F´elix , and V. Sousa (2010) . DSLTrans : A Turing-Incomplete Transformation Language, SLE,

bracha
Download Presentation

Verification Techniques

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] 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. [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,. [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.

  4. Verification Techniques [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. [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,. [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.

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

  6. Verification Techniques [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. [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,. [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.

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

  8. Verification Techniques [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. [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,. [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.

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

  10. Verification Techniques [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. [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,. [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