Definindo relações semânticas entre famílias de cenários implícitos

Abstract

Quando um sistema concorrente é modelado a base de cenários, muitas vezes podemos encontrar durante a execução do sistema um cenário que não havia sido previsto. Este é chamado de cenário implícito e decorre de uma modelagem errônea. O tratamento de cenários implícitos é um processo de extrema importância para a correta execução do sistema, porém demanda tempo e esforço do usuário. Logo, este trabalho visa facilitar a parte da detecção para que o usuário possa tratá-los de uma forma potencialmente mais simples e rápida. Isto é alcançado utilizando o conceito de famílias de cenários implícitos, que são grupos de cenários similares cujos cenários que os compõe ocorrem provavelmente pelos mesmos fatores. Dado que o processo de detecção de cenários implícitos é NP-difícil, isto é, não se sabe quando irá terminar, se estas famílias detectadas caracterizarem todas as variações dos cenários implícitos do sistema, o tratamento deles será facilitado, pois o usuário necessitará somente tratar tais famílias.