Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6875187 | Science of Computer Programming | 2018 | 36 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Loïc Gammaitoni, Pierre Kelsen, Qin Ma,