A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
AUTOR(ES)
Alessander Botti Benevides
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
ACESSO AO ARTIGO
Documentos Relacionados
- Model-based analysis of oligonucleotide arrays: model validation, design issues and standard error application
- A crop model-based approach for sunflower yields
- A MODEL-BASED HEURISTIC FOR THE IRREGULAR STRIP PACKING PROBLEM
- Model-based evolution of collaborative agent-based systems
- A model-based analysis of microarray experimental error and normalisation