Tesis
O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA
Registro en:
(Broch.)
Autor
Macario, Carla Geovana do Nascimento
Institución
Resumen
Orientador: Walter da Cunha Borelli Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação Resumo: Este trabalho propõe uma metodologia alternativa para o desenvolvimento e evolução do AIOA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na Embrapa. Esta nova metodologia consiste no uso combinado da técnica OMT (Object Modeling Technique) com a linguagem de especificação formal SOL (Specification and Oescription Language), e apresenta facilidades que produzem ga¿n ANTPOT. H¿os no processo de desenvolvimento de software, como a possibilidade de validação e de simulação do sistema, e também a geração de código para sua prototipação. A partir do modelo de classes proposto pela OMT, passa-se à especificação do sistema em SOL, levando-se em conta na elaboração de ambos os modelos, conceitos como reuso, herança e evolução de sistemas. A validação, a simulação e a geração de código do sistema tornam-se possíveis com o uso da ferramenta CASE SOT1(SOL Oesign Tool - Telelogic, Suécia). É apresentada a evolução do ambiente AIOA centralizado até uma versão distribuída, considerando uma arquitetura cliente-servidor com mecanismo CORBA, bem como exemplos de simulação e de validação destes sistemas Abstract: The present work proposes an alternative methodology for the development and evolution of AIOA, a software environment for the management and analysis of experimental data, being developed at Embrapa, Brazil. This new technique consists of the combined use of OMT (Object Modeling Technique) with the formal specification language SDL (Specification and Description Language), in its 1992 version SDL-92, presenting strong facilities on the software development process, allowing the validation, simulation and eventual code generation for software prototyping. From the system object model and after mapping to SOL-92, the formal specification is generated considering concepts such as reuse, inheritance, and system evolution. The validation, the simulation and code generation of the system is allowed through the use of the CASE tool SOT (SOL Oesign Tool - Telelogic, Sweden). The specification of the centralized AIOA to its evolution to distributed version are presented, validated and simulated. This is followed up with a specialization and validation of thedistributed AIOA, considering an arquitecture client-server with CORBA mechanism Mestrado Telecomunicações e Telemática Mestre em Engenharia Eletrica
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Uma abordagem de linhas de produtos de software para apoiar e-Science
Foschiani, Fernanda Yara dos Santos, 1983- -
Abordagem de pontos de função no desenvolvimento de sistemas utilizando práticas ágeis
Silva, Marcelo Mendes da (Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Computação AplicadaUTFPR, 2019-12-12)Function point analysis is a technique that enables the measurement of software development projects and, thus, establish a size unit that is used in software project management. Currently, agile methods and practices have ... -
Metodologia de projeto de software orientado a notificações
Mendonca, Igor Thiago Marques (Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Engenharia Elétrica e Informática IndustrialUTFPR, 2020-12-17)Many studies have been proposed to mitigate problems of productivity, quality and increasing complexity in the software industry. One of these studies proposes a new computing approach called Notification Oriented Paradigm ...