بررسی رویداد گرایی در معماری سرویس گرا با استفاده از سیستم های انتقال گراف
Publish place: National Conference on Engineering Sciences, New Ideas (8)
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 821
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
AIHE08_516
تاریخ نمایه سازی: 13 آبان 1393
Abstract:
یکی از معماری هایی که به دلیل ویژگی های خاص همچون اتصال ضعیف، پویایی، انعظاف پذیری و چابکی به طور گسترده برای طراحی سیستم های کامپیوتری استفاده می شود معماری سرویس گرااست. از آن جا که سیستم های نرم افزاری در بسیاری از برنامه های کاربردی حساس و بحرانی نقش دارند ممکن است یک خطای کوچک در آن ها منجر به بروز مشکلات جدی شود. بنابر این به نظر می رسد از چالش های طراحی سیستم هایی بر پایه معماری سرویس گرا ایجاد این سیستم ها به صورت عاری از خطاست که این امر بدون در نظر گرفتن جنبه های کیفی همچون قابلیت اطمینان و امنیت در هنگام طراحی و پیاده سازی سیستم محقق نخواهد شد. برای رسیدن به هدف باید به دنبال روش هایی دقیق و بدون ابهام باشیم روش پیشنهادی استفاده از روش های صوری است در این مقاله سعی شده با استفاده از یکی از ابزارهای صوری معماری سرویس گرا را فرمال کنیم. از آنجا که روش های صوری بر پایه ریاضی هستند چارچوبی را برای مدلسازی و راستی آزمایی سیستم های نرم افزاری مبتنی بر معماری سرویس گرا فراهم می کنند که بتوان آن ها را به طور صحیح مدل سازی، پیاده سازی و ارزیابی کرد.
Keywords:
Authors
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :