user

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 条
  • [41] A object-oriented development process and UML modeling tools
    Ye Peilei
    [J]. 2009 IITA INTERNATIONAL CONFERENCE ON SERVICES SCIENCE, MANAGEMENT AND ENGINEERING, PROCEEDINGS, 2009, : 225 - 228
  • [42] Utilization of object-oriented models
    Philippow, Ilka
    [J]. Advances in Automation, Multimedia and Video Systems, and Modern Computer Science, 2001, : 211 - 216
  • [43] Teaching Object-Oriented Modeling and UML to Various Audiences
    Moisan, Sabine
    Rigault, Jean-Paul
    [J]. MODELS IN SOFTWARE ENGINEERING, 2010, 6002 : 40 - +
  • [44] A formal approach to object-oriented software engineering
    Wirsing, M
    Knapp, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 519 - 560
  • [45] Enhancing object-oriented methods with formal notations
    Imperial Coll, London, United Kingdom
    [J]. Theor Pract Object Syst, 4 (247-268):
  • [46] On the integration of formal methods and object-oriented methods
    [J]. Jisuanji Gongcheng, 1 (13-16, 69):
  • [47] Generation of object-oriented formal software specifications
    Hartrum, TC
    Karagias, T
    [J]. PROCEEDINGS OF THE IEEE 1997 AEROSPACE AND ELECTRONICS CONFERENCE - NAECON 1997, VOLS 1 AND 2, 1997, : 660 - 667
  • [48] Formal data model for object-oriented databases
    Chen, Rui
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 1997, 20 (01): : 68 - 76
  • [49] FORMAL FOUNDATIONS FOR OBJECT-ORIENTED DATA MODELING
    LIEBERHERR, K
    XIAO, C
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (03) : 462 - 478
  • [50] A review of object-oriented approaches in formal methods
    RuizDelgado, A
    Pitt, D
    Smythe, C
    [J]. COMPUTER JOURNAL, 1995, 38 (10): : 777 - 784
12345