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

Resumo

Este trabalho investiga a utilização de uma especificação formal de alto nível, os Statecharts, com o objetivo de propiciar uma melhor compreensão de um determinado sistema, quando se pretende avaliar o seu desempenho. Além da especificação, é feita uma associação dos Statecharts com soluções analíticas e por simulação, para viabilizar o processo de modelagem como um todo. Algumas vantagens provenientes da utilização dessa nova abordagem (como hierarquia, paralelismo explícito e mecanismos de comunicação) são discutidas ao longo do artigo, assim como certas implicações da adoção dos Statecharts para avaliar desempenho. Duas abordagens formais para avaliação de desempenho são apresentadas: Statecharts Estocásticos (especificação para sistemas de filas puramente baseada em Statecharts) e Queuing Statecharts (uma aglutinação entre as representações de redes de filas e Statecharts). Um estudo de caso é apresentado ao final do trabalho para aplicar a formalização proposta.

Referências

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).