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
相关论文
共 50 条
  • [1] A compositional semantics of UML-RSDS
    K. Lano
    Software & Systems Modeling, 2009, 8 : 85 - 116
  • [2] A compositional semantics of UML-RSDS
    Lano, K.
    SOFTWARE AND SYSTEMS MODELING, 2009, 8 (01): : 85 - 116
  • [3] Solving the TTC 2011 Model Migration Case with UML-RSDS
    Lano, K.
    Kolahdouz-Rahimi, S.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (74): : 36 - 41
  • [4] Translating UML-RSDS OCL to ANSI C
    Lano, Kevin
    Yassipour-Tehrani, Sobhan
    Alfraihi, Hessa
    Kolahdouz-Rahimi, Shekoufeh
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017, 2018, 10748 : 317 - 330
  • [5] Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
    Lano, K.
    Kolahdouz-Rahimi, S.
    Maroukian, K.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (135): : 101 - 105
  • [6] Implementing QVT-R via semantic interpretation in UML-RSDS
    Lano, K.
    Kolahdouz-Rahimi, S.
    SOFTWARE AND SYSTEMS MODELING, 2021, 20 (03): : 725 - 766
  • [7] Implementing QVT-R via semantic interpretation in UML-RSDS
    K. Lano
    S. Kolahdouz-Rahimi
    Software and Systems Modeling, 2021, 20 : 725 - 766
  • [8] Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case
    Lano, K.
    Kolahdouz-Rahimi, S.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (74): : 325 - 331
  • [9] On the Specification and Verification of Model Transformations
    Orejas, Fernando
    Wirsing, Martin
    SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5700 : 140 - +
  • [10] UML safety requirement specification and verification
    Haenle, A.
    Haering, I.
    SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, 2009, : 1555 - 1563
12345