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

AUTOR(ES)
DATA DE PUBLICAÇÃO

1997

RESUMO

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

ASSUNTO(S)

simulação (computadores) software engineering software validation software - manutenção software - validação specification and description language (sol) common object request broker architecture (computer architecture) engenharia de software sdl (linguagem de programação de computador)

ACESSO AO ARTIGO

Documentos Relacionados