%0 Journal Article
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%@nexthigherunit 8JMKD3MGPCW/3ESGTTP
%@archivingpolicy denypublisher denyfinaldraft24
%@issn 1569-190X
%@resumeid
%@resumeid
%@resumeid
%@resumeid
%@resumeid
%@resumeid
%@resumeid 8JMKD3MGP5W/3C9JHTU
%@resumeid 8JMKD3MGP5W/3C9JJ99
%@usergroup administrator
%@usergroup simone
%3 Simpat.pdf
%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 rede- fined 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).
%N 7
%T Performance Evaluation based on System Modelling using Statecharts extensions
%@electronicmailaddress rfrances@ufpa.br
%@electronicmailaddress edvar@ufpa.br
%@electronicmailaddress jweyl@ufpa.br
%@electronicmailaddress mjs@icmc.usp.br
%@electronicmailaddress rcd@icmc.usp.br
%@electronicmailaddress sarita@icmc.usp.br
%@electronicmailaddress vijay@lac.inpe.br
%@secondarytype PRE PI
%K COMPUTER SCIENCE, Performance evaluation, Statecharts, Queuing systems, Markov chains, Systems modeling. COMPUTAÇÃO APLICADA, Avaliação de performance, cadeia de Markov, Modelagem de sistema.
%@visibility shown
%@group
%@group
%@group
%@group
%@group
%@group
%@group LAC-INPE-MCT-BR
%@group LAC-INPE-MCT-BR
%@secondarykey INPE-13048-PRE/8318
%@copyholder SID/SCD
%2 sid.inpe.br/iris@1916/2005/12.14.14.46.50
%@affiliation Universidade Federal do Pará (UFPA)
%@affiliation Universidade Federal do Pará (UFPA)
%@affiliation Universidade Federal do Pará (UFPA)
%@affiliation Universidade de São Paulo. Instituto de Ciências de Matemática e de Computação (USP.ICMC)
%@affiliation Universidade de São Paulo. Instituto de Ciências de Matemática e de Computação (USP.ICMC)
%@affiliation Universidade de São Paulo. Instituto de Ciências de Matemática e de Computação (USP.ICMC)
%@affiliation Instituto Nacional de Pesquisas Espaciais. Laboratório Associado de Matemática e Computação Aplicada
%@affiliation Instituto Nacional de Pesquisas Espaciais. Laboratório Associado de Matemática e Computação Aplicada
%@project Modelagem computacional de sistemas complexos e não lineares
%B Simulation Modelling Practice and Theory
%P 584-618
%4 sid.inpe.br/iris@1916/2005/12.14.14.46
%D 2005
%V 13
%A Francês, Carlos Renato,
%A Oliveira, Edvar da Luz,
%A Costa, João Crisóstomo Weyl Albuquerque,
%A Santana, Marcos José,
%A Santana, Regina Helena Carlucci,
%A Bruschi, Sarita Mazzini,
%A Vijaykumar, Nandamudi Lankalapalli,
%A Carvalho, Solon Venâncio de,
%@dissemination WEBSCI
%@area COMP