Proposta de um método de aplicação da teoria de projeto axiomático ao desenvolvimento de software PON-POR

• Ano de defesa: 2013
• Autor(a) principal: Batista, Márcio Venâncio
• Orientador(a): Simão, Jean Marcelo
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Tecnológica Federal do Paraná; Curitiba
• Programa de Pós-Graduação: Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial
• Palavras-chave em Português: Teoria axiomática dos conjuntos; Software - Desenvolvimento; Engenharia de software; Axiomatic set theory; Computer software - Development; Software engineering
• Link de acesso: http://repositorio.utfpr.edu.br/jspui/handle/1/613

Esta pesquisa propõe um método que aplica a Teoria de Projeto Axiomático (PA) ao processo de desenvolvimento de software que se orientam por regras. Nesse âmbito, salienta-se que não foi encontrada na literatura, durante os esforços de pesquisa deste trabalho, a aplicação da Teoria de Projeto Axiomático a sistemas orientados a Regras. Entretanto, a Teoria de Projeto Axiomático já sim foi foco de pesquisa e aplicação no processo de desenvolvimento de software orientado a objeto, servindo de inspiração ao presente trabalho. Dito isso, este trabalho propõe o método Projeto Axiomático aplicado ao Paradigma Orientado a Notificações e ao Paradigma Orientado a Regras (PA-PON-POR) desde que as regras sigam o modelo de estruturação dado pelo PON. O método PA-PON-POR propõe a decomposição funcional de requisitos do sistema em quatro níveis que são: Casos de Uso, Subcasos de Uso Independentes de Características Técnicas, Subcasos de Uso Dependentes de Características Técnicas e Serviços Técnicos. Além disso, o método PA-PON-POR aplica o Axioma da Independência do PA em cada um dos quatro níveis de decomposição por meio das matrizes de projeto e métricas de cálculo da reangularidade e semangularidade do próprio PA. As matrizes de projeto ainda auxiliam na identificação das Premissas exclusivas, elementos esses importantes quando um sistema PON-POR possui Regras que possuem Ações que instigam a geração de fatos conflitantes. O Axioma da Informação do Projeto Axiomático também é aplicado em cada nível de decomposição avaliando as soluções de projeto quanto a sua quantidade de informação. Ainda, o método PA-PON-POR apresenta um conjunto de métricas especificas para avaliação da qualidade estrutural da composição de Regras do sistema, fornecendo critérios para tomada de decisão sobre a qualidade do projeto especificado. Além disso, o método PA-PON-POR é passível de aplicação simultânea com o método existente de projeto de software baseado em desenvolvimento de aplicações PON-POR chamado de Desenvolvimento Orientado a Notificações e Orientado a Regras (DON-DOR), auxiliando na obtenção e validação de artefatos do mesmo. O método PA-PON-POR foi aplicado no desenvolvimento de dois softwares, o primeiro software refere-se um simulador de portão eletrônico e o segundo software refere-se a um sistema de vendas. Em ambas as aplicações, o método PA-PON-POR demonstrou ser eficiente no que se propõe, auxiliando no processo de criação de Regras e de sistemas PON-POR com alguma garantia de qualidade.