UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO
———————————————-
DEFESA DE PROPOSTA DE TESE

Aluno: Rodrigo Machado
Orientadora: Profa. Dra. Leila Ribeiro

Título: Higher Order Graph Rewriting Systems
Linha de Pesquisa: Fundamentos da Computação

Data: 18/10/2010
Horário: 13:30h
Local: Sala 220 – Prédio da Administração (Sala dos Conselhos)

Banca Examinadora:
Prof. Dr. Álvaro Freitas Moreira (UFRGS)
Prof. Dr. Alfio Ricardo de Brito Martini (PUCRS)
Prof. Dr. Roberto da Silva Bigonha (UFMG)

Presidente da Banca: Profa. Dra. Leila Ribeiro

Abstract: System evolution refers to the modifications a software artifact undergoes, being required for several reasons: correction of errors, addition of new functionalities or even to improve the internal system organization.In some contexts, such as in Aspect-Oriented Software Development, global modifications are part of the system
semantics, being used to describe the implementation of requirements such as logging and authentication. Being an important part of system development cycle, each modification in the software structure may potentially change the observed system behavior.  The drawback is that, in several contexts, a complete semantic treatment relating the system transformations and the system observed behavior may be excessively expensive, and practically unfeasible.
In this proposal, we intend to address the problem of modeling and analyzing systems undergoing programmed modifications. For this, we propose to work at the level of visual models, using graph rewriting as a principle for defining both the system semantics and structural modifications. Hence, we have available tools and techniques from the graph transformation field to study the interaction between the two levels of rewriting. The concept of higher-order rules in graph rewriting is required in this context, so we need to define it and investigate its consequences in the graph transformation theory, specially its effect on analysis techniques. The results are expected to be applied in the area of system modeling, specially in the definition and analysis of aspect-oriented constructions for visual models.

Keywords: Graph Transformation Systems, Double-Pushout Approach
Higher-Order Functions, Aspect-Oriented Modeling, Formal Methods