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

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

ترکیب وب سرویس، منطق خطی، سرویسهای ارزش افزوده