A Stochastic Extension of a Behavioural Subset of UML Statechart Diagrams
In this paper, the authors present a stochastically timed 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, they enrich a state/transition formal operational semantics they proposed in with random clocks for expressing time values. They do this in an "Orthogonal" way, which means that the enriched semantics preserves all the properties of the untimed one. They 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.