Evolution of negative application conditions on second-order graph rewriting

Detalhes bibliográficos
Ano de defesa: 2019
Autor(a) principal: Costa, Andrei
Orientador(a): Ribeiro, Leila
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Grafos
Modelagem computacional
Palavras-chave em Inglês:
Graph Transformations
Higher-Order Graph Grammars
Link de acesso: http://hdl.handle.net/10183/197788
Resumo: Gramática de grafos é um formalismo para modelagem de sistemas computacionais. Este formalismo é baseado em regras e transformações de dados capazes de simular sistemas reais, regras tem pré e pós condições de aplicação que podem mudar o estado do sistema. Além disso, o uso de grafos permite uma interface visual intuitiva, que é essencial para o modelador. Se sabe que sistemas computacionais estão sempre evoluindo, essas evoluções podem varias de pequenas refatorações ou correções de problemas, até mudanças maiores em interfaces ou nova arquitetura. A formalização deste processo de evolução em gramáticas de grafos é feita com base em regras de segunda ordem, que possibilitam induzir modificações nas regras da gramática de primeira ordem. Neste trabalho, nós estendemos o framework atual de gramáticas de grafos de segunda ordem de forma a permitir evolução de regras com condições negativas de aplicação. Além desta extensão, nós provemos a primeira implementação do framework de gramáticas de grafos de segunda ordem na ferramenta Verigraph, possibilitando assim o uso na prática destas técnicas.
id URGS_71832a5fd3116546c00a91e768364516
oai_identifier_str oai:www.lume.ufrgs.br:10183/197788
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Costa, AndreiRibeiro, LeilaMachado, Rodrigo2019-08-09T02:31:10Z2019http://hdl.handle.net/10183/197788001098658Gramática de grafos é um formalismo para modelagem de sistemas computacionais. Este formalismo é baseado em regras e transformações de dados capazes de simular sistemas reais, regras tem pré e pós condições de aplicação que podem mudar o estado do sistema. Além disso, o uso de grafos permite uma interface visual intuitiva, que é essencial para o modelador. Se sabe que sistemas computacionais estão sempre evoluindo, essas evoluções podem varias de pequenas refatorações ou correções de problemas, até mudanças maiores em interfaces ou nova arquitetura. A formalização deste processo de evolução em gramáticas de grafos é feita com base em regras de segunda ordem, que possibilitam induzir modificações nas regras da gramática de primeira ordem. Neste trabalho, nós estendemos o framework atual de gramáticas de grafos de segunda ordem de forma a permitir evolução de regras com condições negativas de aplicação. Além desta extensão, nós provemos a primeira implementação do framework de gramáticas de grafos de segunda ordem na ferramenta Verigraph, possibilitando assim o uso na prática destas técnicas.Graph grammars are a suitable formalism to modeling computational systems. This formalism is based on rules and data-driven transformations capable of simulating real systems, rules have application conditions and post conditions that can change the system state. Moreover the use of graphs allows an intuitive visual interface essential for the modeler. It is well known that software systems are always evolving, evolutions may range from minor refactorings or bug fixes to major interface changes or new architectural design. The formalization of these evolution processes in graph grammars is done via higher-order principles, which allows programmed higher-level rules to induce modifications on lower-level rules, the system rules. In this work, we extend the current framework of higher-order transformations for graph grammars in order to allow the evolution of rules with negative application conditions. Besides this extension, we provide the first working implementation of the whole framework of higher-order graph grammars in the Verigraph tool enabling the practical usage of this techniques.application/pdfengGrafosModelagem computacionalGraph TransformationsHigher-Order Graph GrammarsEvolution of negative application conditions on second-order graph rewritinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2019mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001098658.pdf.txt001098658.pdf.txtExtracted Texttext/plain124838http://www.lume.ufrgs.br/bitstream/10183/197788/2/001098658.pdf.txt6197b5285ecbb8b786ed81a98cc101fdMD52ORIGINAL001098658.pdfTexto completo (inglês)application/pdf837672http://www.lume.ufrgs.br/bitstream/10183/197788/1/001098658.pdf1923a260398327db386963ac6f72cbc1MD5110183/1977882025-09-20 08:02:24.814027oai:www.lume.ufrgs.br:10183/197788Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br || lume@ufrgs.bropendoar:18532025-09-20T11:02:24Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Evolution of negative application conditions on second-order graph rewriting
title Evolution of negative application conditions on second-order graph rewriting
spellingShingle Evolution of negative application conditions on second-order graph rewriting
Costa, Andrei
Grafos
Modelagem computacional
Graph Transformations
Higher-Order Graph Grammars
title_short Evolution of negative application conditions on second-order graph rewriting
title_full Evolution of negative application conditions on second-order graph rewriting
title_fullStr Evolution of negative application conditions on second-order graph rewriting
title_full_unstemmed Evolution of negative application conditions on second-order graph rewriting
title_sort Evolution of negative application conditions on second-order graph rewriting
author Costa, Andrei
author_facet Costa, Andrei
author_role author
dc.contributor.author.fl_str_mv Costa, Andrei
dc.contributor.advisor1.fl_str_mv Ribeiro, Leila
dc.contributor.advisor-co1.fl_str_mv Machado, Rodrigo
contributor_str_mv Ribeiro, Leila
Machado, Rodrigo
dc.subject.por.fl_str_mv Grafos
Modelagem computacional
topic Grafos
Modelagem computacional
Graph Transformations
Higher-Order Graph Grammars
dc.subject.eng.fl_str_mv Graph Transformations
Higher-Order Graph Grammars
description Gramática de grafos é um formalismo para modelagem de sistemas computacionais. Este formalismo é baseado em regras e transformações de dados capazes de simular sistemas reais, regras tem pré e pós condições de aplicação que podem mudar o estado do sistema. Além disso, o uso de grafos permite uma interface visual intuitiva, que é essencial para o modelador. Se sabe que sistemas computacionais estão sempre evoluindo, essas evoluções podem varias de pequenas refatorações ou correções de problemas, até mudanças maiores em interfaces ou nova arquitetura. A formalização deste processo de evolução em gramáticas de grafos é feita com base em regras de segunda ordem, que possibilitam induzir modificações nas regras da gramática de primeira ordem. Neste trabalho, nós estendemos o framework atual de gramáticas de grafos de segunda ordem de forma a permitir evolução de regras com condições negativas de aplicação. Além desta extensão, nós provemos a primeira implementação do framework de gramáticas de grafos de segunda ordem na ferramenta Verigraph, possibilitando assim o uso na prática destas técnicas.
publishDate 2019
dc.date.accessioned.fl_str_mv 2019-08-09T02:31:10Z
dc.date.issued.fl_str_mv 2019
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/197788
dc.identifier.nrb.pt_BR.fl_str_mv 001098658
url http://hdl.handle.net/10183/197788
identifier_str_mv 001098658
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/197788/2/001098658.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/197788/1/001098658.pdf
bitstream.checksum.fl_str_mv 6197b5285ecbb8b786ed81a98cc101fd
1923a260398327db386963ac6f72cbc1
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br || lume@ufrgs.br
_version_ 1846255896129175552

Registros relacionados