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 条
  • [21] Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram
    Nazir Ahmad Zafar
    Arabian Journal for Science and Engineering, 2016, 41 : 2975 - 2986
  • [22] Formal Specification and Automated Verification of UML2.0 Sequence Diagrams
    Peng, Tu
    Ding, Gangyi
    2012 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC 2012), 2012, : 370 - 375
  • [23] On Conceptual Model Specification and Verification
    龚振和
    JournalofComputerScienceandTechnology, 1987, (01) : 35 - 50
  • [24] Model Transformation Specification and Verification
    Lano, Kevin
    Clark, David
    QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 45 - 54
  • [25] Two techniques for UML model transformations
    Soft Center, Blekinge Institute of Technology, School of Engineering, SE 372 25 Ronneby, Sweden
    Int J Comput Appl, 2007, 1 (10-17):
  • [26] Verification of Model Transformations Using Isabelle/HOL and Scala
    Meghzili, Said
    Chaoui, Allaoua
    Strecker, Martin
    Kerkouche, Elhillali
    INFORMATION SYSTEMS FRONTIERS, 2019, 21 (01) : 45 - 65
  • [27] Verification of Model Transformations Using Isabelle/HOL and Scala
    Said Meghzili
    Allaoua Chaoui
    Martin Strecker
    Elhillali Kerkouche
    Information Systems Frontiers, 2019, 21 : 45 - 65
  • [28] Directions of using UML for software specification: An overview
    Nilawar, M
    Deshpande, K
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 465 - 469
  • [29] Automatic Verification of Behavior of UML Requirements Specifications using Model Checking
    Matsuura, Saeko
    Ikeda, Sae
    Yokotae, Kasumi
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 158 - 166
  • [30] UML aspect specification using role models
    Georg, G
    France, R
    OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2002, 2425 : 186 - 191
12345