A structured operational semantics for UML-statecharts

被引：5
|
作者：
Michael von der Beeck
机构：
[1] BMW Group,
[2] Funktionsentwicklungsprozess,undefined
[3] Max-Diamand-Str. 5,undefined
[4] 80937 München,undefined
[5] Germany; E-mail: Michael.Beeck@bmw.de,undefined
来源：
Software and Systems Modeling | 2002年 / 1卷 / 2期
关键词：
Key words: Statecharts – UML – UML-statecharts – Formal semantics – Structured operational semantics (SOS) – Labeled transition systems;
D O I：
10.1007/s10270-002-0012-8
中图分类号：
学科分类号：
摘要：
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the price of an unprecise and incomplete semantics definition. This insufficiency concerns single UML diagram notations on their own as well as their integration. In this paper, we focus on the notation of UML-statecharts. Starting with a precise textual syntax definition, we develop a precise structured operational semantics (SOS) for UML-statecharts. Besides the support of interlevel transitions and in contrast to related work, our semantics definition supports characteristic UML-statechart features like the history mechanism as well as entry and exit actions.
引用
收藏
页码：130 / 141
页数：11
相关论文
共 50 条
  • [1] Mechanized semantics and refinement of UML-Statecharts
    Feng Sheng
    Liang Dou
    Zong-yuan Yang
    Frontiers of Information Technology & Electronic Engineering, 2017, 18 : 1773 - 1783
  • [2] Mechanized semantics and refinement of UML-Statecharts
    Sheng, Feng
    Dou, Liang
    Yang, Zong-yuan
    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 18 (11) : 1773 - 1783
  • [3] Rewrite rules and operational semantics for model checking UML statecharts
    Kwon, G
    UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, 2000, 1939 : 528 - 540
  • [4] 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
  • [5] An approach to formalizing the semantics of UML statecharts
    Zhan, XD
    Miao, HK
    CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 753 - 765
  • [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] UML Statecharts Compositional Semantics in LOTOS
    Mrowka, Rafal
    Szmuc, Tomasz
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, 2008, : 459 - 463
  • [8] 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
  • [9] A method for describing the syntax and semantics of UML statecharts
    Yan Jin
    Robert Esser
    Jörn W. Janneck
    Software & Systems Modeling, 2004, 3 (2) : 150 - 163
  • [10] On semantics and refinement of UML statecharts: A coalgebraic view
    Sun, M
    Zhang, NX
    Barbosa, LS
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 164 - 173
12345