Requirements-driven verification of WSBPEL processes

Mohsen Rouached*, Claude Godart

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

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

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

ملخص

Current Web services composition proposals, such as BPML, WSBPEL, WSCL and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties. In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.

اللغة الأصليةEnglish
عنوان منشور المضيفProceedings - 2007 IEEE International Conference on Web Services, ICWS 2007
الصفحات354-363
عدد الصفحات10
المعرِّفات الرقمية للأشياء
حالة النشرPublished - 2007
منشور خارجيًانعم
الحدث2007 IEEE International Conference on Web Services, ICWS 2007 - Salt Lake City, UT, United States
المدة: يوليو ٩ ٢٠٠٧يوليو ١٣ ٢٠٠٧

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

الاسمProceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Other

Other2007 IEEE International Conference on Web Services, ICWS 2007
الدولة/الإقليمUnited States
المدينةSalt Lake City, UT
المدة٧/٩/٠٧٧/١٣/٠٧

ASJC Scopus subject areas

  • ???subjectarea.asjc.1700.1705???
  • ???subjectarea.asjc.1700.1710???
  • ???subjectarea.asjc.1800.1802???
  • ???subjectarea.asjc.2200.2208???

بصمة

أدرس بدقة موضوعات البحث “Requirements-driven verification of WSBPEL processes'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا