A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Quantitative Analysis of UML Statechart Models of Dependable Systems
2002
Computer journal
The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets SRN. A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation is presented by a set of SRN patterns. Performance measures can be directly derived using SRN tools, while
doi:10.1093/comjnl/45.3.260
fatcat:5kgppuwe4ffr3dvabjjn5z7ltq