Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts

• Carlos Renato Lisboa Francês UNAMA
• Marcos José Santana USP
• Nandamudi Lankalapalli Vijaykumar INPE
• Solon Venâncio de Carvalho INPE
• Regina Helena Carlucci Santana USP

DOI: https://doi.org/10.5753/sbes.2001.23997

Abstract

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.

References

CHIOLA, G., MARSAN M. A., CONTE, G. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. IEEE Transactions on Software Engineering, vol. 19, n. 2, p. 89-106, 1993.

HAREL, D. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, n. 8, p. 231-74, 1987.

HAREL, D., PNUELI, A., SCHMIDT, J., SHERMAN, R. On the formal semantics of Statecharts. IEEE Symposium on Logic, In Computer Science, Ithaca., USA: [s.n], 1987.

JAIN, R. The Art of Computer Systems Performance Analysis - Tecnichniques for Experimental Design, Measurement, Simulation e Modeling. s.l, John Wiley e Sons Inc, 1991.

MACDOUGALL, M.H. Simulating Computing Systems Techniques and Tools, MIT PRESS, 1987.

MACIEL, P.R.M., LINS,R.D., CUNHA, P. R. F. Introdução às Redes de Petri e Aplicações. Campinas, 10a Escola de Computação, 1996.

MOLLOY, M.K. Performance Evaluation Using Stochastic Petri Nets. IEEE Trans. Comput., v. C-31, n. 9, p. 913-17, 1982.

SILVA, E.A.S., MUNTZ, R.R. Métodos Computacionais de Solução de Cadeias de Markov: Aplicações a Sistemas de Computação e Comunicação. Gramado. Instituto de Informática da UFRGS, 1992.

SOARES, L. F.G. Modelagem e Simulação Discreta de Sistemas. Rio de Janeiro, Campus Ltda, 1992.

VIJAYKUMAR, N.L. Statecharts: Their Use in Specifying and Dealing with Performance Models. São José dos Campos, 1999. Tese (Doutorado) - Instituto Tecnológico da Aeronáutica (ITA).