ناشر تخصصی کنفرانس های ایران

لطفا کمی صبر نمایید

Publisher of Iranian Journals and Conference Proceedings

Please waite ..
CIVILICAWe Respect the Science
ناشر تخصصی کنفرانسهای ایران
عنوان
مقاله

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

سال انتشار: 1392
کد COI مقاله: EME02_1780
زبان مقاله: فارسیمشاهد این مقاله: 335
فایل این مقاله در 14 صفحه با فرمت PDF قابل دریافت می باشد

خرید و دانلود فایل مقاله

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این مقاله را که دارای 14 صفحه است به صورت فایل PDF در اختیار داشته باشید.
آدرس ایمیل خود را در کادر زیر وارد نمایید:

مشخصات نویسندگان مقاله ارائه ی چارچوبی برای اضافه کردن تحمل پذیری خطا به دیاگرامهای فعالیت UML

زهرا خبازیان - دانشجوی کارشناسی ارشد مهندسی فناوری اطلاعات، گروه مهندسی کامپیوتر و فناوری اطلاعات، مثسسه ی آموزش عالی صنعتی فولاد، فولادشهر، اصفهان
محمد داورپناه جزی - عضو هیئت علمی، گروه مهندسی کامپیوتر و فناوری اطلاعات، موسسه آموزش عالی صنعتی فولاد، فولاد شهر، اصفهان

چکیده مقاله:

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

کلیدواژه ها:

اضافه کردن تحمل پذیری خطا، اصلاح مدل، نمودارهای فعالیت UMLz

کد مقاله/لینک ثابت به این مقاله

برای لینک دهی به این مقاله می توانید از لینک زیر استفاده نمایید. این لینک همیشه ثابت است و به عنوان سند ثبت مقاله در مرجع سیویلیکا مورد استفاده قرار میگیرد:

https://civilica.com/doc/286871/

نحوه استناد به مقاله:

در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:
خبازیان، زهرا و داورپناه جزی، محمد،1392،ارائه ی چارچوبی برای اضافه کردن تحمل پذیری خطا به دیاگرامهای فعالیت UML،دومین کنفرانس بین المللی مدیریت، کارآفرینی و توسعه اقتصادی،قم،،،https://civilica.com/doc/286871

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این مقاله اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (1392، خبازیان، زهرا؛ محمد داورپناه جزی)
برای بار دوم به بعد: (1392، خبازیان؛ داورپناه جزی)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

مدیریت اطلاعات پژوهشی

صدور گواهی نمایه سازی | گزارش اشکال مقاله | من نویسنده این مقاله هستم

اطلاعات استنادی این مقاله را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

علم سنجی و رتبه بندی مقاله

مشخصات مرکز تولید کننده این مقاله به صورت زیر است:
نوع مرکز: موسسه غیرانتفاعی
تعداد مقالات: 165
در بخش علم سنجی پایگاه سیویلیکا می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را بر اساس آمار مقالات نمایه شده مشاهده نمایید.

مقالات مرتبط جدید

به اشتراک گذاری این صفحه

اطلاعات بیشتر درباره COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.

پشتیبانی