Performance evaluation based on system modeling using Statecharts extensions

This paper presents two extensions for Statecharts: the Stochastic Statecharts, which use the original statecharts notation with a minor modification in the formal semantics and the Queuing Statecharts, which do not follow the pure Statecharts notation, but a join between Statecharts and queuing network representations. Some basic elements of Statecharts are redefined such as events and conditions, besides some concepts referring to the dynamic system behavior. The specification approaches show the basic behavior of a generic queuing system by means of templates and standard events. It is presented the PerformCharts, a new simulation environment based on Statecharts specification, which allows model solution using either Markov chains or the Network Simulator (NS).