A Utilização de Statecharts e Processo Markoviano de Decisão na Avaliação de Desempenho

Marcelino Silva, Diego Cardoso, Carlos Francês, Nandamudi Vijaykumar, Solon Carvalho

DOI: 10.14209/sbrt.2008.42905

Evento: XXVI Simpósio Brasileiro de Telecomunicações (SBrT2008)

Keywords: Avaliação de Desempenho Processo Markoviano de Decisão e Statecharts

Abstract

Este trabalho propõe uma estratégia que associa uma especificação formal de alto nı́vel, Statecharts, a um Processo Markoviano de Decisão. Os Statecharts são utilizados para propiciar uma representação clara do comportamento do sistema, incluindo as possı́veis tomadas de decisões e os custos advindos de cada decisão. E o Processo Markoviano de Decisão analisa os efeitos em longo prazo de cada decisão. Como resultado dessa associação, permite-se que usuários do sistema, os quais não possuem um conhecimento profundo sobre o processo de avaliação de desempenho, possam participar de forma mais efetiva na etapa de modelagem, provendo informações que tornam o modelo mais coerente com o sistema real.

Download