سال انتشار: ۱۳۹۰

محل انتشار: دومین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات

تعداد صفحات: ۶

نویسنده(ها):

عاصفه ماهیچیان – گروه کامپیوتر دانشگاه آزاد اسلامی واحد علوم و تحقیقات تهران
حمید حاج سید جوادی – گروه ریاضی و علوم کامپیوتر دانشگاه شاهد

چکیده:

دراین مقاله روشی جدید را برای ترکیب وب سرویس پیشنهاد می دهیم برای تکمیل عملکرد هسته و ب سرویس ها از سرویسهای ارزش افزوده استفاده می کنیم ترکیب وب سرویسهای ارزش افزوده با هسته سرویس ها قابلیت های جدیدی را برای هسته سرویس ها فراهم میآورند و معمولا فقط برای هسته خاصی طراحی نمی شوند دراین روش از اثبات های منطق خطی برای درستی عملکردترکیب وب سرویس ها استفاده می کنیم.