A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models

AUTOR(ES)
FONTE

IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia

DATA DE PUBLICAÇÃO

05/02/2010

RESUMO

Esta dissertação de mestrado apresenta um editor gráfico baseado em modelos para o suporte à criação, verificação e validação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitivamente bem-fundada chamada OntoUML. O editor é projetado para proteger o usuário da complexidade dos princípios ontológicos subjacentes a essa linguagem. Adicionalmente, o editor garante a aplicação destes princípios nos modelos produzidos por prover um mecanismo para verificação formal automática de restrições, daí assegurando que os modelos criados serão sintaticamente corretos. Avaliar a qualidade de modelos conceituais é um ponto chave para assegurar que os mesmos podem ser utilizados efetivamente como uma base para o entendimento, consentimento e construção de sistemas de informação. Por essa razão, o editor é também capaz de gerar instâncias de modelos automaticamente por meio da transformação desses modelos em especificações na linguagem Alloy. Como as especificações Alloy geradas incluem os axiomas modais da ontologia de fundamentação subjacente à OntoUML, chamada Unified Foundational Ontology (UFO), as instâncias geradas automaticamente vão apresentar um comportamento modal enquanto estiverem sendo classificadas dinamicamente, suportando, assim, a validação das meta-propriedades modais dos tipos fornecidos pela linguagem OntoUML

ASSUNTO(S)

validação de modelos conceituais verificação de modelos conceituais ontology logic conceptual models verification of conceptual models validation of conceptual models ontologia modelagem conceitual ciencia da computacao lógica

Documentos Relacionados