Connecting UML and VDM plus plus with Open Tool Support

被引：0
|
作者：
Lausdahl, Kenneth [1 ]
Lintrup, Hans Kristian Agerlund [1 ]
Larsen, Peter Gorm [1 ]
机构：
[1] Aarhus Sch Engn, Aarhus, Denmark
来源：
FM 2009: FORMAL METHODS, PROCEEDINGS | 2009年 / 5850卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Most formal method notations are text based, while tools used in industry often use graphical notations, such as UML. This paper demonstrates how the power of both approaches can he combined by providing the automatic translation of VDM++ models to and from UML. The translation is implemented as a plugin or the popular Eclipse development environment by the open-source Overture initiative. Both UML class diagrams and sequence diagrams can be translated, the latter enabling the novel ability to link with the combinatorial test facility of Overture.
引用
收藏
页码：563 / 578
页数：16
相关论文
共 50 条
  • [41] Multiclass Anomaly Detector: the CS plus plus Support Vector Machine
    Shilton, Alistair
    Rajasegarar, Sutharshan
    Palaniswami, Marimuthu
    JOURNAL OF MACHINE LEARNING RESEARCH, 2020, 21
  • [42] UCI plus plus : Improved Support for Algorithm Selection Using Datasetoids
    Soares, Carlos
    ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2009, 5476 : 499 - 506
  • [43] LiteMat, an Encoding Scheme with RDFS plus plus and Multiple Inheritance Support
    Cure, Olivier
    Xu, Weiqin
    Naacke, Hubert
    Calvez, Philippe
    SEMANTIC WEB: ESWC 2019 SATELLITE EVENTS, 2019, 11762 : 269 - 284
  • [44] Enabling Performance Efficient Runtime Support for Hybrid MPI plus UPC plus plus Programming Models
    Hashmi, Jahanzeb Maqbool
    Hamidouche, Khaled
    Panda, Dhabaleswar K.
    PROCEEDINGS OF 2016 IEEE 18TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS; IEEE 14TH INTERNATIONAL CONFERENCE ON SMART CITY; IEEE 2ND INTERNATIONAL CONFERENCE ON DATA SCIENCE AND SYSTEMS (HPCC/SMARTCITY/DSS), 2016, : 1180 - 1187
  • [45] Evaluation of Intel's DPC plus plus Compatibility Tool in heterogeneous computing
    Castano, German
    Faqir-Rhazoui, Youssef
    Garcia, Carlos
    Prieto-Matias, Manuel
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2022, 165 : 120 - 129
  • [46] Tracepp Requeriments Traceability Tool: Extending the scalability of the Trace plus plus technique
    Naves, Faleiro
    Furtado, Felipe
    2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2017,
  • [47] DATA plus plus : An Automated Tool for Intelligent Data Augmentation Using Wikidata
    Taveekarn, Waran
    Yimudom, Chatchanin
    Sukkanta, Supisara
    Lynden, Steven
    Sawangphol, Wudhichart
    Tuarob, Suppawong
    2019 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE 2019), 2019, : 91 - 96
  • [48] StochHMM: a flexible hidden Markov model tool and C plus plus library
    Lott, Paul C.
    Korf, Ian
    BIOINFORMATICS, 2014, 30 (11) : 1625 - 1626
  • [49] RADAR: A Tool for Debugging Regression Problems in C/C plus plus Software
    Pastore, Fabrizio
    Mariani, Leonardo
    Goffi, Alberto
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1335 - 1338
  • [50] An Investigation into UML Case Tool Support for the Zachman Framework
    Gerber, Aurona
    van der Merwe, Alta
    Bayes, Kevin
    2013 ENTERPRISE SYSTEMS CONFERENCE (ES), 2013,
12345