SlideShare a Scribd company logo
1 of 30
Download to read offline
‫به نام خدا‬

‫احمد سرکان و همکاران‬
‫2102 ‪June‬‬
‫ارائه دهنده: محمد مهدی محمدی‬
‫مقدمه‬
‫‪ ‬پیچیدگی ویژگی های مدل ها در محصوالت واقعی‬
‫‪ ‬هدف مقاله‬
‫‪EFM To CLP(FD) ‬‬

‫‪ ‬نمایش نتایج‬
‫یک مثال برای دید بهتر‬
‫معرفی‬
(Software Product Line) ‫ نرم افزار خط تولید‬
‫رشد مهندسی در خطوط تولید‬
‫سود گسترش نرم افزار ها‬
‫چالش ها‬
‫نیازها‬






‫ مروری بر مقاالت قبلی‬
 D. Benavides, Automated analysis of feature models 20 years

later: a literature review (2010)
 A.S. Karataş, Mapping extended feature models to constraint
logic programming over finite domains 2010

CLP and CLP(FD) 
‫ فرضیات‬
‫پس زمینه‬
‫‪ ‬ویژگی های مدل‬
‫‪ ‬ویژگی‬
‫‪ ‬ویژگی مدل‬
‫○‬
‫○‬
‫○‬
‫○‬

‫مجموعه سلسله مراتبی از ویژگی ها‬
‫روابط تعریف قواعد در ویژگی ها‬
‫روابط تعریف محدودیت های درخت متقابل‬
‫اطالعات اضافی(مسائل و تصمیمات)‬

‫‪ ‬روش های نمایش‬
‫○ دیاگرام‬
‫○ درخت‬
‫○ گراف‬
‫پس زمینه‬
‫‪ ‬ویژگی های مدل (ادامه)‬
‫‪ ‬انواع رابطه‬
‫○ روابط تجزیه‬

‫○ روابط درخت متقابل‬
‫پس زمینه‬
‫‪ ‬ویژگی های مدل (ادامه)‬
‫‪ ‬کاردینالیتی‬

‫‪ ‬صفات‬
‫پس زمینه‬
‫‪‬‬

