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
Orientador:

Nomeordem decrescente Papel
Eduardo Zambon Orientador

Banca:

Nomeordem decrescente Papel
Eduardo Zambon Orientador
Leandro Colombi Resendo Examinador Externo
Maria Claudia Silva Boeres Examinador Interno

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.

Acesso ao documento

Acesso à informação
Transparência Pública

© 2013 Universidade Federal do Espírito Santo. Todos os direitos reservados.
Av. Fernando Ferrari, 514 - Goiabeiras, Vitória - ES | CEP 29075-910