ACM Transactions on Computer Systems (TOCS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Theoretical Computer Science
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A compositional approach to performance modelling
A compositional approach to performance modelling
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Communications of the ACM
Requirements-level semantics for UML statecharts
Fourth International Conference on Formal methods for open object-based distributed systems IV
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Markov Decision Processes: Discrete Stochastic Dynamic Programming
Performance analysis of time-enhanced UML diagrams based on stochastic processes
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
A Probabilistic Extension of UML Statecharts
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Impact of Deep Submicron Technology on Dependability of VLSI Circuits
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Synthesis and Stochastic Assessment of Schedules for Lacquer Production
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Model checking meets performance evaluation
ACM SIGMETRICS Performance Evaluation Review
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Reputation-based Reliability Prediction of Service Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Performance modeling and analysis of context-aware mobile software systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
The UML is an influential and widespread notation for high-level modelling of information processing systems. UML statechart diagrams are a graphical language to describe system behaviour. They consitute one of the most intensively-used formalisms comprised by the UML. However, statechart diagrams are lacking concepts for describing real-time, performance, dependability and quality of service (QoS) characteristics at a behavioural level.This note describes a QoS-oriented extension of UML statechart diagrams, called StoCharts. StoCharts enhance the basic statechart formalism with two distinguished features, both simple and easy to understand, yet powerful enough to model a sufficiently rich class of stochastic processes. This is illustrated by a selection of case studies performed using StoCharts. We review the main ingredients of StoCharts and survey tool support and case studies performed with the language, and place StoCharts in the context of other extensions of statechart diagrams.