caa a22 4500 60551609X CHVBK 20210128100712.0 cr unu---uuuuu 210128e20150101xx s 000 0 eng 10.1007/s00165-014-0313-z doi (NATIONALLICENCE)springer-10.1007/s00165-014-0313-z A framework for model transformation verification [Elektronische Daten] [Kevin Lano, T. Clark, S. Kolahdouz-Rahimi] A model transformation verification task may involve a number of different transformations, from one or more of a wide range of different model transformation languages, each transformation may have a particular transformation style, and there are a number of different verification properties which can be verified for each language and style of transformation. Transformations may operate upon many different modelling languages. This diversity of languages and properties indicates the need for a suitably generic framework for model transformation verification, independent of particular model transformation languages, and able to provide support for systematic procedures for verification across a range of languages, and for a range of properties. In this paper we describe the elements of such a framework, and apply this framework to some example transformation verification problems. The paper is novel in covering a wide range of different verification techniques for a wide range of MT languages, within an integrated framework. British Computer Society, 2014 Model transformation verification nationallicence Model transformation specification nationallicence Model transformation engineering nationallicence Lano Kevin Department of Informatics, King's College London, London, UK aut Clark T. Department of Informatics, Middlesex University, London, UK aut Kolahdouz-Rahimi S. Department of Informatics, King's College London, London, UK aut Formal Aspects of Computing Springer London 27/1(2015-01-01), 193-235 0934-5043 27:1<193 2015 27 165 https://doi.org/10.1007/s00165-014-0313-z text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s00165-014-0313-z text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Lano Kevin Department of Informatics, King's College London, London, UK aut NATIONALLICENCE 700 1- Clark T. Department of Informatics, Middlesex University, London, UK aut NATIONALLICENCE 700 1- Kolahdouz-Rahimi S. Department of Informatics, King's College London, London, UK aut NATIONALLICENCE 773 0- Formal Aspects of Computing Springer London 27/1(2015-01-01), 193-235 0934-5043 27:1<193 2015 27 165