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 条
  • [31] Compositional Operational Semantics of a UML-Kernel-Model Language
    Fecher, Harald
    Kyas, Marcel
    de Roever, Willem-Paul
    de Boer, Frank S.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 156 (01) : 79 - 96
  • [32] Enhancing UML extensions with operational semantics behaviored profiles with templates
    Cuccuru, Arnaud
    Mraidha, Chokri
    Terrier, Francois
    Gerard, Sebastien
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 271 - +
  • [33] Test case generation for UML statecharts
    Seifert, D
    Helke, S
    Santen, T
    PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 462 - 468
  • [34] WHAT IS IN A STEP - ON THE SEMANTICS OF STATECHARTS
    PNUELI, A
    SHALEV, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 244 - 264
  • [35] Generating testing sequences for UML Statecharts
    Miao, L
    Zhang, DF
    CHINESE JOURNAL OF ELECTRONICS, 2006, 15 (02): : 225 - 230
  • [36] A comparison of Statecharts step semantics
    Maggiolo-Schettini, A
    Peron, A
    Tini, S
    THEORETICAL COMPUTER SCIENCE, 2003, 290 (01) : 465 - 498
  • [37] A formal testing framework for UML statecharts
    Zhan, Xuede
    SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Vol 3, Proceedings, 2007, : 882 - 887
  • [38] Compositional Analysis of Hierarchical UML Statecharts
    Carnevali, Laura
    German, Reinhard
    Santoni, Francesco
    Vicario, Enrico
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (12) : 4762 - 4788
  • [39] A coalgebraic approach for the formalization of UML statecharts
    Du, DH
    Cao, HH
    He, KQ
    Peng, R
    Proceedings of the 11th Joint International Computer Conference, 2005, : 793 - 798
  • [40] Formal modeling and analysis of UML statecharts
    Yao, Shuzhen
    Jin, Maozhong
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2007, 33 (04): : 472 - 476
12345