.png){kind=icon}
返回
Constraint-based specification of model transformations
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jss.2012.09.006.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
Model transformations
Model-driven development
Software synthesis
期刊
IF:
4.1
论文数:
5.4K
被引数:
8.4K
机构
引用论文
.png){kind=icon}
分享收藏分享收藏Analysis of the Seasonal Cycle Within the First International Urban Land-Surface Model Comparison
PREAI
分享收藏分享收藏 没有更多内容
没有更多内容