Use este identificador para citar ou linkar para este item: http://repositorio.ufes.br/handle/10/9819
Título: Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
Autor(es): Ramos, Alexandro Souza
Orientador: Zambon, Eduardo
Data do documento: 16-Set-2016
Editor: Universidade Federal do Espírito Santo
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.
URI: http://repositorio.ufes.br/handle/10/9819
Aparece nas coleções:PPGI - Dissertações de mestrado

Arquivos associados a este item:
Arquivo TamanhoFormato 
tese_10153_Ata de Defesa.pdf565.06 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.