از ویژگی های گسترش یافته مدل ها به برنامه نویسی منطقی محدودیت
از این رو هدف این مقاله معرفی یک روش مپ کردن(Mapping) برای تبدیل ویژگی های گسترش یافته مدل ها شامل درخت روابط متقابل به برنامه نویسی منطقی محدودیت بر روی دامنه محدود می باشد.
Constraint Logic Programming
برنامه نویسی منطقی محدودیت یعنی برنامه نویسی منطقی با اعمال محدودیت در مساله که ما را قادر می سازد به طور طبیعی بتوانیم مدل هایی دارای روابط را اجرا و تجزیه و تحلیل کنیم.
9. سینتکس(دستور زبان برای روابط درخت متقابل)
ایجاد روابط بین
ویژگی پیچیده با ویژگی
ویژگی با صفت
صفت با صفت
صفت با صفت روابط
10. سینتکس(دستور زبان برای روابط درخت متقابل)
تعاریف
عملگر رابطه ای)(relop
○ <>≤≥≠=
سازگاری
شرط
مستثنا(عدم نیاز)
○ P excludes Q
○ P & Qهر دو ویژگی هستند
نیازمند
○ P requires Q
○ Pویژگی است
○ Qیک
ویژگی شرط- ترکیبات ساخته شده از ویژگی ها و یا شرط ها
11. )سینتکس(دستور زبان برای روابط درخت متقابل
تعاریف
مثل: نیازمند و عدم نیاز
X excludes Y
X requires Z
F requires (X.a > 10)
F requires (X & not Y & (Z.a < X.a Or Z.a > 100))
○
○
○
○
محدودیت پیچیده
(X excludes Y)Or(X excludes Z) :○ مثال
نگهبان محدودیت
ویژگی ضمنی
X.selected = True , Y.selected = False :○ مثال
12. گرامر مستقل از متن برای روابط
فرمول بندی روابط موجود در مدل
13. مپ کردن
صفت ها و متغییر ها
دامنه ها و محدودیت ها
روابط و قیود
27. تجزیه و تحلیل مدل نمونه
آزمون ها
ویژگی خالی مدل: آیا مدل محصولی دارد؟
محصول معتبر: آیا محصول متعلق به محصوالت ارائه شده توسط ویژگی مدل است؟
تندیمات جزئی معتبر : آیا تندیمات جزئی معتبر است با توجه به مدل ویژگی(یعنی
هیچ تناقضی را شامل نمی شود ) ؟
همه محصوالت : محاسبه تمام محصوالت ارائه شده توسط ویژگی های مدل
تعداد محصوالت : محاسبه تعداد محصوالت ارائه شده توسط ویژگی های مدل
بهینه سازی : محاسبه تحقق دستیابی به تابع هدف در محصوالت ارائه شده است.
30. بحث ها و چالش ها
ارائه یک مپ برای تبدیل ویژگی های گسترش یافته مدل ها به برنامه
نویسی منطقی محدودیت
همچنین به طور کامل بر روی ویژگی مدل پایه و مبتنی بر کاردینالیتی در
طرح پیشنهادی بحث شد
ایجاد یک گرامر مستقل از متن برای ایجاد روابطی که در مپ کردن اجازه
نمایش دارند
تنها محدودیت روش آن است که دامنه صفات مورد نیاز باید محدود و ثابت
باشد