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 条
  • [41] An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations
    Messaoudi, Nabil
    Chaoui, Allaoua
    Bettaz, Mohamed
    10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 604 - 611
  • [42] Assessing the influence of feedback-inclusive rapid prototyping on understanding the semantics of parallel UML statecharts by novice modellers
    Sedrakyan, Gayane
    Poelmans, Stephan
    Snoeck, Monique
    INFORMATION AND SOFTWARE TECHNOLOGY, 2017, 82 : 159 - 172
  • [43] Analyzing execution semantics of statecharts variants
    Lam, VSW
    Padget, J
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 474 - 478
  • [44] UML Statecharts的层次组合验证
    董威
    王戟
    齐治昌
    不详
    计算机工程与应用 , 2005, (11) : 37 - 38+232
  • [45] Mapping UML statecharts to Java']Java code
    Niaz, IA
    Tanaka, J
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 111 - 116
  • [46] A test cases generation method for UML statecharts
    Li, L.-Y.
    Wang, J.
    Qi, Z.-C.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2001, 38 (06): : 691 - 697
  • [47] Using UML Statecharts with Knowledge Logic Guards
    Drusinsky, Doron
    Shing, Man-Tak
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 586 - 590
  • [48] Specifying agent behaviors with UML statecharts and StatEdit
    Murray, J
    ROBOCUP 2003: ROBOT SOCCER WORLD CUP VII, 2004, 3020 : 145 - 156
  • [49] A testing strategy based on UML statecharts and Z
    Xuede, Zhan
    2007 International Symposium on Computer Science & Technology, Proceedings, 2007, : 572 - 576
  • [50] Generation of optimized testsuites for UML statecharts with time
    Mücke, T
    Huhn, M
    TESTING OF COMMUNICATING SYSTEMS, 2004, 2978 : 128 - 143
12345