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 条
  • [41] Taming the frame problem: an automated approach for robust UML class diagram specification and verification
    Viesca, Antonio Rosales
    Al Lail, Mustafa
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2024, : 619 - 641
  • [42] SPECIFICATION AND VERIFICATION USING DEPENDENT TYPES
    HANNA, FK
    DAECHE, N
    LONGLEY, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 949 - 964
  • [43] Flood Analysis and Prediction Support based on UML and Mobile Petri Net Specification and Verification
    Khan, Sher Afzal
    Iqbal, Rao Sohail
    Zafar, Nazir Ahmad
    Ahmad, Farooq
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2012, VOL I, 2012, : 84 - 88
  • [44] Parallel Verification of UML Using DiVinE Tool
    Basit-Ur-Rahim, Muhammad Abdul
    Ahmad, Jamil
    Arif, Fahim
    2013 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (CSIT), 2013, : 49 - 53
  • [45] An approach for the verification of UML models using B
    Truong, NT
    Souquieres, J
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 195 - 202
  • [46] Verification of protocol design using UML - SMV
    Prashanth, C.M.
    Chandrashekar Shet, K.
    World Academy of Science, Engineering and Technology, 2009, 36 : 544 - 548
  • [47] Verification method of security model based on UML and model checking
    Cheng, Liang
    Zhang, Yang
    Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (04): : 699 - 708
  • [48] Model Driven Development by Separating Concerns in UML Requirements Specification
    Kawai, Satoshi
    Matsuura, Saeko
    IEEE 39TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC 2015), VOL 3, 2015, : 668 - 669
  • [49] UML specification of a generic model for fault diagnosis of telecommunication networks
    Aghasaryan, A
    Jard, C
    Thomas, J
    TELECOMMUICATIONS AND NETWORKING - ICT 2004, 2004, 3124 : 841 - 847
  • [50] Constraint-based specification of model transformations
    Lano, K.
    Kolandouz-Rahimi, S.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (02) : 412 - 436
12345