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

Hai Liu; Qing Li; Naijie Gu; An Liu

doi:10.1109/ICWS.2008.90

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 proceeding › Conference article published in proceeding or book › Academic research › peer-review

Abstract

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 language	English
Title of host publication	Proceedings of the IEEE International Conference on Web Services, ICWS 2008
Pages	112-119
Number of pages	8
DOIs	https://doi.org/10.1109/ICWS.2008.90
Publication status	Published - 24 Dec 2008
Externally published	Yes
Event	IEEE International Conference on Web Services, ICWS 2008 - Beijing, China Duration: 23 Sept 2008 → 26 Sept 2008

Publication series

Name	Proceedings of the IEEE International Conference on Web Services, ICWS 2008

Conference

Conference	IEEE International Conference on Web Services, ICWS 2008
Country/Territory	China
City	Beijing
Period	23/09/08 → 26/09/08

ASJC Scopus subject areas

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

More information

10.1109/ICWS.2008.90

Cite this

Liu, H., Li, Q., Gu, N., & Liu, A. (2008). Exploiting semantics for analyzing and verifying business rules in web services composition and contracting. In Proceedings of the IEEE International Conference on Web Services, ICWS 2008 (pp. 112-119). Article 4670166 (Proceedings of the IEEE International Conference on Web Services, ICWS 2008). https://doi.org/10.1109/ICWS.2008.90

@inproceedings{72e56400596a43e79af7629209f0caee,

title = "Exploiting semantics for analyzing and verifying business rules in web services composition and contracting",

abstract = "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.",

author = "Hai Liu and Qing Li and Naijie Gu and An Liu",

year = "2008",

month = dec,

day = "24",

doi = "10.1109/ICWS.2008.90",

language = "English",

isbn = "9780769533100",

series = "Proceedings of the IEEE International Conference on Web Services, ICWS 2008",

pages = "112--119",

booktitle = "Proceedings of the IEEE International Conference on Web Services, ICWS 2008",

note = "IEEE International Conference on Web Services, ICWS 2008 ; Conference date: 23-09-2008 Through 26-09-2008",

}

Liu, H, Li, Q, Gu, N & Liu, A 2008, Exploiting semantics for analyzing and verifying business rules in web services composition and contracting. in Proceedings of the IEEE International Conference on Web Services, ICWS 2008., 4670166, Proceedings of the IEEE International Conference on Web Services, ICWS 2008, pp. 112-119, IEEE International Conference on Web Services, ICWS 2008, Beijing, China, 23/09/08. https://doi.org/10.1109/ICWS.2008.90

Exploiting semantics for analyzing and verifying business rules in web services composition and contracting. / Liu, Hai; Li, Qing; Gu, Naijie et al.
Proceedings of the IEEE International Conference on Web Services, ICWS 2008. 2008. p. 112-119 4670166 (Proceedings of the IEEE International Conference on Web Services, ICWS 2008).

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

TY - GEN

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

AU - Liu, Hai

AU - Li, Qing

AU - Gu, Naijie

AU - Liu, An

PY - 2008/12/24

Y1 - 2008/12/24

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=57749171748&partnerID=8YFLogxK

U2 - 10.1109/ICWS.2008.90

DO - 10.1109/ICWS.2008.90

M3 - Conference article published in proceeding or book

AN - SCOPUS:57749171748

SN - 9780769533100

T3 - Proceedings of the IEEE International Conference on Web Services, ICWS 2008

SP - 112

EP - 119

BT - Proceedings of the IEEE International Conference on Web Services, ICWS 2008

T2 - IEEE International Conference on Web Services, ICWS 2008

Y2 - 23 September 2008 through 26 September 2008

ER -

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

Abstract

Publication series

Conference

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this