Memory embedded in Markov models specified in Statecharts: simulation versus analytical approaches

statecharts are a graphical representation to model reactive systems that respond to external or internal stimuli by changing the state of a given system. statecharts can be seen as an extension of state-transition diagrams that allows modeling hierarchy, orthogonality, and interdependence. due to their features to represent reactive systems, statecharts have been adapted to represent and deal analytically with performance models (reactive systems whose performance is to be evaluated). an interesting feature present in statecharts is to record the system's state, which cannot be represented in markov models in a straightforward manner due to its "memory-less" property. the contributions of this paper are: show that statecharts are a feasible alternative to specify a reactive system so that its performance can be evaluated by both analytical and simulation techniques; show that the inclusion of the memory representation in the statecharts specification can indeed be made by both analytical and simulation techniques. the results of a case study of a manufacturing system show that the objectives are achieved.