موضوع فارسی :مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا
معماری گرا
موضوع انگلیسی :Style-based modeling and verification of fault tolerance service
oriented architectures
تعداد صفحه :5
فرمت فایل :PDF
سال انتشار :2011
زبان مقاله : انگلیسی
سرویس گرا معماری (SOA) معماری انعطاف پذیر، سست و پویا برای توسعه های مختلف توزیع شده است
سیستم های. از آنجا که با استفاده از این معماری است هر روز افزایش در طراحی سیستم های نرم افزاری، ایجاد اعتماد در خدمات
این معماری یکی از چالش های اصلی است. با توجه به سطوح مختلف از QoS شامل جنبه های غیر عملکردی مانند
ایمنی امنیتی؛ دسترسی، و غیره برای سیستم قابل اعتماد است. یکی از این جنبه غیر کاربردی تحمل خطا است.
در این مقاله، به منظور داشتن یک سیستم تحمل خطا، ابتدا SOA سبک هسته ای با استفاده از پارامترهای مورد نیاز تمدید شده است.
سپس، ارتباطات و پیکر بندی دوباره مکانیزم های مختلف از تحمل خطا توسط تحول نمودار توسعه یافته اند
قوانین. در نهایت، مدل ارائه شده با استفاده از تکنیک چک کردن مدل های موجود برای سیستم انتقال نمودار تأیید شده است.
