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-05 / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:dspace2.ufes.br:10/4211 |
| Date | 05 February 2010 |
| Creators | BENEVIDES, A. B. |
| Contributors | ALMEIDA, J. P. A., Falbo, R. A., COSTA, M. C. B., GUIZZARDI, G. |
| Publisher | Universidade Federal do Espírito Santo, Mestrado em Informática, Programa de Pós-Graduação em Informática, UFES, BR |
| Source Sets | IBICT Brazilian ETDs |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | text |
| Source | reponame:Repositório Institucional da UFES, instname:Universidade Federal do Espírito Santo, instacron:UFES |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0027 seconds