Analysis of composite web services using logging facilities

Mohsen Rouached*, Claude Godart

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

نتاج البحث

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


In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.

اللغة الأصليةEnglish
عنوان منشور المضيفService-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings
ناشرSpringer Verlag
عدد الصفحات12
رقم المعيار الدولي للكتب (المطبوع)9783540754916
المعرِّفات الرقمية للأشياء
حالة النشرPublished - 2007
الحدث4th International Conference on Service-Oriented Computing, ICSOC 2006 - Chicago, IL
المدة: ديسمبر ٤ ٢٠٠٦ديسمبر ٧ ٢٠٠٦

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

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


Other4th International Conference on Service-Oriented Computing, ICSOC 2006
الدولة/الإقليمUnited States
المدينةChicago, IL

ASJC Scopus subject areas

  • ???subjectarea.asjc.2600.2614???
  • ???subjectarea.asjc.1700???


أدرس بدقة موضوعات البحث “Analysis of composite web services using logging facilities'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا