Mecanizando o componente de navegação do IBMs CICS

O site do MEFES (Métodos Formais em Engenharia de Software) está hospedado em https://wiki.dcc.ufba.br/MEFES/. Neste endereço está disponível para download o artigo "Mecanizando o componente de navegação do IBMs CICS: um experimento do Grande Desafio". O artigo foi publicado na IX ERBASE e foi premiado com o terceiro lugar no Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG). A ERBASE é um evento regional promovido anualmente pela Sociedade Brasileira de Computação.

Como citar:

DIAS, D. M. ; Robson Silva ; Leo Freitas ; Adolfo Duran . Mecanizando o componente de navegação do IBMs CICS: um experimento do Grande Desafio. In: IX Escola Regional de Computação Bahia - Alagoas - Sergipe, 2009, Ilheus. Anais da IX ERBASE, 2009.

Comando: Rewrite

1. Usa equality substitute (ex: PreMakeReceiver)

Comando: Reduce

1. Usa invoke
2. Usa frule
3. Usa grule
4. Usa rules

Comando: Trivial rewrite

1. Usa regra de reescrita
2. Não faz reason aritmético
3. Não usa grules
4. Não faz simplificação
5. Talvez não use regra de reescrita com Generic actuals

Comando: Simplify

1. Não usa regra de reescrita.
2. Usa foward rules.
3. Usa grule
4. Faz reason aritmético
Ex: identidades
5. Não infere: A \in \power A
6. Faz simplificações lógicas
Ex: (PREDICATE \iff true) é substituído por (PREDICATE)