 | ConceptBase.نظام قاعدة بيانات للهندسة في مجال ميتسمونغ وأسلوب الهندسة |
| التحميل الان | |
ConceptBase. الترتيب والملخص
الإعلانات
ConceptBase. العلامات
ConceptBase. وصف
نظام قاعدة بيانات لل metamodeling وهندسة الطريقة ConceptBase هو نظام قاعدة بيانات استنتاجي متعدد المستخدمين مع نموذج بيانات متركز على الكائنات. إن قدرتها على تمثيل المعلومات في أي مستوى تجريد التجريد (البيانات، الصف، الصف، meta-metaClass، metaclass، إلخ) تجعلها أداة قوية لل metamodeling والهندسة لغات النمذجة المخصصة. يرافق النظام واجهة مستخدم رسومية قابلة للتكوين للغاية تعتمد على الميزات المستندة إلى المنطق من ServealBase Server.Unlimited هرمي Metaclass. يمكن أن يمثل ConceptBase معلومات على مستوى البيانات (مثال بيانات وإعدام العمليات وما إلى ذلك)، ومستوى الفصل (مخططات، وتعاريف العملية وما إلى ذلك)، ومستوى metaclass (بنيات لغات النمذجة)، ومستوى meta-metaclass (يبني تحديد لغات النمذجة)، وما إلى ذلك. يتم تمثيل جميع الكائنات في بنية بيانات رباعية موحدة تسمى P-facts رائدة من قبل مطوري اللغة Telos. يتم تمثيل الكائنات وسماتها وتخصصاتها ومفانيمها كحقائق ف. من خلال ذلك، على سبيل المثال، يمكن أن يكون لدى سمات الكائنات سماتها وهي مثيلات من السمات الأخرى. حتى التخصص بين السمات مدعومة بالكامل. التعبيرات Logical. يتم التعبير عن القواعد والقيود والاستفسارات في الصيغ المنطقية من الدرجة الأولى. داخليا، يقوم النظام بتحويلها إلى بنود القرن التي تفسرها آلة التقييم المستندة إلى Datalog. يمكن أن تتراوح التعبيرات المنطقية في ConceptBase عبر أي كائن بغض النظر عن نوعها (العقدة مقابل الرابط) ومستوى التجريد الخاص به. من المعروف أن Datalog لكونها النظام الحسابي الأكثر قوة لتقييم التعبيرات المنطقية. القواعد الفعلية. قواعد نشطة تحديث قاعدة البيانات أو استدعاء الروتين الخارجي كتفاعل على الأحداث. يتبع التنفيذ مخطط عمل الحالة (ECA). يتم وضع تحديثات إلى قاعدة البيانات عبر أوامر Tell / Untell / Retell. يمكن إضافة إجراءات خارجية (E.G. لإرسال نصي لإرسال بريد إلكتروني) تدريجيا إلى قاعدة البيانات باستخدام تعبيرات البرمجة البسيطة القائمة على البرامج. يدعم ConceptBase التعبيرات الوظيفية والحسابية لتعريف الحساب داخل النماذج. يمكن تعريف الوظائف بشكل متكرر تماما مثل البرمجة الوظيفية. على سبيل المثال، يتم تعريف طول أقصر المسار بين العقدتين على أنه الحد الأدنى لأطوال أقصر المسار بين خلفاء عقدة البدء والعقدة النهائية. التعبيرات الوظيفية مفيدة بشكل خاص لتحديد مقاييس معقدة على النماذج. يتم تحديد وظائف التجميع مثل SUM و AVG. متطلبات: جافا 2 بيئة وقت تشغيل الطبعة القياسية
ConceptBase. برامج ذات صلة
