Stochastic Extension to Statecharts for representing performance models: an application to a file system
Resumo
The paper aims to present that another high-level specification tool Statecharts may also be used to represent performance models. Statecharts may be considered as an extension of state-transition diagrams added with the concepts of hierarchy and parallelism. The Statecharts specification has to treated in the sense performance measurements are to be obtained. This is done by generating Statecharts equivalent of state-transition diagrams. By associating the resulted state-transition diagrams to a Markov chain and using an analytical numerical method, performance measurements are obtained. A performance model represented in queuing networks, Petri nets and Statecharts will be discussed.
Palavras-chave:
Performance Models, Specification tools, Statecharts, Analytical methods, Markov chains
Referências
ANDRADE, V.M.B.; CARVALHO, S.V.; VIJAYKUMAR, N.L. Desenvolvimento de um Software para análise de desempenho de sistemas através de modelos markovianos. In: SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL, 29., 1997, Salvador, Brasil. Anais dos Resumos... Salvador, Brasil: SOBRAPO, 1997.
HAREL, D. Statecharts: a visual formalism for complex systems. Science of Computer Programming, v. 8, p. 231–274, 1987.
HAREL, D.; PNUELI, A.; SCHMIDT, J.; SHERMAN, R. On the formal semantics of Statecharts. In: IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1987, Ithaca. Proceedings... Ithaca, USA: [s.n.], 1987.
HAREL, D.; LACHOVER, H.; NAAMAD, A.; PNUELI, A.; POLITI, M.; SHERMAN, R.; SHTULL-TRAURING, A.; TRAKHTENBROT, M. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, v. 16, n. 4, p. 403–414, Apr. 1990.
HAREL, D.; NAAMAD, A. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering, v. 5, n. 4, p. 293–333, Oct. 1996.
KLEINROCK, L. Queueing Systems. v. 2. New York, USA: John Wiley & Sons, 1976.
MACIEL, P.R.M.; LINS, R.D.; CUNHA, P.R.F. Introdução às Redes de Petri e Aplicações. Brasil: Instituto de Computação, UNICAMP, 1996.
MURATA, T. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, v. 77, n. 4, p. 541–580, 1989.
PETERSON, J.L. Petri net theory and modeling of systems. London, England: Prentice-Hall International, 1981.
PHILIPPE, B.; SAAD, Y.; STEWART, W.J. Numerical Methods in Markov Chain Modeling. Operations Research, v. 40, n. 6, p. 1156–1179, 1992.
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, Brasil: Instituto de Informática da UFRGS, 1992.
SILVA, A.R.F. Modelos de redes de filas para Sistemas Computacionais Distribuídos – Simulação e Métodos Analíticos. São Carlos: ICMC-USP, 2000. (M.S. dissertation).
VIJAYKUMAR, N.L.; CARVALHO, S.V.; ABDURAHIMAN, V. On proposing Statecharts to specify Performance Models. International Transactions in Operational Research, 1999. (Submitted).
VIJAYKUMAR, N.L.; CARVALHO, S.V.; ABDURAHIMAN, V. Statecharts: Their use in specifying and dealing with Performance Models. São José dos Campos: ITA, 1999. (D.S. thesis).
HAREL, D. Statecharts: a visual formalism for complex systems. Science of Computer Programming, v. 8, p. 231–274, 1987.
HAREL, D.; PNUELI, A.; SCHMIDT, J.; SHERMAN, R. On the formal semantics of Statecharts. In: IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1987, Ithaca. Proceedings... Ithaca, USA: [s.n.], 1987.
HAREL, D.; LACHOVER, H.; NAAMAD, A.; PNUELI, A.; POLITI, M.; SHERMAN, R.; SHTULL-TRAURING, A.; TRAKHTENBROT, M. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, v. 16, n. 4, p. 403–414, Apr. 1990.
HAREL, D.; NAAMAD, A. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering, v. 5, n. 4, p. 293–333, Oct. 1996.
KLEINROCK, L. Queueing Systems. v. 2. New York, USA: John Wiley & Sons, 1976.
MACIEL, P.R.M.; LINS, R.D.; CUNHA, P.R.F. Introdução às Redes de Petri e Aplicações. Brasil: Instituto de Computação, UNICAMP, 1996.
MURATA, T. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, v. 77, n. 4, p. 541–580, 1989.
PETERSON, J.L. Petri net theory and modeling of systems. London, England: Prentice-Hall International, 1981.
PHILIPPE, B.; SAAD, Y.; STEWART, W.J. Numerical Methods in Markov Chain Modeling. Operations Research, v. 40, n. 6, p. 1156–1179, 1992.
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, Brasil: Instituto de Informática da UFRGS, 1992.
SILVA, A.R.F. Modelos de redes de filas para Sistemas Computacionais Distribuídos – Simulação e Métodos Analíticos. São Carlos: ICMC-USP, 2000. (M.S. dissertation).
VIJAYKUMAR, N.L.; CARVALHO, S.V.; ABDURAHIMAN, V. On proposing Statecharts to specify Performance Models. International Transactions in Operational Research, 1999. (Submitted).
VIJAYKUMAR, N.L.; CARVALHO, S.V.; ABDURAHIMAN, V. Statecharts: Their use in specifying and dealing with Performance Models. São José dos Campos: ITA, 1999. (D.S. thesis).
Publicado
24/10/2000
Como Citar
FRANCÊS, Carlos Renato Lisboa; VIJAYKUMAR, Nandamudi Lankalapalli; SANTANA, Marcos José; CARVALHO, Solon Venâncio de; SANTANA, Regina Helena Carlucci.
Stochastic Extension to Statecharts for representing performance models: an application to a file system. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 12. , 2000, São Pedro/SP.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2000
.
p. 365-372.
DOI: https://doi.org/10.5753/sbac-pad.2000.41236.
