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