A stochastic extension of a behavioural subset of UML statechart diagrams

被引：4

作者：

Gnesi, S ^{[1
]}

Latella, D ^{[1
]}

Massink, M ^{[1
]}

机构：

[1] CNR, Ist Elaborazione Informaz, I-56126 Pisa, Italy

来源：

FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/HASE.2000.895442

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper we present a stochastically tinted extension of UML Statechart Diagrams. The extension is rather simple both from a notational point of view and from a semantics point of view. In particular we enrich a state/transition formal operational semantics we proposed in [14] with random clocks for expressing time values. We do this in art "orthogonal" way which means that the enriched semantics preserves all the properties of the untimed one. We show, by means of a simple example, how the enriched notation and its semantics can be used for performing quantitative analysis of Stochastic UML Statechart Diagrams models.

引用

页码：55 / 64

页数：10

共 50 条

[1] Consistency checking of behavioural modeling in UML statechart diagrams
Aoshima, T
Ando, T
Yonezaki, N
[J]. INFORMATION MODELLING AND KNOWLEDGE BASES XIV, 2003, 94 : 152 - 169
[2] Formalization of UML statechart diagrams in the π-calculus
Lam, VSW
Padget, J
[J]. 2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 223
[3] An Integrated Environment for Communicating UML Statechart Diagrams
Lam, Vitus S. W.
Padget, Julian
[J]. 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,
[4] From a B specification to UML StateChart diagrams
Hammad, A
Tatibouët, B
Voisinet, JC
Wu, WP
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 511 - 522
[5] Empirical validation of metrics for UML statechart diagrams
Miranda, D
Genero, M
Piattini, M
[J]. ENTERPRISE INFORMATION SYSTEMS V, 2004, : 101 - 108
[6] EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS
Lam, Vitus S. W.
Padget, Julian
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (02) : 265 - 304
[7] UML Statechart Diagrams on the ADONIS Metamodeling Platform
Fill, Hans-Georg
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 27 - 36
[8] An approach for reversely generating hierarchical UML statechart diagrams
Chu, Hua
Li, Qingshan
Hu, Shenming
Chen, Ping
[J]. FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2006, 4223 : 434 - 437
[9] The impact of structural complexity on the understandability of UML statechart diagrams
Cruz-Lemus, Jose A.
Maes, Ann
Genero, Marcela
Poels, Geert
Piattini, Mario
[J]. INFORMATION SCIENCES, 2010, 180 (11) : 2209 - 2220
[10] Automating the synthesis of UML StateChart diagrams from multiple collaboration diagrams
Khriss, I
Elkoutbi, M
Keller, RK
[J]. UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 132 - 147

← 1 2 3 4 5 →