FERUS: Um Ambiente de Desenvolvimento de Especificações CASL

• Gleydson Lima UFRN
• Anamaria Martins Moreira UFRN
• David Déharbe UFRN
• David Pereira UFRN
• Demostenes Sena UFRN
• Jorgiano Vidal UFRN

DOI: https://doi.org/10.5753/sbes.2002.23965

Resumo

Este artigo apresenta FERUS (Apoio Formal à Especificação e Re-Utilização de Software), um ambiente desenvolvido no Departamento de Informática e Matemática Aplicada da UFRN em parceria com o LORIA (França), que permite a criação, manipulação e prototipação de especificações na linguagem CASL. Para otimizar as diferentes possibilidades de trabalho sobre as especificações, a ferramenta trabalha com diferentes formatos de representação: texto, formato de intercomunicação entre ferramentas e formato interno de representação de especificações, adequado para operações de transformação de especificação. O protótipo que apresentamos aqui opera através de uma interface gráfica, mas uma biblioteca de funções correspondentes às funcionalidades da ferramenta também será disponibilizada para facilitar sua integração em outros contextos de operação e sua interoperabilidade com outras ferramentas.

Referências

P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and Ch. Ringeissen. An Overview of ELAN. In C. Kirchner and H. Kirchner, editors, Proc. Second Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Pont-a-Mousson (France), September 1998. Elsevier.

CoFI group. The CoFI Algebr Specification Language, 2001. Available at the CoFI home page: http://www.briks.dk/Projects/CoF1.

Hélène Kirchner and Christophe Ringeissen. Executing casl equational specifications with the elan rewrite engine. Technical report, The Common Framework Initiative for algebraic specification and development, electronic archives, 2000. accessible from http://www.brics.dk/Projects/CoFL.

A. Martins Moreira. La Généralisation : un Outil pour la Réutilisation. PhD thesis, INPG. March 1995.

T. Mossakowski. Casl - from semantics to tools. In Proceedings of TACAS 2000, number 1785 in LNCS, pages 93-108, Berlin, 2000. Springer Verlag.

S. Escobar Peraça and A. Martins Moreira. Proposta de uma ferramenta de apoio formal a especificação e re-utilização de software. In Anais do III Workshop de Métodos Formais, João Pessoa, Brasil, 2000.

M.G.J. van den Brand, H.A. de Jong, P. Klint, and P.A. Olivier. Efficient annotated terms. Technical Report SEN-R0003, CWI, 2000.