Atendimento via chat
Atendimento via chat

Iniciação Científica

Geração de Código a Partir Restrições de Integridade Espaciais Especificadas em Ocl


Objetivo Geral: Possibilitar que o modelo UML-GeoFrame seja capaz de representar o projeto conceitual de Banco de Dados Geográficos, a especificação restrições de integridade formais e a geração automática de esquema de dados.
 
Objetivos Específicos: Incluir no modelo UML-GeoFrame o uso de uma linguagem formal para a especificação de restrições de integridade em situações nas quais seja impossível alcançar os objetivos desejados através apenas do uso dos construtores de classes e associações provenientes do diagrama de classes da Linguagem de Modelagem Unificada (UML Unified Modeling Language)
Incluir na ferramenta ArgoCASEGeo a extensão proposta e a geração automática de código para que a implementação em Bancos de Dados Geográficos seja compatível com o modelo conceitual. Sem esta funcionalidade a implementação pode se tornar diferente do que foi especificado conceitualmente, inviabilizando o do modelo UML-GeoFrame.
Ao final pretende-se realizar um ou mais estudos de caso que comprovem os benefícios da simplicidade dos construtores de diagrama do modelo UML-GeoFrame, da capacidade de especificação formal de restrições de integridade espaciais e a geração automática do esquema de dados.