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