Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10342521 | Journal of Systems and Software | 2013 | 25 Pages |
Abstract
⺠A declarative specification approach for model transformations is provided, at a higher level of abstraction than rule-based model transformation languages. ⺠A systematic process for correct-by-construction of implementations from these specifications is provided. ⺠A set of design patterns for structuring model transformations is provided. ⺠A set of composition mechanisms to facilitate the evolution of transformations is presented. ⺠A wide range of case studies are presented, together with formal evaluation of transformations developed using our process.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
K. Lano, S. Kolahdouz-Rahimi,