Modelagem de Arquiteturas Corporativas e Sistemas de Informação com base em Ontologias: da Semântica ao Suporte Inteligente

Resumo: Este projeto concentra-se em avanços nas técnicas de modelagem de arquiteturas corporativas e técnicas de modelagem conceitual para sistemas de informação, dando continuidade aos esforços de pesquisa do proponente na última década. Serão definidas ontologias núcleo bem fundamentadas para os aspectos sociais e normativos de arquiteturas corporativas—como confiança (trust), valor e risco—com sua aplicação na avaliação, revisão e extensão de linguagens de modelagem conceitual e de frameworks de arquiteturas corporativas. Serão propostas técnicas de suporte inteligente à modelagem com base na semântica ontológica dos modelos. Em particular, serão consideradas técnicas de detecção de erros semânticos, de identificação de anti-padrões, de reparação automática de modelos, de abstração/visualização de modelos e de transformação automática (com realização de implementações eficientes). Será explorado o uso de máquinas de inferência dedutivas e de estratégias de aprendizado de máquina baseado em lógica (em particular programação lógica indutiva), em combinação com as técnicas já empregadas de verificação formal (model finding) e prova automática de teoremas. Serão também exploradas as técnicas de modelagem multi-nível, com emprego da teoria multi- nível MLT∗, tanto para modelos conceituais orientados a ontologias quanto para os modelos de arquiteturas corporativas.

Data de início: 01/03/2021
Prazo (meses): 36

Participantes:

Papelordem decrescente Nome
Coordenador JOÃO PAULO ANDRADE ALMEIDA
Acesso à informação
Transparência Pública

© 2013 Universidade Federal do Espírito Santo. Todos os direitos reservados.
Av. Fernando Ferrari, 514 - Goiabeiras, Vitória - ES | CEP 29075-910