Editor Ontouml Un editor gráfico basado en modelos
Descargar ahora

Editor Ontouml Clasificación y resumen

Editor Ontouml Etiquetas

editor ontología editor gráfico editor de ontologías Ontología de dominio criatura

Editor Ontouml Descripción

Un editor gráfico basado en modelos Ontouml Editor admite la creación de modelos conceptuales y ontologías de dominio en un lenguaje de modelado filosóficamente y cognitivamente bien fundado, llamado Ontouml. Ontouml se basa en la ontología fundamental unificada (OVNI). El editor Ontouml fue diseñado para subrayar este idioma. Por otro lado, Ontouml refuerza estos principios en los modelos producidos al proporcionar un mecanismo para la verificación automática de restricciones formal, por lo tanto, asegurando que los modelos creados sean sintácticamente correctos. Asesoramiento de la calidad de los modelos conceptuales es clave para garantizar que se puedan usar modelos conceptuales. efectivamente como base para la comprensión, el acuerdo y la construcción de sistemas de información. Por esta razón, el editor también es capaz de generar automáticas de instancias modelo transformando estos modelos en especificaciones en la aleación de idioma basada en lógica. Como las especificaciones de aleación generadas incluyen los axiomas modales de la ontología fundamental subyacente a Ontouml, denominada UFO, luego las instancias generadas automáticamente presentarán el comportamiento modal mientras se clasificaron dinámicamente, lo que respalda la validación de las Meta-Propiedades modales de los tipos de ONTOUML. ¿Qué hay de nuevo en este lanzamiento: Mejoras: · Número 9: Propiedades inseparables, esenciales y de solo lectura. · Número 16: ¿Cuando el usuario establece el Meta-atributo issaxtossal a VERDADERO en un colectivo ??, entonces, toda su relación de aspecto, debe tener sus meta-attrequenses que se estableció automáticamente en verdadero. · Número 17: ¿Cuando el usuario establece el Meta-Atributo que esencial es EXENSIENCIA a VERDADERO en un miembro? relación, entonces el colectivo ?? Representar el conjunto debe tener su meta-atributo issextensio que se establece automáticamente en verdadero. · Número 18: ¿Cuándo el usuario crea una superperoatización? que tienen un "structureddatatatype? En su extremo de la asociación de origen, entonces el final de la Asociación de Targets debería tener su meta-atributo que se establece ISREADONYLY en VERDADERO. · Número 19: ¿Cuándo establece el usuario el Meta-Atributo que esencial esencial a VERDADERO EN UNA RELACIÓN MERONONTICA (VIZ? ?? Componentef ?? ,? Miembrof ?? ,? Subcollectyof ?? y ?? SubquantityOf ??), luego la meta -Attribute ISIMMutablePART debe configurarse automáticamente en verdadero y, en el extremo de la asociación de destino, el MET ...

Editor Ontouml Software relacionado