Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services

被引：1

作者：

Hammal, Youcef ^{[1
]}

Mansour, Khadidja Salah ^{[1
]}

Abdelli, Abdelkrim ^{[1
]}

Mokdad, Lynda ^{[2
]}

机构：

[1] USTHB, LSI, Algiers, Algeria

[2] Univ Paris Est, LACL, Creteil, France

来源：

2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC) | 2019年

关键词：

Web Service Composition; Formal Modeling; Compatibility Checking; Orchestration; OWL-S; WS-BPEL;

D O I：

10.1109/iscc47284.2019.8969690

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Web service composition is the process of combining Web services in order to offer value-added services that meet the increasing complex requirements of business processes. Besides simple Web services described with WSDL, OWL-S language allows to describe composite semantic Web services offering multiple operations using complex control structures. However, it becomes harder to manually check the consistency of orchestrations of such services in order to guarantee their correctness and avoid deadlock and erroneous statuses. In this paper, we first propose a formal method for translating OWL-S composite services into communicating automata using an iterative process which is driven by the control structure of that language. The same approach is also applied to the orchestrator whose description is given in WS-BPEL. Thereafter, we build up the synchronization product of the resulting automata and proceed to its consistency checking in order to unveil any forbidden statuses which depict flaws in that orchestration interaction protocol.

引用

页码：1004 / 1009

页数：6

共 11 条

[1]

Alonso G., 2004, DAT SYS APP

[2]

Gater A., 2010, 2010 IEEE International Conference on Web Services (ICWS), P640, DOI 10.1109/ICWS.2010.85

[3]

Hammal Y., 2008, 6 IEEE INT C SOFTW E, P640

[4]

Huang LH, 2009, PAC ASIA J ASSOC INF, V1, P25

[5]

Lei LH, 2006, ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, P137

[6]

Miller F., 2010, ABSTRACT SYNTAX TREE

[7]

Mokhtar S. B., 2005, 2 INT WORKSH RAP INT, P129

[8]

OASIS WS-BPEL TC, 2007, BUS PROC EX LANG WEB

[9]

Oster Z. J., 2012, SERV OR COMP 10 INT

[10]

W. S. Choreography Working Group, 2005, BUS PROC EX LANG WEB

← 1 2 →