محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران
جزئیات رویداد
همایش ، رویداد ، ژورنال
اینستاگرام تی پی بین
حوزه های تحت پوشش رویداد

  • ارائه روشی برای تبدیل مدل های uml-b به توصیف های object-z

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 1151
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    تبدیل بین نمادگذاری های صوری و بصری به فرآیند توسعه نرم افزار کمک می کند؛ به این ترتیب که از مدل سازی بصری در اوایل مرحله مدل سازی مفهومی (جهت درک ساده تر نیازمندی ها توسط ذی نفعان مختلف) و از روش های صوری در مراحل بعدی، که نیازمندی ها بهتر درک شدند (جهت طراحی و ساخت نرم افزار براساس توصیف صوری غیر مبهم و سازگار)، استفاده می شود. قوانین تبدیل بین مدل ها در رویکردهای موجود اغلب به صورت غیردقیق بوده که این موجب ابهام در انتقال ها می شود. همچنین در کارهای موجود، از زبان های مدلسازی بصری ولی کاملا غیرصوری به عنوان زبان مبدا استفاده شده است. این موضوع موجب تاخیر در درستی یابی صوری تا زمان تبدیل مدل ها به یک زبان صوری می شود. با توجه به مشکلات بالا، هدف این مقاله، تکمیل کار قبلی نویسندگان مقاله جهت ارائه روشی در سطح متامدل صوری به منظور تبدیل مدل های uml-b، به عنوان یک نمادگذاری بصری و نیمه صوری شی گرا، به ساختارهای object-z، به عنوان یک زبان صوری غیر بصری است. استفاده از uml-b به جای سایر زبان های کاملا بصری و غیرصوری، زمینه درستی یابی بخشی از مدل های بصری را در اوایل مرحله مدلسازی مفهومی فراهم می سازد. با استفاده از یک مطالعه موردی، کاربردپذیری روش ارائه شده نشان داده می شود.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها