A framework for model transformation verification
- Submitting institution
-
Middlesex University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1321
- Type
- D - Journal article
- DOI
-
10.1007/s00165-014-0313-z
- Title of journal
- Formal Aspects of Computing
- Article number
- -
- First page
- 193
- Volume
- 27
- Issue
- 1
- ISSN
- 0934-5043
- Open access status
- Out of scope for open access requirements
- Month of publication
- August
- Year of publication
- 2014
- URL
-
http://eprints.mdx.ac.uk/14674/
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 15
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- A model transformation verification task may involve several different transformations and languages, which have specific styles. This leads to different verification properties for each language and style related to the model transformation. Verifying all these properties and options is an open problem in the literature. This paper is significant because it presents a generic framework that handles the diversity of languages and properties for model transformation verification, independent of the model’s specifics. It provides support for systematic procedure verification across several languages and properties. The paper is novel in also covering a wide range of different verification techniques.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -