Rewrite rules and operational semantics for model checking UML statecharts

被引：0
|
作者：
Kwon, G [1 ]
机构：
[1] Kyonggi Univ, Dept Comp Sci, Suwon, Kyonggi Do, South Korea
来源：
UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD | 2000年 / 1939卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Model checking of UML statecharts is the main concern of this paper. To model check it, however, its description has to be translated into the input language of the model checker SMV. For the purpose of translating UML statecharts as closely as possible into SMV, we use rewrite rules and its operational semantics.
引用
收藏
页码：528 / 540
页数：13
相关论文
共 50 条
  • [1] A structured operational semantics for UML-statecharts
    Michael von der Beeck
    Software and Systems Modeling, 2002, 1 (2): : 130 - 141
  • [2] Model checking UML statecharts
    Dong, W
    Wang, J
    Qi, X
    Qi, ZC
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 363 - 370
  • [3] Semantics of UML statecharts in PVS
    Aredo, DB
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 77 - 82
  • [4] Slicing hierarchical automata for model checking UML statecharts
    Wang, J
    Dong, W
    Qi, ZC
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 435 - 446
  • [5] A formal semantics of UML statecharts by model transition systems
    Varró, D
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 378 - 392
  • [6] UML Statecharts' PTL Formal Semantics
    Zhang, PengFei
    Duan, ZhenHua
    Tian, Cong
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 1, PROCEEDINGS, 2009, : 381 - +
  • [7] An approach to formalizing the semantics of UML statecharts
    Zhan, XD
    Miao, HK
    CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 753 - 765
  • [8] UML Statecharts Compositional Semantics in LOTOS
    Mrowka, Rafal
    Szmuc, Tomasz
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, 2008, : 459 - 463
  • [9] Formalizing the semantics of UML statecharts with Z
    Zhan, XD
    Miao, HK
    Liu, L
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1116 - 1121
  • [10] From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
    Chimisliu, Valentin
    Schwarzl, Christian
    Peischl, Bernhard
    2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 173 - +
12345