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

• Main Author: Macario, Carla Geovana do Nascimento
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 1997
• Subjects: Engenharia de software; Software - Manutenção; Software - Validação; SDL (Linguagem de programação de computador); Simulação (Computadores); Software engineering; Common Object Request Broker Architecture (Computer architecture); Specification and Description Language (SOL); Software validation
• Online Access: MACARIO, Carla Geovana do Nascimento. 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. 1997. 144 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260007>. Acesso em: 23 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/260007

Orientador: Walter da Cunha Borelli === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação === Made available in DSpace on 2018-07-23T08:02:09Z (GMT). No. of bitstreams: 1 Macario_CarlaGeovanadoNascimento_M.pdf: 8704471 bytes, checksum: bee9de6493b42d0139961cb43f32cb24 (MD5) Previous issue date: 1997 === 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 Elétrica