ارایه روشی جدید برای ترکیب وب سرویسهای ارزش افزوده با استفاده از منطق خطی
محل انتشار: دومین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 2,612
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCSCIT02_094
تاریخ نمایه سازی: 17 اردیبهشت 1391
چکیده مقاله:
دراین مقاله روشی جدید را برای ترکیب وب سرویس پیشنهاد می دهیم برای تکمیل عملکرد هسته و ب سرویس ها از سرویسهای ارزش افزوده استفاده می کنیم ترکیب وب سرویسهای ارزش افزوده با هسته سرویس ها قابلیت های جدیدی را برای هسته سرویس ها فراهم میآورند و معمولا فقط برای هسته خاصی طراحی نمی شوند دراین روش از اثبات های منطق خطی برای درستی عملکردترکیب وب سرویس ها استفاده می کنیم.
کلیدواژه ها:
نویسندگان
عاصفه ماهیچیان
گروه کامپیوتر دانشگاه آزاد اسلامی واحد علوم و تحقیقات تهران
حمید حاج سید جوادی
گروه ریاضی و علوم کامپیوتر دانشگاه شاهد
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :