مفهوم سستم ااه داده برا مهندس متامودل و مهندس
انون بارر ن

مفهوم رتبه بند و خلاصه

مفهوم برسب ها

سستم ااه داده روش مهندس مدل ساز متا مهندس روش متامدل

مفهوم شرح

سستم ااه داده برا مهندس متامودل و روش ConceptBase سستم ااه داده ندرسانه ا ند اربر با مدل داده متمرز بر هدف است. توانا آن برا نشان دادن اطلاعات در هر سطح انتزاع (داده ها، لاس، متا Metaclass، Metaclass، و غره) ابزار قدرتمند برا متامودل و مهندس زبان ها مدل ساز سفارش م سازد. ان سستم با رابط اربر راف بسار قابل تنظم همراه است ه بر اساس و ها مبتن بر منطق سرور مفهوم سرور، سلسله مراتب Metaclass نامده م شود. ConceptBase م تواند اطلاعات را در سطح داده ها (به عنوان مثال داده ها، رداب اعدام ها فرآند و غره)، سطح لاس (طرح، تعارف فرآند و غره)، سطح MetaClass (ساختارها زبان ها مدل ساز)، سطح متا Metaclass (ساختارها برا تعرف زبان ها مدل ساز)، و به همن ترتب نماند Object. تمام اشاء در ساختار داده هارانه اره به نام P-Facts شام شده توسط توسعه دهندان زبان Telos نشان داده شده است. اشاء، و ها آنها، تخصص ها و انتشار آن ها به عنوان حقاق P نشان داده شده است. به عنوان مثال، به عنوان مثال، صفات اشاء م توانند و ها داشته باشند و نمونه ها از و ها در باشند. حت تخصص بن و ها به طور امل شتبان م شود. عبارات غلط. قوانن، محدودت ها و رس و جو ها در فرمول ها منطق مرتبه اول بان م شود. در داخل، سستم آنها را به مقررات شاخ تبدل م ند ه توسط ماشن ارزاب مبتن بر DataLog تفسر م شود. عبارات منطق در ConceptBase م تواند بر رو هر جسم بدون توجه به نوع آن (ره در مقابل لن) و سطح انتزاع آن، محدوده باشد. Datalog شناخته شده است به عنوان قو ترن سستم محاسبات برا ارزاب عبارات منطق قوانن. قوانن فعال به روز رسان ااه داده ا تماس ها خارج به عنوان وانش به رودادها. اعدام به دنبال طرح روداد روداد (ECA) است. به روز رسان ها ااه داده از طرق دستورات Tell / Untell / Retell فرموله شده است. روال ها خارج (به عنوان مثال برا فراخوان اسرت برا ارسال امل) م تواند به طور افزاش به ااه داده اضافه شود با استفاده از رابط برنامه نوس مبتن بر PROLOGE -FACTIONAL. ConceptBase از عبارات عملرد و راض شتبان م ند تا محاسبات را در مدل ها تعرف ند. توابع م توانند به طور بازشت بسار شبه به برنامه نوس اربرد باشند. به عنوان مثال، طول وتاهترن مسر بن دو ره به عنوان حداقل طول وتاهترن مسر بن جانشنان ره شروع و ره اان تعرف م شود. عبارات عملرد برا تعرف معارها ده در مدل ها مفد هستند. توابع تجمع مانند مجموع و AVG از ش تعرف شده است. الزامات: جاوا 2 نسخه استاندارد نسخه زمان اجرا

مفهوم نرم افزارها مرتبط