Editor Ontouml. um editor gráfico baseado em modelo
Baixe Agora

Editor Ontouml. Classificação e resumo

Editor Ontouml. Tag

editor ontologia Editor gráfico Editor de ontologia ontologia de domínio creaate.

Editor Ontouml. Descrição

Um editor gráfico baseado em modelo O Optouml Editor apoia a criação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitiva e bem fundamentada, nomeada Ontouml. Ontouml é baseado na Unified Foundational Ontology (UFO). O editor ontouml foi projetado para sublinhar esta linguagem. Por outro lado, o ONTUML reforça esses princípios nos modelos produzidos, fornecendo um mecanismo para a verificação de restrição formal automática, garantindo que os modelos criados sejam sintaticamente corretos. Assim que a qualidade dos modelos conceituais é a chave para garantir que os modelos conceituais possam ser usados efetivamente como base para entendimento, acordo e construção de sistemas de informação. Por este motivo, o editor também é capaz de geração automática de instâncias modelo, transformando esses modelos em especificações na liga linguística lógica. Como as especificações geradas de liga incluem os axiomas modais da ontologia fundamental subjacente subjacente ao ONTUML, nomeado UFO, as instâncias geradas automaticamente apresentarão comportamento modal ao serem classificados dinamicamente, suportando assim a validação das meta-propriedades modais dos tipos de meta. O que há de novo nesta versão: Aprimoramentos: · Emissão 9: Propriedades inseparáveis, essenciais e somente leitura. · Problema 16: Quando o usuário definir o meta-atributo isExtensional para true em um coletivo ??, então todo o seu relacionamento meronímico deve ter seus atributos meta-atributos é definido automaticamente como TRUE. · Problema 17: Quando o usuário definir o meta-atributo é essencial para true em um membro do ?? relacionamento, então o coletivo ?? Representar o todo deve ter seu meta-atributo isExtensional definido automaticamente como TRUE. · Emissão 18: Quando o usuário cria um datatyperelationship? que tem um ?? estruturadoDatatype ?? Em seu final de associação de origem, então o final da associação de destino deve ter seu meta-atributo IsReadonly definido como TRUE. · Problema 19: Quando o usuário define o meta-atributo é essencial para true em um relacionamento meronímico (viz. Componentef ?? member of ??, subcollectionf ?? subcollectionf ?? SubcollectionOf ?? Subcantityof ??), então a meta -Attribute isimmutablepart deve ser automaticamente definido como verdadeiro e, no final da associação de destino, o Met ...

Editor Ontouml. Software Relacionado