بررسی درستی یابی ترکیب معنایی وب سرویس ها

سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,607

فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ITICS01_011

تاریخ نمایه سازی: 12 فروردین 1391

چکیده مقاله:

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

نویسندگان

حسام فولادوند

دانشجوی کارشناسی ارشد گروه علمی مهندسی کامپیوتر

سیدعبدالمجید موسوی

دانشگاه لرستان عضو هیئت علمی

وحید رافع

دانشگاه اراک عضو هیئت علمی

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Maurice ter Beek, Antonio Bucchiarone, Stefania Gnesi, Web Service Composition ...
  • S. A. McIlraith, T. C. Son, and H. Zeng, :Semantic ...
  • Semantic Web, www.w3 .org/sw. ...
  • http ://www.wsmo _ org/IR/d4/d4 .2/v0. 1/ ...
  • Bussler, D. and Fensel, C. "The Web Service Modeling Framework ...
  • Roman, D., Lausen, H. and Keller, U. Web Service Modeling ...
  • Gruber, T. "A translation approach to portable ontology specifications." Knowledge ...
  • Ruben Lara, Dumitru Roman, Axel Polleres, Conceptual Comparison WS MO/OWL-S ...
  • M. R. Tuttle. Hierarchical correctnes proofs for distributed algorithms. Master ...
  • Fukuzawa, K. AND Saeki, M. 2002. Evaluating Software Architectures by ...
  • N. Milanovic and M. Malek, :Current Solutions for Web Service ...
  • R. Kazhamiakin, M. Pistore, and L. Santuari, "Analysis of communication ...
  • R. Kazhamiakin, P. Pandya, and M. Pistore, _ Modelling and ...
  • M. Emilia Cambronero, Gregorio Diaz, Valentin Valero, Enrique Martnez, Validation ...
  • C. Hartonas, "Modeling Service Communication with Open Petri Nets, " ...
  • C. Ouyang et al., "Formal semantics and analysis of control ...
  • A. Martens, "Analyzing Welb Service Based Business Processes, " in ...
  • _ _ _ Service, 22nd International Conference On Advanced Information ...
  • Yue Ni, Yushun Fan, Model transformation and formal verification for ...
  • Yabei Wang, Shangliang Pan, CPN-based verification of web service composition ...
  • _ _ compositions under resource constraints, " in Proc. ESEC/FSE07 ...
  • A. Lapadula, R. Pugliese, and F. Tiezzi, :A Calculus for ...
  • _ _ Conversation Calculus: a Model of Service Oriented Computation, ...
  • Pap apanagiotou, Petros; Fleuriot, Jacques, Formal Verification of Web Services ...
  • Logic and the pi-calculus, Web Services (EC OWS), IEEE.pp 31 ...
  • A. Lapadula, R. Pugliese, and F. Tiezzi, "C_WS: A timed ...
  • _ _ _ for verifying COWS specifications, " in Proc. ...
  • _ _ _ _ Proc. WS-FM06, Ser. LNCS, no. 4184. ...
  • نمایش کامل مراجع