A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services

Dajuan FAN; Zhiqiu HUANG; Lei TANG

doi:10.1587/transinf.E97.D.1535

A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services

Dajuan FAN, Zhiqiu HUANG, Lei TANG

Full Text Views

0

Cite this

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.

Publication: IEICE TRANSACTIONS on Information Vol.E97-D No.6 pp.1535-1545

Publication Date: 2014/06/01

Publicized

Online ISSN: 1745-1361

DOI: 10.1587/transinf.E97.D.1535

Type of Manuscript: PAPER

Category: Data Engineering, Web Information Systems

Authors

Dajuan FAN
  Nanjing University of Aeronautics and Astronautics
Zhiqiu HUANG
  Nanjing University of Aeronautics and Astronautics
Lei TANG
  Nanjing University of Aeronautics and Astronautics

Keyword

web services, composite service, FSM model, automatic synthesis, composition requirement

Cite this

Copy

Dajuan FAN, Zhiqiu HUANG, Lei TANG, "A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services" in IEICE TRANSACTIONS on Information, vol. E97-D, no. 6, pp. 1535-1545, June 2014, doi: 10.1587/transinf.E97.D.1535.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E97.D.1535/_p

Copy

@ARTICLE{e97-d_6_1535,
author={Dajuan FAN, Zhiqiu HUANG, Lei TANG, },
journal={IEICE TRANSACTIONS on Information},
title={A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services},
year={2014},
volume={E97-D},
number={6},
pages={1535-1545},
abstract={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.},
keywords={},
doi={10.1587/transinf.E97.D.1535},
ISSN={1745-1361},
month={June},}

Copy

TY - JOUR
TI - A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services
T2 - IEICE TRANSACTIONS on Information
SP - 1535
EP - 1545
AU - Dajuan FAN
AU - Zhiqiu HUANG
AU - Lei TANG
PY - 2014
DO - 10.1587/transinf.E97.D.1535
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E97-D
IS - 6
JA - IEICE TRANSACTIONS on Information
Y1 - June 2014
AB - 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.
ER -