Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie

Abstract

O trabalho apresenta um exemplo de integração do método T.A.& A. [HOP88] com o ambiente YPY [EDE89a]. É apresentada a especificação e posterior prototipação de um Sistema de Informação de Escritório, uma locadora de fitas de vídeo. A análise do escritório é feita através do método T.A.& A., resultando na especificação semiformal do mesmo. Esta especificação é orientada ao projeto do banco de dados do sistema, através do modelo de dados implementado pelo ambiente YPY, utilizado na prototipação. A modelagem dos aspectos dinâmicos é feita através de condições de violação expressas como regras de lógica de primeira ordem.

The integration of the T.A.& A. method [HOP88] and the YPY environment [EDE89a] is here presented. The specification and prototyping of an Office Information System, a video rental shop, are developed. The T.A.& A. method is used in the office analysis, resulting in a semiformal specification. This specification is oriented towards the database project, using the data model implemented by the YPY environment, used in the prototyping phase. Dynamic aspects of the system are modeled through integrity violation conditions, presented as first-order logic rules.