محرر ONTOUML محرر رسومي يستند إلى نموذج
التحميل الان

محرر ONTOUML الترتيب والملخص

محرر ONTOUML العلامات

محرر ontology. المحرر الرسومي محرر ontology. ontology المجال كراهية

محرر ONTOUML وصف

محرر رسومي يستند إلى نموذج يدعم محرر ONTOUML إنشاء النماذج المفاهيمية و ontologies المجال في لغة نمذجة فلسفية وأسس بشكل جيد، باسم OnTouml. يعتمد ONTOUML على الأطباق التأسيسي الموحد (UFO). تم تصميم محرر ONTOUML لتأكيد هذه اللغة. من ناحية أخرى، يعزز OnTouML هذه المبادئ في النماذج المنتجة من خلال توفير آلية للتحقق الرسمي القيد الرسمي التلقائي، وبالتالي التأكد من أن النماذج التي تم إنشاؤها سيتم تصحيحها بشكل صحيح. نظرا لوجود جودة النماذج المفاهيمية هي مفتاح التأكد من أنه يمكن استخدام النماذج المفاهيمية بفعالية كأساس للتفاهم والاتفاق وبناء نظم المعلومات. لهذا السبب، يكون المحرر قدرة أيضا على الجيل التلقائي من المثيلات النموذجية عن طريق تحويل هذه النماذج إلى مواصفات في سبيكة اللغة المستندة إلى المنطق. نظرا لأن مواصفات السبائك التي تم إنشاؤها، تشمل البديهيات الوسائط للاتحاد الأساسي الأساسي OnTouml، تسمى UFO، ثم ستوفر المثليات تلقائيا سلوكا مشروطا أثناء تصنيفه ديناميكيا، مما يدعم التحقق من صحة خصائص Metal Metal من أنواع ONTOULL. ما الجديد في هذا الإصدار: التحسينات: العدد 9: الخصائص غير المنفصلة والأساسية والقراءة فقط. العدد 16: عندما يقوم المستخدم بتعيين سمة meta isextional إلى True في A؟ جماعي؟ العدد 17: عندما يقوم المستخدم بتعيين السمة META ISESSITIAL TRUE في الأعضاء؟ العلاقة، ثم؟ جماعية؟ يجب أن يكون تمثيل كله من سمة Meta IsExtional تلقائيا إلى True. إصدار 18: عندما يخلق المستخدم Datatyperelationship؟ التي لديها ؟؟ في نهاية جمعية المصدر الخاصة به، ينبغي أن يكون نهاية الرابطة المستهدفة أن يكون لها سمة meta isreadonly لتعيين isreadonly. إصدار 19: عندما يقوم المستخدم بتعيين إسقاد السمة META إلى True في علاقة مواضيعية (VIZ. ؟؟ Componentof ؟؟، ؟؟ الأعضاء؟، ؟؟ يجب ضبط Isimmutablepart تلقائيا على True و، في نهاية الرابطة المستهدفة، التقى ...

محرر ONTOUML برامج ذات صلة