موضوع فارسی :رسمی از یک مدل معماری برای پردازش استثنا
هماهنگی در مفاهیم عمل CA بر اساس
موضوع انگلیسی : Formalization of an architectural model for exception handling
coordination based on CA action concepts
تعداد صفحه :17
فرمت فایل :PDF
سال انتشار :2010
زبان مقاله : انگلیسی
معماری بر اساس عمل اتمی هماهنگ (عمل CA) مفاهیم استفاده شده است
برای ساخت سیستم های تحمل پذیر خطا همزمان. این مدل مفهومی ترکیبی همزمان
پردازش استثنا با تودرتو اقدام به ارائه یک مکانیزم کلی برای هر دو
متصل به تعامل میان اجزای سیستم و هماهنگی جلو بازیابی خطا
معیارهای. این مقاله یک مدل معماری برای هدایت مشخصات رسمی
سیستم های تحمل پذیر خطا همزمان. این معماری ساخته شده است در فراهم می کند ارتباط
فرایندهای متوالی (CSP) و کانال های از پیش تعریف شده برای هماهنگ پردازش استثنا از
اجزای تعریف شده توسط کاربر. از این رو برخی از خواص ایمنی مربوط به حوزه عمل
و پردازش استثنا همزمان می توان با استفاده از FDR (واگرایی شکست ثابت
پالایش) ابزار تأیید. در نتیجه، یک معماری رسمی و عمومی حمایت
تحمل نرم افزار گسل آماده استفاده شود و ثابت به عنوان کاربران قطعات با تعریف است
رفتارهای طبیعی و استثنایی
