Éditeur d'OntouML Un éditeur graphique basé sur un modèle
Télécharger maintenant

Éditeur d'OntouML Classement & Résumé

Éditeur d'OntouML Mots clés

éditeur ontologie éditeur graphique Éditeur d'ontologie Ontologie de domaine creaate

Éditeur d'OntouML La description

Un éditeur graphique basé sur un modèle L'Éditeur OntouML soutient la création de modèles conceptuels et d'ontologies de domaine dans une langue de modélisation philosophique et cognitivement bien fondée, appelée ontouml. OntouML est basé sur l'ontologie fondationnelle unifiée (OVNI). L'Éditeur de l'OntouML a été conçu pour souligner cette langue. D'autre part, OntouML renforce ces principes dans les modèles produits en fournissant un mécanisme de vérification automatique de contrainte formelle, garantissant ainsi que les modèles créés seront syntaxiquement corrects. La qualité des modèles conceptuels est essentielle pour que les modèles conceptuels puissent être utilisés. efficacement comme base de compréhension, d'accord et de construction des systèmes d'information. Pour cette raison, l'éditeur est également capable de générer automatiquement des instances de modèle en transformant ces modèles en spécifications de l'alliage de langue basé sur la logique. Comme les spécifications alliées générées comprennent les axiomes modaux de l'ontologie fondamentale sous-jacent Ontouml, nommé OVNI, puis les cas générés automatiquement des comportements modaux tout en étant classés de manière dynamique, soutenant ainsi la validation des méta-immobilisations modales des types ATOUML. Quoi de neuf dans cette version: Améliorations: · Numéro 9: Propriétés indissociables, essentielles et en lecture seule. · Numéro 16: Lorsque l'utilisateur a défini le méta-attribut isrentensional sur true dans un ?? Collective? · Numéro 17: Lorsque l'utilisateur a défini l'attribut méta-attribut isessentiel à vrai dans un autre membre de ?? relation, alors le ?? collectif ?? Représenter l'ensemble devrait avoir son indicateur de méta-attribut islational réglé automatiquement à true. · Numéro 18: Lorsque l'utilisateur crée une ?? DaTatyPership ?? qui ont un ?? structurédataType ?? Dans son extrémité de l'association source, la fin de l'association cible doit alors avoir son attribut Meta-Attribut IsReadonly réglé sur TRUE. · Numéro 19: Lorsque l'utilisateur définit l'attribut méta-attribut iSessential à true dans une relation faus sur une relation fausse (VIZ .? Composant de ??, ?? membre de la sous-terrasse ?? et ?? sous-collection de la sous-collection ??), alors le méta -Attribute isimmutablePart doit être automatiquement défini sur true et, dans la fin de l'association cible, la rencontre ...

Éditeur d'OntouML Logiciels associés