An approach to formalizing the semantics of UML statecharts

被引：0
|
作者：
Zhan, XD [1 ]
Miao, HK [1 ]
机构：
[1] Shanghai Univ, Sch Comp Engn & Sci, Shanghai 200072, Peoples R China
来源：
CONCEPTUAL MODELING - ER 2004, PROCEEDINGS | 2004年 / 3288卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
UML is a language for specifying, visualizing and documenting object-oriented systems. However, UML statecharts lack precisely defined syntax and semantics. This paper provides a method of formalizing semantics of UML statecharts with Z. According to this precise semantics, UML statecharts are transformed into FREE (Flattened Regular Expression) state models. The hierarchical and concurrent structure of states is flattened in the resulting FREE state model. The model helps to determine whether the software design is consistent, unambiguous and complete. It is also beneficial to software testing.
引用
收藏
页码：753 / 765
页数：13
相关论文
共 50 条
  • [1] Formalizing the semantics of UML statecharts with Z
    Zhan, XD
    Miao, HK
    Liu, L
    [J]. FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1116 - 1121
  • [2] Semantics of UML statecharts in PVS
    Aredo, DB
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 77 - 82
  • [3] UML Statecharts' PTL Formal Semantics
    Zhang, PengFei
    Duan, ZhenHua
    Tian, Cong
    [J]. 2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 1, PROCEEDINGS, 2009, : 381 - +
  • [4] UML Statecharts Compositional Semantics in LOTOS
    Mrowka, Rafal
    Szmuc, Tomasz
    [J]. PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, 2008, : 459 - 463
  • [5] Mechanized semantics and refinement of UML-Statecharts
    Feng Sheng
    Liang Dou
    Zong-yuan Yang
    [J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18 : 1773 - 1783
  • [6] A structured operational semantics for UML-statecharts
    Michael von der Beeck
    [J]. Software and Systems Modeling, 2002, 1 (2): : 130 - 141
  • [7] A method for describing the syntax and semantics of UML statecharts
    Yan Jin
    Robert Esser
    Jörn W. Janneck
    [J]. Software & Systems Modeling, 2004, 3 (2) : 150 - 163
  • [8] Mechanized semantics and refinement of UML-Statecharts
    Sheng, Feng
    Dou, Liang
    Yang, Zong-yuan
    [J]. FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 18 (11) : 1773 - 1783
  • [9] On semantics and refinement of UML statecharts: A coalgebraic view
    Sun, M
    Zhang, NX
    Barbosa, LS
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 164 - 173
  • [10] Requirements-level semantics for UML statecharts
    Eshuis, R
    Wieringa, R
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 121 - 140
12345