Reference : Agile Validation of Higher Order Transformations Using F-Alloy
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/28977
Agile Validation of Higher Order Transformations Using F-Alloy
English
Gammaitoni, Loïc mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Kelsen, Pierre mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Ma, Qin mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2016
Agile Validation of Higher Order Transformations Using F-Alloy
Yes
International
The 10th International Symposium on Theoretical Aspects of Software Engineering
from 17-07-2016 to 19-07-2016
[en] hot ; higher order transformation ; analysis ; polynomial ; validation ; verification ; Alloy ; F-Alloy ; model transformation
[en] Model transformations play a key role in model driven software engineering approaches. Validation of model transformations is crucial for the quality assurance of software systems to be constructed. The relational logic based specification language Alloy and its accompanying tool the Alloy Analyzer have been used in the past to validate properties of model transformations. However Alloy based analysis of transformations suffers from time complexity and scalability issues. The problem becomes even more severe when it comes to higher order transformations that are inherently more complex. In previous work, we proposed a sub-language of Alloy, called F-Alloy, that is tailored for model transformation specifications. Instead of pure analysis based validation, F-Alloy speeds up the validation of model transformations by applying a hybrid strategy that combines analysis with interpretation. In this paper, we show how the F-Alloy approach can be extended to also support efficient validation of higher order transformations.
http://hdl.handle.net/10993/28977

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
CameraReady.pdfAuthor preprint371.53 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.