Exploiting semantics for analyzing and verifying business rules in web services composition and contracting

Hai Liu, Qing Li, Naijie Gu, An Liu

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review


Web services composition process needs business rules to regulate the behavior of the partner services. However, designing these rules is time-consuming and error-prone, especially under the condition that current standards barely provide any abstract and high-level guidance. In this spirit, rule analysis and verification for services composition is urgently required to augment its reliability and usability. In this paper, we choose a variant of Description Logics (DLs), called ALCO(Q), as the underlying logic, and provide a formal mapping to transform ECA rules, so that the semantics in the original ECA rules can be captured and are computationally traceable. To this end, we further investigate some important properties for business rules, namely, redundancy, termination and conflict, and propose several sound and complete algorithms to resolve them.

Original languageEnglish
Title of host publicationProceedings of the IEEE International Conference on Web Services, ICWS 2008
Number of pages8
Publication statusPublished - 24 Dec 2008
Externally publishedYes
EventIEEE International Conference on Web Services, ICWS 2008 - Beijing, China
Duration: 23 Sep 200826 Sep 2008

Publication series

NameProceedings of the IEEE International Conference on Web Services, ICWS 2008


ConferenceIEEE International Conference on Web Services, ICWS 2008

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Software
  • Electrical and Electronic Engineering

Cite this