Um Estudo Empírico Utilizando Z e UML para a Especificação de um Sistema de Informação

• Luiz Eduardo Galvão Martins UNIMEP

DOI: https://doi.org/10.5753/sbsi.2005.14980

Resumo

Este artigo apresenta um relato de experiência em que procurou-se articular alguns diagramas da UML (modelagem semi-formal) e a linguagem de especificação Z (modelagem formal) para realizar a especificação de um sistema de informação gerencial. Durante o experimento ficou evidenciado os benefícios que a modelagem formal pode trazer para a melhoria da qualidade na especificação dos requisitos de um sistema de informação. Também pôde-se perceber a necessidade de uma clara correspondência entre as duas formas de modelagem, para que a especificação ocorresse de forma coerente . No experimento realizado tal correspondência foi estabelecida, garantindo que as especificações produzidas pudessem ser articuladas corretamente e conduzissem à confecção de bons modelos do sistema.

Palavras-chave: Especificação de Sistemas, Modelagem Formal, Modelagem Semi-Formal, Modelagem de Sistemas de Informação, UML, Z

Referências

Booch, G. et al. (1999) “The Unified Modeling Language User Guide”, Addison Wesley.

Breitman, K. et al. (1999) “The World’s a Stage: A Survey on Requirements Engineering using a RealLife Case Study”, Journal of the Brazilian Computer Society, N. 1, Vol. 6, pp. 13-37.

Cockburn, A., “Writing Effective Use Cases”, Addison-Weley, October/2000.

Davis et al. (1997) “Identifying and Measuring Quality in a Software Requirements Specification”, in Software Requirements Engineering, 2nd Ed., IEEE CS Press, pp 164-175.

Hui, B., et al. (2003) "Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework", 11th IEEE Conference on Requirements Engineering.

Lemoine, M. et al. (1998) “Validating Requirements: The Evolutionary Approach”, Proceedings of the COMPSAC’98.

Moura, A. V. (2001) “Especificações em Z: uma Introdução”, Editora da Unicamp.

OMG (2001) “Unified Modeling Language Specification”, Version 1.4.

Palshikar, G. K. (2001) “Applying Formal Specifications to Real-World Software Development”, IEEE Software.

Potter, B., et al. (1996) “Introduction to Formal Specification and Z”, 2nd Edition, Prentice Hall.

Saiedian, H. (1997) “Formal Methods in Information Systems Engineering” in Software Requirements Engineering, 2nd Edition, IEEE-CS Press.

Sommerville, I. (2001) “Software Engineering”, Pearson Education.

Spivey, J. M. (1998) “The Z Notation: A Reference Manual”, 2nd Edition Published by J. M. Spivey. http://spivey.oriel.ox.ac.uk/~mike/zrm/zrm.pdf.

Vienneau, R. (1997) “A Review of Formal Methods” in Software Requirements Engineering, 2nd Edition, IEEE-CS Press.

Wing, J. M. (1990) “A Specifier’s Introduction to Formal Methods”, IEEE Computer, Vol. 23, No. 9, pp. 8-24.