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