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