Please use this identifier to cite or link to this item: http://repositorio.ufes.br/handle/10/9819
Title: Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos.
metadata.dc.creator: RAMOS, A. S.
Keywords: Busca Guiada;Gramática de Grafos;Métricas de Distância;GR
Issue Date: 16-Sep-2016
Publisher: Universidade Federal do Espírito Santo
Citation: RAMOS, A. S., Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos.
Abstract: 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
Appears in Collections:PPGI - Dissertações de mestrado

Files in This Item:
File Description SizeFormat 
tese_10153_Ata de Defesa.pdf565.06 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.