Introducing probabilities in Statecharts to specify reactive systems for performance analysis

Statecharts are expressed in a graphical language to specify complex reactive systems. They are extension of state-transition diagrams to which notions of hierarchy and orthogonality have been added. Recently, they have been suggested to represent performance models and in this regard a software package has been developed. In these performance models, the behavior of a system under study is considered to be probabilistic. Therefore, the inclusion of probabilities in Statecharts formalism will be studied. The proposed extension considers that a modeled system reacts probabilistically to events. In order to deal with these models, an analytical computational method based on constructing a Continuous-Time Markov Chain that is equivalent to the Statecharts model is proposed. The aspect of generating a Continuous-Time Markov Chain from Statecharts representation along with the solution to include probabilities among the transitions will be covered in this paper.