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 条
  • [1] Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM plus plus Specifications
    Takagi, Tomohiko
    Kurozumi, Ryo
    ICAROB 2019: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS, 2019, : 157 - 160
  • [2] Link plus plus : A Flexible and Customizable Tool for Connecting RDF Data Sources
    Masri, Ali
    Zeitouni, Karine
    Kedad, Zoubida
    Kepeklian, Gabriel
    SEMANTIC WEB, ESWC 2016, 2016, 9989 : 107 - 111
  • [3] A framework for inheritance testing from VDM plus plus specifications
    Nadeem, Aamer
    Lyu, Michael R.
    12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2006, : 81 - +
  • [4] Validation support for distributed real-time embedded systems in VDM plus
    Fitzgerald, John S.
    Larsen, Peter Gorm
    Tjell, Simon
    Verhoef, Marcel
    HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 331 - +
  • [5] JUnit plus plus : An Open Educational Tool for Simplifying Unit Testing
    Adeyemi, Opey
    Adiraju, Abhineeth
    Akins, Seth
    Khademi, Keyvan
    Hui, Bowen
    2023 IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, ICALT, 2023, : 24 - 25
  • [6] UML plus spreadsheets as a telecommunications network documentation and analysis tool
    Barzdins, G
    Databases and Information Systems, 2005, 118 : 238 - 246
  • [7] Specifying and Checking Refinement Relationships in VDM plus
    Kawamata, Yojiro
    Sommer, Christian
    Ishikawa, Fuyuki
    Honiden, Shinichi
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 220 - +
  • [8] An automated approach to inheritance and polymorphic testing using a VDM plus plus specification
    Nadeem, Aamer
    Malik, Zafar I.
    Lyu, Michael R.
    10TH IEEE INTERNATIONAL MULTITOPIC CONFERENCE 2006, PROCEEDINGS, 2006, : 224 - +
  • [9] Using KIDS as a tool support for VDM
    Ledru, Y
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 236 - 245
  • [10] REASONING ABOUT VDM DEVELOPMENTS USING THE VDM SUPPORT TOOL IN MURAL
    BICARREGUI, JC
    RITCHIE, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 371 - 388
12345