ارائه ي چارچوبي براي اضافه كردن تحمل پذيري خطا به دياگرامهاي فعاليت UML

تكيه ي روز افزون كسبوكارها و عملكردهاي موجود به سيستمهاي نرمافزاري، پيچيده شدن هرچه بيشتر اين سيستمها و گسترش آنها در محيطهايي با خواسته هاي امنيتي بالا، نياز به گسترش سيستمهاي مطمئن و بررسي تكنيكهاي افزاي قابليت اعتماد را برجسته تر كرده است. استفاده از متدهاي فرمال، در ساخت سيستمهاي قابل اطمينان (متدهاي correct- by- construction و بازبيني قابليت اطمينان سيستم هاي موجود )متدهاي correct- by- verification ، به عنوان دو نوع از تكنيكهاي دقيق و قابل اطمينان ملاحظه ميشوند. در مطالعهي حاضر، بر تلفيق دو روش بالا براي دريافت مزيتهاي هر دو، و اصلاح طرح موجود برنامه در مرحلهي طراحي، براي اضافه كردن تحملپذيري خطا تمركز شدهاست. در چارچوب MR4UM كه در سال 2012 معرفي شدهاست، نمودارهاي وضعيت UML عاري از تحملپذيري خطا به عنوان ورودي دريافت شده و نمودارهاي وضعيت UML داراي تحملپذيري خطا به عنوان خروجي مطرح مي شوند. در اين مطالعه، به گسترش اين رويكرد در نمودارهاي فعاليت UML پرداخته ميشود. براي اين منظور، اين نمودارها و خطاهاي تعيين شده توسط كاربر، به عنوان ورودي به چارچوب داده شده، اين نمودارها به مدل فرمال Event- B تبديل شده، و سپس تحملپذيري خطا به اين مدل محاسباتيزيربنايي افزوده مي شود.