آشنایی با ابزار USE - قسمت سوم (معرفی پلاگین USE Model Validator)

این پلاگین امکان تعیین قابلیت ارضای فضای حالتی از سیستم را بر اساس پیکربندی تعیین شده فراهم می نماید. می توان از آن به عنوان حل کننده قید بهره برد. این رویکرد مبتنی بر ترجمه مفاهیم UML و OCL به منطق رابطه ای Kodkod و درک آن به وسیله SAT Solver است. پلاگین Model Validator روی ابزار USE نصب می شود. کاربر درگیر مفاهیم منطق Kodkod نمی شود اما نمودار کلاس و قیود OCL را به فرمت USE ایجاد می نماید. در نهایت ابزار ارضا شدن قیود را تعیین می کند و درصورتی که قید ارضا شود نمونه ای از مدل ایجاد می گردد.

• #تحصیلات_و_یادگیری
• #مهندسی_مدل_رانده
• #وارسی_مدل
• #use