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 条
  • [31] VIATRA -: Visual automated transformations for formal verification and validation of UML models
    Csertán, G
    Huszerl, G
    Majzik, I
    Pap, Z
    Pataricza, A
    Varró, D
    ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 267 - 270
  • [32] Specification and Verification of the Model of Component and the Model of Function
    Hamani, Nadia
    Dangoumau, Nathalie
    Craye, Etienne
    STUDIES IN INFORMATICS AND CONTROL, 2008, 17 (01): : 27 - 42
  • [33] Experiences in Model Driven Verification of Behavior with UML
    Kordon, Fabrice
    Thierry-Mieg, Yann
    FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT, 2010, 6028 : 181 - 200
  • [34] Automatic model transformations using extended UML object diagrams in modeling environments
    Milicev, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (04) : 413 - 431
  • [35] NLP Based Verification of a UML Class Model
    Sajjad, Rauf
    Sarwar, Nadeem
    2016 SIXTH INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING TECHNOLOGY (INTECH), 2016, : 30 - 35
  • [36] Automated Formal Verification of Model Transformations Using the Invariants Mechanism
    Ulitin, Boris
    Babkin, Eduard
    Babkina, Tatiana
    Vizgunov, Arsenii
    PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, BIR 2019, 2019, 365 : 59 - 73
  • [37] Specification of a Hybrid Effort Estimation System using UML
    Kadir, Nur Farhana Binti Abdul
    Sarkan, Haslina Binti Md
    Bin Azmi, Azri
    Yusop, Othman Bin Mohd
    Kama, Mohd Nazri
    2019 6TH INTERNATIONAL CONFERENCE ON RESEARCH AND INNOVATION IN INFORMATION SYSTEMS: EMPOWERING DIGITAL INNOVATION (ICRIIS 2019), 2019,
  • [38] Using UML 2.0 collaborations for compositional service specification
    Sanders, RT
    Castejón, HN
    Kraemer, FA
    Bræk, R
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 460 - 475
  • [39] Specification and validation of authorisation constraints using UML and OCL
    Sohr, K
    Ahn, GJ
    Gogolla, M
    Migge, L
    COMPUTER SECURITY - ESORICS 2005, PROCEEDINGS, 2005, 3679 : 64 - 79
  • [40] Relationship between the Verification Based Model and the Functional Dependences Model Using Program Specification
    Soomro, Safeeullah
    Baqi, Abdul
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE, 2010, 6216 : 535 - 542
12345