UML to B: Formal verification of object-oriented models

被引：0
|
作者：
Lano, K [1 ]
Clark, D [1 ]
Androutsopoulos, K [1 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
来源：
INTEGRATED FORMAL METHODS, PROCEEDINGS | 2004年 / 2999卷
关键词：
UML; B; UML-RSDS; graphical specifications;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The integration of UML and formal methods such as B and SMV provides a bridge between graphical specification techniques usable by mainstream software engineers, and precise analysis and verification techniques, essential for the development of high integrity and critical systems. In this paper we define a translation from UML class diagrams into B, which is used to verify the consistency of UML models and to verify that expected properties of these models hold.
引用
收藏
页码：187 / 206
页数：20
相关论文
共 50 条
  • [1] A formal object-oriented approach to defining consistency constraints for UML models
    Kim, SK
    Carrington, D
    [J]. 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 87 - 94
  • [2] An object-oriented framework for the formal verification of processors
    Arditi, L
    Collavizza, H
    [J]. ECOOP '95 - OBJECT-ORIENTED PROGRAMMING, 1995, 952 : 215 - 234
  • [3] A relational model for formal object-oriented requirement analysis in UML
    Liu, ZM
    He, JF
    Li, XS
    Chen, YF
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 641 - +
  • [4] Formal Verification of Object-Oriented Graph Grammars Specifications
    Luedtke Ferreira, Ana Paula
    Foss, Luciana
    Ribeiro, Leila
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (04) : 101 - 114
  • [5] UML tool support: Utilization of object-oriented models
    Wolf, M
    Ivanov, E
    Philippow, I
    Burkhardt, R
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 529 - 534
  • [6] Transforming UML static models into object-oriented code
    Favre, L
    Martínez, L
    Pereira, C
    [J]. 37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 170 - 181
  • [7] Extending the UML for dimensional models in object-oriented database
    Borba, SDP
    Morales, ABT
    [J]. Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 1150 - 1154
  • [8] A strategy to improve the reliability of object-oriented formal models
    Xie, Guo
    Qian, Fucai
    Hei, Xinhong
    [J]. 2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2013, : 688 - 691
  • [9] Refactoring UML Models of Object-Oriented Software: A Systematic Review
    Sidhu, Brahmaleen K.
    Singh, Kawaljeet
    Sharma, Neeraj
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2018, 28 (09) : 1287 - 1319
  • [10] Unification and consistency verification of object-oriented analysis models
    Aoki, T
    Katayama, T
    [J]. 1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 296 - 303
12345