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). |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.simpat.2005.02.001 | Simulation Modelling Practice and Theory |
Keywords | Field | DocType |
Performance evaluation,Statecharts,Queuing systems,Markov chains,Systems modeling | Notation,Computer science,Markov chain,Network simulation,Real-time computing,Queueing theory,Systems modeling,Template,Queue management system,Semantics of logic | Journal |
Volume | Issue | ISSN |
13 | 7 | 1569-190X |
Citations | PageRank | References |
4 | 0.50 | 11 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carlos Renato Lisboa Francês | 1 | 19 | 7.93 |
Edvar Da Luz Oliveira | 2 | 6 | 1.28 |
João Crisóstomo Weyl Albuquerque Costa | 3 | 36 | 12.32 |
Marcos José Santana | 4 | 63 | 13.74 |
Regina Helena Carlucci Santana | 5 | 32 | 9.01 |
Sarita Mazzini Bruschi | 6 | 17 | 6.89 |
Nandamudi Lankalapalli Vijaykumar | 7 | 49 | 13.63 |
Solon Venâncio de Carvalho | 8 | 5 | 0.95 |