A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services

Dajuan FAN  Zhiqiu HUANG  Lei TANG  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E97-D   No.6   pp.1535-1545
Publication Date: 2014/06/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.E97.D.1535
Type of Manuscript: PAPER
Category: Data Engineering, Web Information Systems
Keyword: 
web services,  composite service,  FSM model,  automatic synthesis,  composition requirement,  

Full Text: PDF>>
Buy this Article




Summary: 
One of the most important problems in web services application is the integration of different existing services into a new composite service. Existing work has the following disadvantages: (i) developers are often required to provide a composite service model first and perform formal verifications to check whether the model is correct. This makes the synthesis process of composite services semi-automatic, complex and inefficient; (ii) there is no assurance that composite services synthesized by using the fully-automatic approaches are correct; (iii) some approaches only handle simple composition problems where existing services are atomic. To address these problems, we propose a correct assurance approach for automatically synthesizing composite services based on finite state machine model. The syntax and semantics of the requirement model specifying composition requirements is also proposed. Given a set of abstract BPEL descriptions of existing services, and a composition requirement, our approach automatically generate the BPEL implementation of the composite service. Compared with existing approaches, the composite service generated by utilizing our proposed approach is guaranteed to be correct and does not require any formal verification. The correctness of our approach is proved. Moreover, the case analysis indicates that our approach is feasible and effective.