Please use this identifier to cite or link to this item: http://repositorio.ufes.br/handle/10/4211
Title: A Model-Based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
metadata.dc.creator: BENEVIDES, A. B.
Keywords: Ontologia;Ontologia de Fundamentação;Modelagem Conceitual;
Issue Date: 5-Feb-2010
Publisher: Universidade Federal do Espírito Santo
Citation: BENEVIDES, A. B., A Model-Based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
Abstract: Essa tese 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 de forma que, por um lado, ele protege o usuário da complexidade dos princípios ontológicos subjacentes à essa linguagem. Por outro lado, ele reforça esses 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. Além disso, avaliar a qualidade de modelos conceituais é um ponto chave para assegurar que modelos conceituais podem ser utilizados efetivamente como uma base para o entendimento, acordo 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, baseada em lógica, chamada Alloy. Como as especificações Alloy geradas incluem os axiomas modais da ontologia fundacional subjacente à OntoUML, chamada Unified Foundational Ontology (UFO), então 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.
URI: http://repositorio.ufes.br/handle/10/4211
Appears in Collections:PPGI - Dissertações de mestrado

Files in This Item:
File Description SizeFormat 
tese_3332_.pdf4.4 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.