Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI
Resumo
Verigraph-GUI é um editor gráfico desenvolvido para a ferramenta Verigraph, uma ferramenta de transformação de grafos. Esse trabalho relata sobre a construção de uma GUI para o módulo de verificação de modelos da ferramenta Verigraph, assim como extensões e outras melhorias planejadas.
Palavras-chave:
gramática de grafos, verificação de modelos, GUI
Referências
Azzi, G. G., Bezerra, J. S., Ribeiro, L., Costa, A., Rodrigues, L. M., and Machado, R. (2018). The Verigraph System for Graph Transformation, pages 160–178. Springer International Publishing, Cham.
Becker, T. R. (2014). VeriGraph: A Tool For Model Checking Graph Grammars. Monografia (Bacharel em Ciência da Computação), UFRGS (Universidade Federal do Rio Grande do Sul), Rio Grande do Sul, Brazil.
Clarke, E. M. (2008). 25 Years of Model Checking: History, Achievements, Perspectives. Springer Berlin Heidelberg, Berlin, Heidelberg.
Ehrig, H., Ehrig, K., Prange, U., and Taentzer, G. (2006). Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series). Springer-Verlag, Berlin, Heidelberg.
Fuchs, A. L., Machado, R., and Ribeiro, L. (2019). Verigraph-gui: A gui for the verigraph tool. In Anais WEIT 2019, pages 268–277. Universidade de Passo Fundo (UPF).
Huth, M. and Ryan, M. (2004). Logic in computer science - modelling and reasoning about systems (2. ed.).
Rensink, A. (2004). The groove simulator: A tool for state space generation. In Pfaltz, J. L., Nagl, M., and Böhlen, B., editors, Applications of Graph Transformations with Industrial Relevance, pages 479–485, Berlin, Heidelberg. Springer Berlin Heidelberg.
Becker, T. R. (2014). VeriGraph: A Tool For Model Checking Graph Grammars. Monografia (Bacharel em Ciência da Computação), UFRGS (Universidade Federal do Rio Grande do Sul), Rio Grande do Sul, Brazil.
Clarke, E. M. (2008). 25 Years of Model Checking: History, Achievements, Perspectives. Springer Berlin Heidelberg, Berlin, Heidelberg.
Ehrig, H., Ehrig, K., Prange, U., and Taentzer, G. (2006). Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series). Springer-Verlag, Berlin, Heidelberg.
Fuchs, A. L., Machado, R., and Ribeiro, L. (2019). Verigraph-gui: A gui for the verigraph tool. In Anais WEIT 2019, pages 268–277. Universidade de Passo Fundo (UPF).
Huth, M. and Ryan, M. (2004). Logic in computer science - modelling and reasoning about systems (2. ed.).
Rensink, A. (2004). The groove simulator: A tool for state space generation. In Pfaltz, J. L., Nagl, M., and Böhlen, B., editors, Applications of Graph Transformations with Industrial Relevance, pages 479–485, Berlin, Heidelberg. Springer Berlin Heidelberg.
Publicado
17/11/2021
Como Citar
FUCHS, Arthur L.; MACHADO, Rodrigo; RIBEIRO, Leila.
Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI. In: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 6. , 2021, Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 156-162.
DOI: https://doi.org/10.5753/weit.2021.18936.
