%0 Journal Article %1 frances_05_performance %A Franc^es, Carlos R. %A Oliveira, Edvar %A Jo, %A Santana, Marcos J. %A Santana, Regina H. %A Bruschi, Sarita M. %A Vijaykumar, Nandamudi L. %A Carvalho, Solon V. %D 2005 %J Simulation Modelling Practice and Theory %K semantics 2005 statecharts %N 7 %P 584--618 %R 10.1016/j.simpat.2005.02.001 %T Performance evaluation based on system modeling using Statecharts extensions %U http://dx.doi.org/10.1016/j.simpat.2005.02.001 %V 13 %X 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).

@article{frances_05_performance, abstract = {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).}, added-at = {2009-02-11T21:02:13.000+0100}, author = {Franc^{e}s, Carlos R. and Oliveira, Edvar and Jo and Santana, Marcos J. and Santana, Regina H. and Bruschi, Sarita M. and Vijaykumar, Nandamudi L. and Carvalho, Solon V.}, biburl = {https://www.bibsonomy.org/bibtex/2da2be2eb18f2944731549fcc8eb46088/leonardo}, citeulike-article-id = {891749}, doi = {10.1016/j.simpat.2005.02.001}, interhash = {12a259413f0bad331073920c88e87aa9}, intrahash = {da2be2eb18f2944731549fcc8eb46088}, journal = {Simulation Modelling Practice and Theory}, keywords = {semantics 2005 statecharts}, month = {October}, number = 7, pages = {584--618}, posted-at = {2006-10-10 20:05:04}, priority = {2}, timestamp = {2009-02-11T21:02:13.000+0100}, title = {Performance evaluation based on system modeling using Statecharts extensions}, url = {http://dx.doi.org/10.1016/j.simpat.2005.02.001}, volume = 13, year = 2005 }