بررسی رویداد گرایی در معماری سرویس گرا با استفاده از سیستم های انتقال گراف

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

کلیدواژه ها:

امنیت روش های صوری ، رویداد گرایی ، متامدل ، معماری سرویس گرا