English

CIn - Centro de Informática UFPE




Eventos Relacionados

Defesa de Dissertação de Mestrado - Nº 1.186: "Reverse Model-Driven Engineering an Adaptive and Disjunctive Constraint Handling Rule Engine with a Reasoning Explanation Facility"

O aluno Armando Gonçalves da Silva Junior irá defender seu trabalho no dia 20 de agosto, às 15h, na Sala D005 Início: 20/08/2012 às 15:00 Término: 20/08/2012 às 17:00 Local: Sala D005

Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº 1.186
 
Aluno: Armando Gonçalves da Silva Junior
Orientador: Prof. Jacques Pierre Louis Robin
Título: Reverse Model-Driven Engineering an Adaptive and Disjunctive Constraint Handling Rule Engine with a Reasoning Explanation Facility
Data: 20/08/2012
Hora/Local: 15:00h  - Sala D005   (Bloco D – Térreo)
Banca Examinadora:
Prof. Ruy José Guerra B. de Queiroz (UFPE / CIn)
Prof. Luis Carlos de Sousa Menezes (UPE / Engenharia da Computação)
Prof. Jacques Pierre Louis Robin (UFPE / CIn)
 
RESUMO:
 
Programação com Restrições (PR) é largamente usada em aplicações no campo de raciocínio automático fornecendo um framework conceitual que permite aos desenvolvedores modelar rapidamente várias classes de problemas.
Constraint Handling Rules (CHR) é uma linguagem de programação com restrição baseada em regras como também um formalismo teórico em lógica de primeira ordem e lógica linear. A maioria das linguagens de PR, CHR inclusive, é compilada para Prolog, dificultando a integração com sistemas e depuração. Logo, existem várias máquinas de inferência de CHR compiladas para outras linguagens, contudo não implementam disjunção, possuem pouca ou nenhuma informação de rastro e quase sempre nenhuma documentação.
Neste trabalho será proposto um novo rastro para CHR que contenha informação suficiente para analisar qualquer aspecto da execução de um programa CHRv em um nível abstrato útil para a grande maioria de máquinas de inferência. Essa abordagem é baseada na ideia de um rastro genérico que é formalmente definido como uma extensão da semântica abstrata Omega R disjuntiva. Como também, a engenharia-reversa de uma máquina CHR em Java, torná-la adaptativa e implementar disjunção com conflict-direct backjump.
 
Palavras-chave: Desenvolvimento dirigido por modelos, Engenharia de Software, Problemas de Satisfação de Restrições, Rastros
  • © Centro de Informática UFPE - Todos os direitos reservados
    Tel +55 81 2126.8430 - Cidade Universitária - 50740-560 - Recife/PE
Plano4 Consultoria Web