Especificação e prototipação de um ambiente para representação canônica (RC) de requisitos de software em um banco de dados orientado a objetos (BDOO)

• Processo: 96/00601-7
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de setembro de 1996
• Data de Término da vigência: 28 de fevereiro de 1998
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Antonio Francisco Do Prado
• Beneficiário: Marcelo Fernando Camargo Sirbone
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Assunto(s): Banco de dados orientado a objetos Quantização canônica Análise de requisitos
• Palavra(s)-Chave do Pesquisador: Banco De Dados Orientado Objet | Representacao Canonica | Requisitos De Software | Resistencia De Objetos

Resumo

Uma das primeiras etapas no desenvolvimento de sistemas e a análise e especificação dos requisitos. Para ambas as etapas temos uma variedade de técnicas, modelos e linguagens. Por exemplo, analise estruturada; statecharts; analise orientada a objetos; etc. [3, 4, 5, 6, 7, 11]. Cada uma dessas abordagens produz um enfoque parcial da descrição dos requisitos. Para ser ter uma visão mais ampla dos requisitos foi proposta uma representação Canônica (RC) [1]. RC é uma técnica simples, para representação de requisitos de software, que elimina algumas redundâncias entre linguagens, preservando aquelas características que são únicas dos modelos. Os sistemas de gerenciamento de banco de dados orientados a objetos usam tecnologia emergente de implementação [8, 9]. Eles apresentam a capacidade de fornecer persistência a um objeto, ou seja, a salva de um objeto em um meio magnético. A persistência de objetos depende do banco de dados utilizado para sua modelagem. Estudos do ambiente de Banco de Dados (BD) da RC proposto por Ted R. Crouch [1], permitirá introduzir novos requisitos para atender a persistência segundo o paradigma da orientação objetos (OO). Os objetivos da RC são conseguir uma consistência interna, comum e uma representação única dos requisitos dos softwares. Davis [10] dá uma estrutura para conseguir estes objetivos pela descrição da RC como um gráfico de multipartes que consiste de nove elementos de requisitos e dez relacionamentos possíveis entre os elementos. Os elementos representam entidades, processos, estados, mensagens, atributos, restrições, informações, transições e predicados dos requisitos de softwares e os relacionamentos estruturam as ligações entre estes elementos. Para validação da especificação proposta, será construído um protótipo que implemente parcialmente o modelo especificado. Estudos de caso serão utilizados para testar o protótipo permitindo verificar se a especificação proposta está consistente. A pesquisa trará contribuições nas áreas de Engenharia de requisitos e BDOO, gerando novas técnicas para implementação da RC, aumentando a facilidade de se modelar um sistema em várias abordagens de especificação. Os novos requisitos serão modelados segundo uma metodologia de Desenvolvimento de Software Orientado a Objetos conforme se segue. (AU)