Ferramenta de apoio a especificacao utilizando o modelo tf-orm

Abstract

TF-ORM (Temporal Functionality in Objects with Roles Model) é um modelo de dados temporal orientado a objetos que visa ser utilizado na especificação formal de sistemas de informação. A especificação de aplicações em TF-ORM pode ser bastante complexa, levando a possibilidade de erros. Para auxiliar o processo de especificação de aplicações no modelo TF-ORM, enfatizando o aspecto orientado a objetos do modelo e buscando a redução da possibilidade de erros, foi desenvolvida um ambiente de apoio a especificações. Ambiente este, composto por duas ferramentas distintas: uma Ferramenta de Apoio ao Projetista de Aplicações e uma Ferramenta de Apoio ao Engenheiro de Aplicações. Este documento visa explicar o uso e funcionamento da Ferramenta de Apoio ao Projetista de Aplicações - ferramenta usada para a construção de aplicações no modelo TF-ORM.

TF-ORM (Temporal Functionality in Objects with Roles Model) is a temporal object-oriented data model meant to be used in the information system's formal specification. The specification of TF-ORM aplications can be very complex, leading to the possibility of errors. A specification support environment was developed to help the specification process of TF-ORM aplications, reducing errors and taking benefit of the object-oriented aspect of the model. This environment is composed of two distinct tools: an Application Designer Support Tool and an Application Engineer Support Tool. This document is meant to explain the Application Designer Support Tool and it's usage.