Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hierarchy,concurrency and synchronization. They have also been adapted for specifying and dealing analytically with performance models by converting into a Markov chain from which steady-state probabilities are obtained. A software system,PerformCharts,has been developed for this purpose. In order to improve the interface to specify and generate steady-state probabilities,this paper proposes a markup language based on XML. Procedures of how to deal with such specification in order to generate the necessary performance evaluation information are provided. Keywords-- Statecharts,PerformCharts,XML,PcML
A. S. M. S. Amaral, R. R. Veloso, Nandamudi Lankal