STOCHASTIC FEATURE CHARTS - Uma Extensão Estocástica para os Statecharts

Resumo

 Este artigo apresenta uma extensão estocástica original para os statecharts (Stochastic Feature Charts - SFC) , cujo objetivo é prover uma avaliação probabilística associando cadeias de Markov aos statecharts. Assim, um sistema pode ser visualizado através de seus estados e transições entre esses estados. 0 objetivo principal é estender os statechartse criar uma ferramenta com características similares às encontradas em redes de fila e de Petri. A extensão proposta, SFC, é usada para avaliar o desempenho de um servidor de arquivos baseado em rede local, considerando três modelos distintos, com níveis de complexidade diferentes. O comportamento das probabilidades é observado e os resultados obtidos são discutidos para validar a extensão para statechats proposta.