Reference : Agile Validation of Model Transformations using Compound F-Alloy Specifications
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/32533
Agile Validation of Model Transformations using Compound F-Alloy Specifications
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)]
31-Jul-2017
Science of Computer Programming
Elsevier Science
Yes
[en] model transformation ; validation ; Alloy ; Coumpound model transformations ; Higher-order transformations
[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 several limitations. On one hand, it is time consuming and does not scale well. On the other hand, the reliance on Alloy, being a formal method, prevents the effective involvement of domain experts in the validation process which is crucial for pinpointing domain pertinent errors. Those limitations are even more severe when it comes to transformations whose input and/or output are themselves transformations (called compound transformations) because they are inherently more complex.

To tackle the performance and scalability limitations, in previous work, we proposed an Alloy-based Domain Specific Language (DSL), 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 formalize the notion of “hybrid analysis” and further extended it to also support efficient validation of compound transformations.

To enable the effective involvement of domain experts in the validation process, we propose in this paper a new approach to model transformation validation, called Visualization-Based Validation (briefly VBV). Following VBV, representative instances of a to-be-validated model transformation are automatically generated by hybrid analysis and shown to domain experts for feedback in a visual notation that they are familiar with. We prescribe a process to guide the application of VBV to model transformations and illustrate it with a benchmark model transformation.
http://hdl.handle.net/10993/32533

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
1-s2.0-S0167642317301417-main.pdfPublisher postprint1.9 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.