STAPSTBASE Installer. מערכת מסד נתונים דדוקטיבית ומוכוונת לאובייקטיים של Meta-modeling והנדסת שיטה
הורד עכשיו

STAPSTBASE Installer. דירוג וסיכום

STAPSTBASE Installer. תגים

התפתחות מַדָעִי דוּגמָנוּת מערכת מסד נתונים מודלים מדעיים שרת DB.

STAPSTBASE Installer. תיאור

מערכת מסד נתונים דדוקטיבית ומוכוונת לאובייקטיים של Meta-meta-modeling והנדסת שיטה ContintBase כולל מערכת עם לקוח גרפי בונה כי בונה על התכונות המבוססות לוגיות של שרת מושג. מודל הנתונים הוא Otelos.Here הם כמה עיקרי חיתוך אחרים של מושג: היררכיות metaclass ללא הגבלה. ContontBase יכול לייצג מידע ברמת הנתונים (נתוני דוגמה, עקבות של הודעות התהליכים וכו '), רמת הכיתה (סכימות, הגדרות תהליך וכו'), רמת המטרקלאס (מבנים של שפות דוגמנות), רמת Meta-Metaclass (בונה עבור הגדרת שפות דוגמנות), וכן הלאה. אובייקטים, התכונות שלהם, התמחויות, והביצועים מיוצגים כולם כעובדות P. לפי זה, לדוגמה, תכונות של אובייקטים יכולים לקבל תכונות והם מקרים של תכונות אחרות. אפילו התמחות בין תכונות נתמכות באופן מלא. ביטויים בלוגיים: כללים, אילוצים ושאילתות מתבטאות בנוסחאות ההיגיון של ההזמנה הראשונה. באופן פנימי, המערכת הופכת אותם לסעיפי קרן המתפרשות על ידי מכונת הערכה מבוססת Datalog: ביטויים לוגיים ב- Contonsbase יכולים לנוע בכל אובייקט ללא קשר לסוג שלה (הצומת לעומת הקישור) ורמת ההפשטה שלה. DATALOG ידועה להיות מערכת החישובית החזקה ביותר להערכת ביטויים לוגיים. כללים. כללים פעילים מעדכנים את מסד הנתונים או התקשר לשגרה חיצונית כתגובה לאירועים. ההוצאה להלן עוקב אחר תוכנית האירוע (ECA). עדכונים למסד הנתונים מנוסחים באמצעות פקודות לספר / untell / retell. שגרות חיצוניות (למשל עבור הפעלת סקריפט לשליחת דוא"ל) יכול להיות הוסיף באופן מצטבר למסד הנתונים באמצעות ממשק תכנות פשוט מבוסס prologs.Functional ביטויים: קונספטבז תומך ביטויים פונקציונליים ואריתמטי להגדרת חישוב בתוך דגמים. פונקציות יכול להיות מוגדר recurrively הרבה כמו בתכנות פונקציונלי. לדוגמה, אורך הנתיב הקצר בין שני צמתים מוגדר כמינימום של אורכי הנתיב הקצר ביותר בין יורשו של הצומת להתחיל ואת הצומת הסוף. ביטויים פונקציונליים הם שימושיים במיוחד להגדרת מדדים מורכבים על דגמים. פונקציות צבירה כגון סכום ממוצע מוגדרים מראש. הנה כמה תכונות עיקריות של "Installbase Installer": · תומך במשתמשים מרובים ומסבחים משותפים (מודולים) · כולל מנוע עבור datalog עם שלילה · כולל רכיב פעיל (ECA) מבוסס על שפת ייצוג הידע של Telos · תומך metamodeling עם מספר בלתי מוגבל של רמות הפשטה · מספק מומחה / סיווג, התמחות וייחוס · מאפשר להגדיר את הסמנטיקה של סוגי קישורים חדשים כגון Partof · מאפשר לתפעל מודלים מושגיים גדולים (> 1.000.000 מושגים) · יש ממשק משתמש גרפי מיושם ב- Java דרישות: · ג 'אווה · C + + · פרולוג

STAPSTBASE Installer. תוכנה קשורה