Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos.
Nome: ALEXANDRO SOUZA RAMOS
Tipo: Dissertação de mestrado acadêmico
Data de publicação: 16/09/2016
Banca:
Nome |
Papel |
|---|---|
| MARIA CLAUDIA SILVA BOERES | Examinador Interno |
| LEANDRO COLOMBI RESENDO | Examinador Externo |
| EDUARDO ZAMBON | Orientador |
Resumo: O GROOVE é uma ferramenta de transformação de grafos utilizada para criar e verificar modelos baseados em grafos. Para tal verificação, é realizada a exploração exaustiva do espaço de estados onde todos os possíveis estados relativos a um modelo são gerados. Contudo, existem importantes classes de sistemas que geram um espaço de estados muito grande ou até mesmo infinito, inviabilizando o uso da exploração exaustiva. Neste trabalho, é proposto um algoritmo de busca guiada que utiliza uma métrica dedistância entre grafos para tomar decisões ao caminhar na busca pelo estado objetivo. Os experimentos mostram que a busca guiada é bem eficiente quando comparado com a exploração exaustiva, permitindo a redução de quase 95% no número de estados explorados.
