Quantitative Analysis of UML Statechart Models of Dependable Systems
| Autor: | Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis, András Pataricza, István Majzik |
|---|---|
| Rok vydání: | 2002 |
| Předmět: |
General Computer Science
Hierarchy (mathematics) Programming language Computer science Real-time computing Computer Science::Software Engineering Complex event processing Applications of UML computer.software_genre Set (abstract data type) UML state machine Unified Modeling Language State (computer science) State diagram computer computer.programming_language |
| Zdroj: | The Computer Journal. 45:260-277 |
| ISSN: | 1460-2067 0010-4620 |
| DOI: | 10.1093/comjnl/45.3.260 |
| Popis: | 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 is presented by a set of SRN patterns. Performance-related measures can be directly derived using SRN tools, while dependability analysis requires explicit modeling of erroneous states and faulty behavior. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|