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 条
  • [31] PE plus plus : Exploring Opportunities for Connecting Computer Science and Physical Education in Elementary School
    Worsley, Marcelo
    PROCEEDINGS OF THE 2022 ACM INTERACTION DESIGN AND CHILDREN, IDC 2022, 2022, : 590 - 595
  • [32] An UML CASE tool with compound document support
    Kim, T
    Jo, JW
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 274 - 278
  • [33] UML plus plus : Enhancing Student Learning of Object-Oriented Modeling through Executable Objects
    Maier, Pierre
    Schwarz, Tobias
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 107 - 114
  • [34] CppTest: A prototype tool for testing C/C plus plus programs
    Mao, Chengying
    Lu, Yansheng
    ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 1066 - +
  • [35] C plus plus Memory Detection Tool Based on Dynamic Instrumentation
    Fu, Siran
    Cui, Baojiang
    Guo, Tao
    Song, Xuyan
    ADVANCES IN INTERNET, DATA & WEB TECHNOLOGIES, 2018, 17 : 663 - 674
  • [36] An Architectural Smells Detection Tool for C and C plus plus projects
    Biaggi, Andrea
    Fontana, Francesca Arcelli
    Roveda, Riccardo
    44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 417 - 420
  • [37] Tool for Detecting Standardwise Differences in C plus plus Legacy Code
    Brunner, Tibor
    Pataki, Norbert
    Porkolab, Zoltan
    2015 IEEE 13TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS, 2015, : 51 - 56
  • [38] BES plus plus : HPC Profile Open Source C Implementation
    Ruiz-Alvarez, Arkaitz
    Smith, Christopher
    Humphrey, Marty
    2008 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON GRID COMPUTING, 2008, : 41 - +
  • [39] Design and evaluation of C plus plus open multi-methods
    Pirkelbauer, Peter
    Solodkyy, Yuriy
    Stroustrup, Bjarne
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (07) : 638 - 667
  • [40] C plus plus Support and Applications for Embedded Multicore DSP Systems
    Kuan, Chi-Bang
    Li, Jia-Jhe
    Chen, Chung-Kai
    Lee, Jenq-Kuen
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2014, 75 (02): : 109 - 122
12345