BDBComp
Parceria:
SBC
Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts

Carlos FrancêsMarcos José SantanaSolon Venâncio de CarvalhoRegina Helena C. SantanaNandamudi L. Vijaykumar

The paper here proposes to investigate the use of a high-level formal specification, Statecharts, to understand in a clear manner the behavior of a system where its performance evaluation is needed. The problem tackled is not only the specification but its solution by associating the specification to analytical solutions and simulation.Some of the main advantages by using this approach (such as hierarchy, explicit parallelism, and communication mechanisms) are discussed in the paper and the implications in adopting Statecharts to evaluate the performance. Two formal approaches are presented: Stochastic Statecharts (specification of queues purely based on Statecharts) and Queuing Statecharts (a merge between Queuing Networks and Statecharts). A case study is also shown to apply the proposal.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2001/021.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD