ارائه ی چارچوبی برای اضافه کردن تحمل پذیری خطا به دیاگرامهای فعالیت UML
Publish place: 2nd International Conference on Management, Entrepreneurship and Economic Development
Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 568
This Paper With 14 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
EME02_1780
تاریخ نمایه سازی: 14 شهریور 1393
Abstract:
تکیه ی روز افزون کسبوکارها و عملکردهای موجود به سیستمهای نرمافزاری، پیچیده شدن هرچه بیشتر این سیستمها و گسترش آنها در محیطهایی با خواسته های امنیتی بالا، نیاز به گسترش سیستمهای مطمئن و بررسی تکنیکهای افزای قابلیت اعتماد را برجسته تر کرده است. استفاده از متدهای فرمال، در ساخت سیستمهای قابل اطمینان (متدهای correct- by- construction و بازبینی قابلیت اطمینان سیستم های موجود )متدهای correct- by- verification ، به عنوان دو نوع از تکنیکهای دقیق و قابل اطمینان ملاحظه میشوند. در مطالعهی حاضر، بر تلفیق دو روش بالا برای دریافت مزیتهای هر دو، و اصلاح طرح موجود برنامه در مرحلهی طراحی، برای اضافه کردن تحملپذیری خطا تمرکز شدهاست. در چارچوب MR4UM که در سال 2012 معرفی شدهاست، نمودارهای وضعیت UML عاری از تحملپذیری خطا به عنوان ورودی دریافت شده و نمودارهای وضعیت UML دارای تحملپذیری خطا به عنوان خروجی مطرح می شوند. در این مطالعه، به گسترش این رویکرد در نمودارهای فعالیت UML پرداخته میشود. برای این منظور، این نمودارها و خطاهای تعیین شده توسط کاربر، به عنوان ورودی به چارچوب داده شده، این نمودارها به مدل فرمال Event- B تبدیل شده، و سپس تحملپذیری خطا به این مدل محاسباتیزیربنایی افزوده می شود.
Keywords:
Authors
زهرا خبازیان
دانشجوی کارشناسی ارشد مهندسی فناوری اطلاعات، گروه مهندسی کامپیوتر و فناوری اطلاعات، مثسسه ی آموزش عالی صنعتی فولاد، فولادشهر، اصفهان
محمد داورپناه جزی
عضو هیئت علمی، گروه مهندسی کامپیوتر و فناوری اطلاعات، موسسه آموزش عالی صنعتی فولاد، فولاد شهر، اصفهان