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 corporativascomo confiança (trust), valor e riscocom 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:
Papel | Nome |
---|---|
Coordenador | JOÃO PAULO ANDRADE ALMEIDA |