Made available in DSpace on 2018-08-02T00:03:43Z (GMT). No. of bitstreams: 1
tese_10153_Ata de Defesa.pdf: 578624 bytes, checksum: 39238ca4fbe94b75bd6a39b7b15f70ea (MD5)
Previous issue date: 2016-09-16 / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:dspace2.ufes.br:10/9819 |
| Date | 16 September 2016 |
| Creators | RAMOS, A. S. |
| Contributors | RESENDO, L. C., BOERES, M. C. S., ZAMBON, E. |
| Publisher | Universidade Federal do Espírito Santo, Mestrado em Informática, Programa de Pós-Graduação em Informática, UFES, BR |
| Source Sets | IBICT Brazilian ETDs |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Repositório Institucional da UFES, instname:Universidade Federal do Espírito Santo, instacron:UFES |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0012 seconds