Web service mining and verification of properties: An approach based on event calculus

Mohsen Rouached*, Walid Gaaloul, Wil M.P. Van Der Aalst, Sami Bhiri, Claude Godart

*المؤلف المقابل لهذا العمل

نتاج البحث: Conference contribution

28 اقتباسات (Scopus)

ملخص

Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances.

اللغة الأصليةEnglish
عنوان منشور المضيفOn the Move to Meaningful Internet Systems 2006
العنوان الفرعي لمنشور المضيفCoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings
ناشرSpringer Verlag
الصفحات408-425
عدد الصفحات18
رقم المعيار الدولي للكتب (المطبوع)3540482873, 9783540482871
المعرِّفات الرقمية للأشياء
حالة النشرPublished - 2006
منشور خارجيًانعم
الحدثOTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006 - Montpellier, France
المدة: أكتوبر ٢٩ ٢٠٠٦نوفمبر ٣ ٢٠٠٦

سلسلة المنشورات

الاسمLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
مستوى الصوت4275 LNCS - I
رقم المعيار الدولي للدوريات (المطبوع)0302-9743
رقم المعيار الدولي للدوريات (الإلكتروني)1611-3349

Other

OtherOTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006
الدولة/الإقليمFrance
المدينةMontpellier
المدة١٠/٢٩/٠٦١١/٣/٠٦

ASJC Scopus subject areas

  • ???subjectarea.asjc.2600.2614???
  • ???subjectarea.asjc.1700.1700???

بصمة

أدرس بدقة موضوعات البحث “Web service mining and verification of properties: An approach based on event calculus'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا