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

Made available in DSpace on 2016-08-29T15:33:10Z (GMT). No. of bitstreams: 1 tese_3332_.pdf: 4500876 bytes, checksum: 55c9192a29c0414e33a92f7897ba7167 (MD5) Previous issue date: 2010-02-05Essa 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