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 条
  • [21] A Unified Operational Semantics for UML in Situation Calculus
    Liu, Qiang
    Dou, Liang
    Yang, Zongyuan
    ADVANCED RESEARCH ON COMPUTER SCIENCE AND INFORMATION ENGINEERING, 2011, 153 : 484 - 490
  • [22] On testing UML statecharts
    Massink, Mieke
    Latella, Diego
    Gnesi, Stefania
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 69 (1-2): : 1 - 74
  • [23] Structured Operational Semantics for Graph Rewriting
    Dorman, Andrei
    Heindel, Tobias
    Koenig, Barbara
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2012, 22 (01) : 105 - 145
  • [24] Structured Operational Semantics for Graph Rewriting
    Dorman, Andrei
    Heindel, Tobias
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (59): : 37 - 51
  • [25] STRUCTURED OPERATIONAL SEMANTICS AND BISIMULATION AS A CONGRUENCE
    GROOTE, JF
    VAANDRAGER, F
    INFORMATION AND COMPUTATION, 1992, 100 (02) : 202 - 260
  • [26] 时间UML-Statecharts建模的工作流时序约束的一致性验证
    张广泉
    陆公正
    戎玫
    计算机科学, 2006, (11) : 98 - 101
  • [27] Verify UML Statecharts with SMV
    Chen Hai yan 1
    2 State Key Laboratory for Software Engineering
    WuhanUniversityJournalofNaturalSciences, 2001, (Z1) : 183 - 190
  • [28] Verify UML statecharts with SMV
    Hai-Yan, C.
    Wei, D.
    Ji, W.
    Huo-Wang, C.
    Wuhan University Journal of Natural Sciences, 2001, 6 (1-2) : 183 - 190
  • [29] Model checking UML statecharts
    Dong, W
    Wang, J
    Qi, X
    Qi, ZC
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 363 - 370
  • [30] Mobile UML statecharts with localities
    Latella, D
    Massink, M
    Baumeister, H
    Wirsing, M
    GLOBAL COMPUTING, 2005, 3267 : 34 - 58
12345