‫برنامهههه نویسهههی مندقهههی محهههدودیت بههها دامنهههه ههههای‬
‫محدود)‪CLP(FD‬‬
‫سینتکس(دستور زبان برای روابط درخت متقابل)‬
‫‪‬‬

‫ایجاد روابط بین‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬

‫ویژگی پیچیده با ویژگی‬
‫ویژگی با صفت‬
‫صفت با صفت‬
‫صفت با صفت روابط‬
‫سینتکس(دستور زبان برای روابط درخت متقابل)‬
‫‪ ‬تعاریف‬
‫‪ ‬عملگر رابطه ای)‪(relop‬‬
‫○ <>≤≥≠=‬

‫‪ ‬سازگاری‬
‫‪ ‬شرط‬
‫‪ ‬مستثنا(عدم نیاز)‬
‫○ ‪P excludes Q‬‬
‫○ ‪P & Q‬هر دو ویژگی هستند‬

‫‪ ‬نیازمند‬
‫○ ‪P requires Q‬‬
‫○ ‪ P‬ویژگی است‬
‫○ ‪ Q‬یک‬
‫ ویژگی‬‫ شرط‬‫- ترکیبات ساخته شده از ویژگی ها و یا شرط ها‬
)‫سینتکس(دستور زبان برای روابط درخت متقابل‬
‫تعاریف‬
‫ مثل: نیازمند و عدم نیاز‬
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 :‫○ مثال‬


‫گرامر مستقل از متن برای روابط‬
‫‪ ‬فرمول بندی روابط موجود در مدل‬
‫مپ کردن‬
‫‪ ‬صفت ها و متغییر ها‬
‫‪ ‬دامنه ها و محدودیت ها‬
‫‪ ‬روابط و قیود‬
‫مپ کردن‬
‫‪‬‬

‫مراحل‬

‫‪ ‬مپ کردن روابط تجزیه‬
‫○‬
‫○‬
‫○‬
‫○‬

‫ارتباط اجباری‬
‫ارتباط اختیاری‬
‫ارتباط یا منطقی‬
‫روابط جایگزین‬

‫‪ ‬مپ کردن روابط تجزیه کاردینالیتی‬
‫○ گروه کاردینالیتی‬
‫○ ویژگی کاردینالیتی‬

‫‪ ‬مپ کردن روابط درخت متقابل‬
‫○‬
‫○‬
‫○‬
‫○‬
‫○‬
‫○‬

‫دامنه های صفات‬
‫شرط ها‬
‫روابط نیازمند‬
‫روابط عدم نیاز(مستثنا)‬
‫محدودیت پیچیده‬
‫نگهبان محدودیت‬
‫مثال مپ کردن‬
‫مثال مپ کردن‬
‫‪‬‬

‫فرض های موجود در درخت متقابل‬
‫‪‬‬
‫‪‬‬

‫≥‬
‫‪‬‬
‫‪‬‬

‫≥‬

‫‪‬‬
‫مثال مپ کردن‬
‫ مپ کردن دامنه صفات ضمنی‬
MobilePhone.selected ∈ {true, false} ∧
Hardware.selected ∈ {true, false} ∧
TaskScheduler.selected ∈ {true, false} ∧
Games.selected ∈ {true, false} ∧
CPU1.selected ∈ {true, false} ∧
CPU2.selected ∈ {true, false} ∧
. . .∧
Tetris.selected ∈ {true, false}
‫مثال مپ کردن‬
‫ مپ کردن دامنه دیگر صفات‬
ThreeGConn.speed ∈ {2, . . . , 14} ∧
Screen.resolution ∈ {1, . . . , 4} ∧
RAM.size ∈ {1, . . . , 2048} ∧
VideoCall.mpc ∈ {2, . . . , 8} ∧
CPU1.speed ∈ {800, . . . , 2400} ∧
CPU2.speed ∈ {800, . . . , 2400}
‫مثال مپ کردن‬
‫ مپ کردن روابط تجزیه: روابط اجباری‬
(MobilePhone.selected⇔Hardware.selected) ∧
(Hardware.selected⇔Screen.selected) ∧
(Hardware.selected⇔Processors.selected) ∧
(Hardware.selected⇔RAM.selected)
‫مثال مپ کردن‬
‫ مپ کردن روابط تجزیه: روابط اختیاری‬
(VideoCall.selected⇒MobilePhone.selected) ∧
(Games.selected⇒MobilePhone.selected) ∧
...∧
(GPU.selected⇒Processors.selected)
‫مثال مپ کردن‬
OR ‫ مپ کردن روابط تجزیه: روابط‬
(Chess.selected ∨ ThreeDCRace.selected ∨
Tetris.selected)⇔Games.selected
‫مثال مپ کردن‬
‫ مپ کردن روابط تجزیه: روابط کاردینالیتی‬
(Processors.selected⇔CPU1.selected) ∧
(CPU2.selected⇒Processors.selected)
‫مثال مپ کردن‬
‫ مپ کردن روابط تجزیه: روابط درخت متقابل‬


C1:

(CPU1.selected ∧ CPU2.selected)
⇒TaskScheduler.selected
 C2:
(VideoCall.mpc ≥ 4 ∧ VideoCall.selected)⇒
(VideoCall.selected⇒Screen.resolution ≥ 3 ∧
Screen.selected ∧
ThreeGConn.speed ≥ 6 ∧ ThreeGConn.selected)
‫مثال مپ کردن‬
‫مپ کردن روابط تجزیه: روابط درخت متقابل‬
C3:
ThreeDCRace.selected⇒
(GPU.selected ∧ RAM.size ≥ 512 ∧ RAM.selected) ∨
(RAM.size ≥ 1024 ∧ RAM.selected)
 C4:
(Screen.resolution < 3 ∧ Screen.selected)⇒
¬(Screen.selected ∧ GPS.selected)
 C5:
TaskScheduler.selected⇒
(CPU1.speed ≥ CPU2.speed ∧ CPU1.selected ∧
CPU2.selected)



‫مثال مپ کردن‬
‫در نهایت فرمول نهایی با ترکیب مپ های بدست آمده تولید شده و بدست می‬
‫آید.‬
‫تجزیه و تحلیل مدل نمونه‬
‫‪‬‬

‫مشخصات مدل‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬

‫001 ویژگی‬
‫902 صفت‬
‫86 روابط تجزیه‬
‫521 روابط درخت متقابل‬
‫تجزیه و تحلیل مدل نمونه‬
‫‪‬‬

‫آزمون ها‬
‫‪‬‬
‫‪‬‬
‫‪‬‬

‫‪‬‬
‫‪‬‬
‫‪‬‬

‫ویژگی خالی مدل: آیا مدل محصولی دارد؟‬
‫محصول معتبر: آیا محصول متعلق به محصوالت ارائه شده توسط ویژگی مدل است؟‬
‫تندیمات جزئی معتبر : آیا تندیمات جزئی معتبر است با توجه به مدل ویژگی(یعنی‬
‫هیچ تناقضی را شامل نمی شود ) ؟‬
‫همه محصوالت : محاسبه تمام محصوالت ارائه شده توسط ویژگی های مدل‬
‫تعداد محصوالت : محاسبه تعداد محصوالت ارائه شده توسط ویژگی های مدل‬
‫بهینه سازی : محاسبه تحقق دستیابی به تابع هدف در محصوالت ارائه شده است.‬
‫تجزیه و تحلیل مدل نمونه‬
‫‪‬‬

‫نتایج‬
‫تحقیقات آینده‬
‫‪‬‬

‫‪‬‬
‫‪‬‬

‫تجزیه و تحلیل مبتنی بر منطق گزاره‬
‫تجزیه و تحلیل مبتنی بر منطق مفصل‬
‫تجزیه و تحلیل مبتنی بر برنامه نویسی محدودیت‬
‫بحث ها و چالش ها‬
‫‪‬‬

‫‪‬‬
‫‪‬‬
‫‪‬‬

‫ارائه یک مپ برای تبدیل ویژگی های گسترش یافته مدل ها به برنامه‬
‫نویسی منطقی محدودیت‬
‫همچنین به طور کامل بر روی ویژگی مدل پایه و مبتنی بر کاردینالیتی در‬
‫طرح پیشنهادی بحث شد‬
‫ایجاد یک گرامر مستقل از متن برای ایجاد روابطی که در مپ کردن اجازه‬
‫نمایش دارند‬
‫تنها محدودیت روش آن است که دامنه صفات مورد نیاز باید محدود و ثابت‬
‫باشد‬

More Related Content

Viewers also liked

Curiosites de la_nature_1
Curiosites de la_nature_1Curiosites de la_nature_1
Curiosites de la_nature_1Renée Bukay
 
Typical conventions of a pop magazine
Typical conventions of a pop magazineTypical conventions of a pop magazine
Typical conventions of a pop magazinedaniellewatkins1
 
The Power of Direct Mail
The Power of Direct MailThe Power of Direct Mail
The Power of Direct MailTable19
 
Aerovon Slideshow Presentation
Aerovon Slideshow PresentationAerovon Slideshow Presentation
Aerovon Slideshow PresentationPayton Lowe
 
презентація
презентаціяпрезентація
презентаціяaf1311
 
Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...
Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...
Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...Verina Ingram
 
A magyar nyelvjárások
A magyar nyelvjárásokA magyar nyelvjárások
A magyar nyelvjárásokKinga Báthory
 
Ireland dublin my student experience
Ireland dublin my student experienceIreland dublin my student experience
Ireland dublin my student experiencejennyziqian
 
Alatan penyediaan masak
Alatan penyediaan masakAlatan penyediaan masak
Alatan penyediaan masakashyaa husin
 

Viewers also liked (13)

Finding Journal Articles at LTU Library
Finding Journal Articles at LTU LibraryFinding Journal Articles at LTU Library
Finding Journal Articles at LTU Library
 
Enock Modisheshi POE
Enock Modisheshi POEEnock Modisheshi POE
Enock Modisheshi POE
 
Curiosites de la_nature_1
Curiosites de la_nature_1Curiosites de la_nature_1
Curiosites de la_nature_1
 
Cns infections
Cns infectionsCns infections
Cns infections
 
Typical conventions of a pop magazine
Typical conventions of a pop magazineTypical conventions of a pop magazine
Typical conventions of a pop magazine
 
Finding Newspaper Articles in Factiva
Finding Newspaper Articles in FactivaFinding Newspaper Articles in Factiva
Finding Newspaper Articles in Factiva
 
The Power of Direct Mail
The Power of Direct MailThe Power of Direct Mail
The Power of Direct Mail
 
Aerovon Slideshow Presentation
Aerovon Slideshow PresentationAerovon Slideshow Presentation
Aerovon Slideshow Presentation
 
презентація
презентаціяпрезентація
презентація
 
Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...
Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...
Contribution a la proposition de textes pour PFNL dans la loi forestiere Came...
 
A magyar nyelvjárások
A magyar nyelvjárásokA magyar nyelvjárások
A magyar nyelvjárások
 
Ireland dublin my student experience
Ireland dublin my student experienceIreland dublin my student experience
Ireland dublin my student experience
 
Alatan penyediaan masak
Alatan penyediaan masakAlatan penyediaan masak
Alatan penyediaan masak
 

From extended feature models to constraint logic programming از ویژگی های گسترش یافته مدل ها به برنامه نویسی منطقی محدودیت

  • 1. ‫به نام خدا‬ ‫احمد سرکان و همکاران‬ ‫2102 ‪June‬‬ ‫ارائه دهنده: محمد مهدی محمدی‬
  • 2. ‫مقدمه‬ ‫‪ ‬پیچیدگی ویژگی های مدل ها در محصوالت واقعی‬ ‫‪ ‬هدف مقاله‬ ‫‪EFM To CLP(FD) ‬‬ ‫‪ ‬نمایش نتایج‬
  • 3. ‫یک مثال برای دید بهتر‬
  • 4. ‫معرفی‬ (Software Product Line) ‫ نرم افزار خط تولید‬ ‫رشد مهندسی در خطوط تولید‬ ‫سود گسترش نرم افزار ها‬ ‫چالش ها‬ ‫نیازها‬     ‫ مروری بر مقاالت قبلی‬  D. Benavides, Automated analysis of feature models 20 years later: a literature review (2010)  A.S. Karataş, Mapping extended feature models to constraint logic programming over finite domains 2010 CLP and CLP(FD)  ‫ فرضیات‬
  • 5. ‫پس زمینه‬ ‫‪ ‬ویژگی های مدل‬ ‫‪ ‬ویژگی‬ ‫‪ ‬ویژگی مدل‬ ‫○‬ ‫○‬ ‫○‬ ‫○‬ ‫مجموعه سلسله مراتبی از ویژگی ها‬ ‫روابط تعریف قواعد در ویژگی ها‬ ‫روابط تعریف محدودیت های درخت متقابل‬ ‫اطالعات اضافی(مسائل و تصمیمات)‬ ‫‪ ‬روش های نمایش‬ ‫○ دیاگرام‬ ‫○ درخت‬ ‫○ گراف‬
  • 6. ‫پس زمینه‬ ‫‪ ‬ویژگی های مدل (ادامه)‬ ‫‪ ‬انواع رابطه‬ ‫○ روابط تجزیه‬ ‫○ روابط درخت متقابل‬
  • 7. ‫پس زمینه‬ ‫‪ ‬ویژگی های مدل (ادامه)‬ ‫‪ ‬کاردینالیتی‬ ‫‪ ‬صفات‬
  • 8. ‫پس زمینه‬ ‫‪‬‬ ‫برنامهههه نویسهههی مندقهههی محهههدودیت بههها دامنهههه ههههای‬ ‫محدود)‪CLP(FD‬‬
  • 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. ‫مپ کردن‬ ‫‪ ‬صفت ها و متغییر ها‬ ‫‪ ‬دامنه ها و محدودیت ها‬ ‫‪ ‬روابط و قیود‬
  • 14. ‫مپ کردن‬ ‫‪‬‬ ‫مراحل‬ ‫‪ ‬مپ کردن روابط تجزیه‬ ‫○‬ ‫○‬ ‫○‬ ‫○‬ ‫ارتباط اجباری‬ ‫ارتباط اختیاری‬ ‫ارتباط یا منطقی‬ ‫روابط جایگزین‬ ‫‪ ‬مپ کردن روابط تجزیه کاردینالیتی‬ ‫○ گروه کاردینالیتی‬ ‫○ ویژگی کاردینالیتی‬ ‫‪ ‬مپ کردن روابط درخت متقابل‬ ‫○‬ ‫○‬ ‫○‬ ‫○‬ ‫○‬ ‫○‬ ‫دامنه های صفات‬ ‫شرط ها‬ ‫روابط نیازمند‬ ‫روابط عدم نیاز(مستثنا)‬ ‫محدودیت پیچیده‬ ‫نگهبان محدودیت‬
  • 16. ‫مثال مپ کردن‬ ‫‪‬‬ ‫فرض های موجود در درخت متقابل‬ ‫‪‬‬ ‫‪‬‬ ‫≥‬ ‫‪‬‬ ‫‪‬‬ ‫≥‬ ‫‪‬‬
  • 17. ‫مثال مپ کردن‬ ‫ مپ کردن دامنه صفات ضمنی‬ MobilePhone.selected ∈ {true, false} ∧ Hardware.selected ∈ {true, false} ∧ TaskScheduler.selected ∈ {true, false} ∧ Games.selected ∈ {true, false} ∧ CPU1.selected ∈ {true, false} ∧ CPU2.selected ∈ {true, false} ∧ . . .∧ Tetris.selected ∈ {true, false}
  • 18. ‫مثال مپ کردن‬ ‫ مپ کردن دامنه دیگر صفات‬ ThreeGConn.speed ∈ {2, . . . , 14} ∧ Screen.resolution ∈ {1, . . . , 4} ∧ RAM.size ∈ {1, . . . , 2048} ∧ VideoCall.mpc ∈ {2, . . . , 8} ∧ CPU1.speed ∈ {800, . . . , 2400} ∧ CPU2.speed ∈ {800, . . . , 2400}
  • 19. ‫مثال مپ کردن‬ ‫ مپ کردن روابط تجزیه: روابط اجباری‬ (MobilePhone.selected⇔Hardware.selected) ∧ (Hardware.selected⇔Screen.selected) ∧ (Hardware.selected⇔Processors.selected) ∧ (Hardware.selected⇔RAM.selected)
  • 20. ‫مثال مپ کردن‬ ‫ مپ کردن روابط تجزیه: روابط اختیاری‬ (VideoCall.selected⇒MobilePhone.selected) ∧ (Games.selected⇒MobilePhone.selected) ∧ ...∧ (GPU.selected⇒Processors.selected)
  • 21. ‫مثال مپ کردن‬ OR ‫ مپ کردن روابط تجزیه: روابط‬ (Chess.selected ∨ ThreeDCRace.selected ∨ Tetris.selected)⇔Games.selected
  • 22. ‫مثال مپ کردن‬ ‫ مپ کردن روابط تجزیه: روابط کاردینالیتی‬ (Processors.selected⇔CPU1.selected) ∧ (CPU2.selected⇒Processors.selected)
  • 23. ‫مثال مپ کردن‬ ‫ مپ کردن روابط تجزیه: روابط درخت متقابل‬  C1: (CPU1.selected ∧ CPU2.selected) ⇒TaskScheduler.selected  C2: (VideoCall.mpc ≥ 4 ∧ VideoCall.selected)⇒ (VideoCall.selected⇒Screen.resolution ≥ 3 ∧ Screen.selected ∧ ThreeGConn.speed ≥ 6 ∧ ThreeGConn.selected)
  • 24. ‫مثال مپ کردن‬ ‫مپ کردن روابط تجزیه: روابط درخت متقابل‬ C3: ThreeDCRace.selected⇒ (GPU.selected ∧ RAM.size ≥ 512 ∧ RAM.selected) ∨ (RAM.size ≥ 1024 ∧ RAM.selected)  C4: (Screen.resolution < 3 ∧ Screen.selected)⇒ ¬(Screen.selected ∧ GPS.selected)  C5: TaskScheduler.selected⇒ (CPU1.speed ≥ CPU2.speed ∧ CPU1.selected ∧ CPU2.selected)  
  • 25. ‫مثال مپ کردن‬ ‫در نهایت فرمول نهایی با ترکیب مپ های بدست آمده تولید شده و بدست می‬ ‫آید.‬
  • 26. ‫تجزیه و تحلیل مدل نمونه‬ ‫‪‬‬ ‫مشخصات مدل‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫001 ویژگی‬ ‫902 صفت‬ ‫86 روابط تجزیه‬ ‫521 روابط درخت متقابل‬
  • 27. ‫تجزیه و تحلیل مدل نمونه‬ ‫‪‬‬ ‫آزمون ها‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫ویژگی خالی مدل: آیا مدل محصولی دارد؟‬ ‫محصول معتبر: آیا محصول متعلق به محصوالت ارائه شده توسط ویژگی مدل است؟‬ ‫تندیمات جزئی معتبر : آیا تندیمات جزئی معتبر است با توجه به مدل ویژگی(یعنی‬ ‫هیچ تناقضی را شامل نمی شود ) ؟‬ ‫همه محصوالت : محاسبه تمام محصوالت ارائه شده توسط ویژگی های مدل‬ ‫تعداد محصوالت : محاسبه تعداد محصوالت ارائه شده توسط ویژگی های مدل‬ ‫بهینه سازی : محاسبه تحقق دستیابی به تابع هدف در محصوالت ارائه شده است.‬
  • 28. ‫تجزیه و تحلیل مدل نمونه‬ ‫‪‬‬ ‫نتایج‬
  • 29. ‫تحقیقات آینده‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫تجزیه و تحلیل مبتنی بر منطق گزاره‬ ‫تجزیه و تحلیل مبتنی بر منطق مفصل‬ ‫تجزیه و تحلیل مبتنی بر برنامه نویسی محدودیت‬
  • 30. ‫بحث ها و چالش ها‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫ارائه یک مپ برای تبدیل ویژگی های گسترش یافته مدل ها به برنامه‬ ‫نویسی منطقی محدودیت‬ ‫همچنین به طور کامل بر روی ویژگی مدل پایه و مبتنی بر کاردینالیتی در‬ ‫طرح پیشنهادی بحث شد‬ ‫ایجاد یک گرامر مستقل از متن برای ایجاد روابطی که در مپ کردن اجازه‬ ‫نمایش دارند‬ ‫تنها محدودیت روش آن است که دامنه صفات مورد نیاز باید محدود و ثابت‬ ‫باشد‬