• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • No language data
  • Tagged with
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

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

BENEVIDES, A. B. 05 February 2010 (has links)
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.
2

Reengenharia de uma Ontologia de Processo de Software e seu uso para a Integração de Ferramentas de Apoio ao Planejamento de Projetos.

BRINGUENTE, A. C. O. 23 August 2011 (has links)
Made available in DSpace on 2016-08-29T15:33:14Z (GMT). No. of bitstreams: 1 tese_4162_.pdf: 956200 bytes, checksum: 63cf447161e6f317b5766333c1af664d (MD5) Previous issue date: 2011-08-23 / Com o crescimento do interesse na área de integração entre sistemas de software, surgiram abordagens que visam tratar este problema. De maneira geral, a integração de sistemas pode ocorrer em quatro níveis: de hardware, de plataforma, sintático e semântico. No nível semântico, foco deste trabalho, durante o processo de integração, o significado dos componentes envolvidos deve ser o mais claro possível, ou seja, o significado pretendido dos conceitos no esquema de dados, nas assinaturas das operações e dos serviços deve ser explicitado. Neste contexto, uma ontologia de domínio pode ser utilizada para definir uma representação explícita dessa conceituação compartilhada e ser usada como referência durante a integração. Este trabalho aplicou a abordagem OBA-SI, uma abordagem de integração semântica baseada em ontologia, para integrar na camada de dados ferramentas que apoiam o planejamento, controle e acompanhamento de projeto de software. Durante o processo de integração, foi utilizado uma ontologia de processo de software, a SPO (Software Process Ontology) para adicionar semântica aos conceitos das ferramentas envolvidas nesse processo. Para servir adequadamente como um modelo de referência, a SPO passou por um processo de reengenharia baseada na UFO (Unified Foundational Ontology), uma ontologia de fundamentação.

Page generated in 0.1037 seconds