O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software

• Stanley Loh UFRGS
• José Mauro Volkmer de Castilho UFRGS

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

Resumo

Neste artigo é discutido o uso de uma linguagem semi-formal, semi-natural, a ser utilizada no processo de tradução de especificações informais para formais de sistemas de software. O objetivo desta linguagem é permitir a divisão do processo de formalização de especificações (transformação entre especificações informais e formais), facilitando o processo e permitindo um maior controle da qualidade de seu resultado. Para as transformações entre as linguagens (informal, semi-formal e formal), foram identificadas regras heurísticas que facilitam esta tarefa e é recomendado o uso de um dicionário de termos-chave para auxílio na identificação de partes da especificação que descrevem a mesma informação.

Referências

BABB II, R. G. et al. Workshop on models and languages for software specification and design. Computer, Los Angeles, v.18, n.3, Mar. 1985.

BALZER, R.; GOLDMAN, N.; WILE, D. Informality in program specifications. IEEE Transactions on Software Engineering, New York, v.SE-4, n.2, Mar. 1978.

BALZER, R.; CHEATHAM, T. E. GREEN, C. Software technology in the 1990's: using a new paradigm. Computer, Los Angeles, v.16, n.11, Nov. 1983.

BALZER, R. A 15 year perspective on automatic programming. IEEE Transactions on Software Engineering, New York, v.SE-11, n.11, Nov. 1985.

BARSTOW, D. R. Domain-specific automatic programming. IEEE Transactions on Engineering, New York, v.SE-11, n.11, Nov. 1985.

DAVIS, A. M. Automating the requirements phase: benefits to later phases of the software life-cicle. In: INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 4., Chicago, Oct. 27-31, 1980. Proceedings. New York, IEEE, 1980. COMPSAC 80.

DAVIS, A. M. The design of a family of application-oriented requirements languages. Computer, Los Angeles, v.15, n.5, May 1982.

KLEENE, S. C. Mathematical Logic. John Wiley & Sons, 1967.

LOH, S. Uma Linguagem comum entre usuários analistas para definição de requisitos de sistemas de informação. Porto Alegre, CPGCC/UFRGS, 1991. Dissertação de Mestrado.

MAAREK, Y. S.; BERRY, D. M. The use of lexical affinities in requirements extraction. In: INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 5., Pittsburgh May 19-20. 1989. Proceedings. Publicado em Software Engineering Notes, New York, v.14, n.3, May 1989.

MEYER, B. On formalism in specifications. IEEE Software, Los Alamitos, v.2, n.1, Jan. 1985.

TEOREY, T. J. & FRY, J. P. Design of database structures. Englewood Cliffs, Prentice-Hall, 1982.