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

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.