بررسی تحمل پذیری خطا در معماری سرویس گرا با استفاده از سیستم های انتقال گراف

امروزه یکی از معماری ها که به دلیل ویژگی های خاص خود به صورت گسترده مورد استفاده قرار می گیرد معماری سرویس گرا می باشد . از ویژگیهای این معماری می توان به مواردی مانند اتصال ضعیف ، انعطاف پذیری و چابکی اشاره نمود. معماری سرویس گرا یک نوع مهم از معماری های پویا هستند .آنها برای انتشار و کشف خودکار در زمان اجرا مجاز هستند به طوریکه چنانچه یک سرویس دهنده نتواند سرویسی با کیفیت مورد نظر ارائه کند، درخواست کننده سرویس می تواند به طور پویا جستجو کند وبه یک سرویس جدید دست یابد. از آن جا که سیستم های نرم افزاری در بسیاری از برنامه های کاربردی حساس و بحرانی نقش دارند ممکن است یک خطای کوچک در آن ها منجر به بروز مشکلات جدی شود. در این مقاله سعی شده با استفاده از یکی از ابزارهای صوری سازی معماری سرویس گرا را فرمال کنیم . از آنجاکه روشهای صوری بر پایه ریاضی هستند چارچوبی را برای مدلسازی و راستی آزمایی سیستم های نرم افزاری مبتنی بر معماری سرویس گرا فراهم می کنند که بتوان آن ها را به طور صحیح مدلسازی ، پیاده سازی و ارزیابی کرد.