Title
Quantitative Analysis of UML Statechart Models of Dependable Systems
Abstract
The paper introduces a method which allows quantitative dependability analysis of systems modeled by using the Unified Modeling Language (UML) statechart diagrams. The analysis is performed by transforming the UML model to stochastic reward nets (SRNs). A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation...
Year
DOI
Venue
2002
10.1093/comjnl/45.3.260
The Computer Journal
Keywords
DocType
Volume
performance analysis,uml statecharts,dependability analysis,unified modeling language,quantitative analysis,dependence analysis,system modeling
Journal
45
Issue
ISSN
Citations 
3
0010-4620
24
PageRank 
References 
Authors
1.21
18
5
Name
Order
Citations
PageRank
Gábor Huszerl1485.02
István Majzik240036.04
András Pataricza351455.25
Konstantinos Kosmidis4241.21
Mario Dal Cin528240.09