Specification and Verification of Model Transformations Using UML-RSDS

被引：0
作者：
Lano, Kevin [1 ]
Kolahdouz-Rahimi, Shekoufeh [1 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London, England
来源：
INTEGRATED FORMAL METHODS | 2010年 / 6396卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.
引用
收藏
页码：199 / 214
页数：16
相关论文
共 19 条
  • [1] Ehrig H., 1999, Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools, V2
  • [2] Amorphous program slicing
    Harman, M
    Binkley, D
    Danicic, S
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 68 (01) : 45 - 64
  • [3] Jouault F, 2006, LECT NOTES COMPUT SC, V3844, P128
  • [4] On the interoperability of model-to-model transformation languages
    Jouault, Frederic
    Kurtevc, Ivan
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 68 (03) : 114 - 137
  • [5] Kolovos DS, 2008, LECT NOTES COMPUT SC, V5063, P46, DOI 10.1007/978-3-540-69927-9_4
  • [6] Constraint-driven development
    Lano, K.
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2008, 50 (05) : 406 - 423
  • [7] A compositional semantics of UML-RSDS
    Lano, K.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2009, 8 (01) : 85 - 116
  • [8] LANO K, 1996, B LANGUAGE METHOD
  • [9] Lano K., 2009, UML 2 SEMANTICS APPL
  • [10] Object Management Group (OMG), 2005, PTC051101 OMG
12