.png){kind=icon}
.png){kind=icon}
Return
Constraint-based specification of model transformations
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jss.2012.09.006.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Model transformations are a central element of model-driven development (MOD) approaches. The correctness, modularity and flexibility of model transformations is critical to their effective use in practical software development. In this paper we describe an approach for the automated derivation of correct-by-construction transformation implementations from high-level specifications. We illustrate this approach on a range of model transformation case studies of different kinds (re-expression, refinement, quality improvement and abstraction transformations) and describe ways in which transformations can be composed and evolved using this approach. (c) 2012 Elsevier Inc. All rights reserved.
Keywords:
Model transformations
Model-driven development
Software synthesis
Journal
IF:
4.1
Papers:
5.4K
Citations:
8.4K