Adaptor generation for web services composition based on scenario-based specifications

被引：0

作者：

Fan, Dajuan ^{[1
,2
]}

Huang, Zhiqiu ^{[1
]}

Xiao, Fangxiong ^{[3
]}

Zhang, Junhua ^{[1
]}

机构：

[1] College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing , China

[2] School of Computer Engineering, Nanjing Institute of Technology, Nanjing , China

[3] School of Software Engineering, Southern China University of Technology, Guangzhou , China

来源：

Journal of Computational Information Systems | 2014年 / 10卷 / 17期

关键词：

Specifications; -; Websites;

D O I：

10.12733/jcis11354

中图分类号：

T-65 [工业规程与标准];

学科分类号：

摘要：

An approach to adaptor generation based on scenario-based specifications is presented by utilizing the finite state machine (FSM) model. Firstly, the initial adaptor model for a set of incompatible services is derived. Then, the final adaptor model is gained by eliminating the deadlock traces of initial adaptor model and computing the synchronous product of the specification model and the adaptor model without deadlock traces. The generated adaptor not only reconciles the behavioral incompatibility, but also satisfies the given specifications by the interactions wth services. Feasibility and validity of the proposed approach is indicated by a case analysis.

引用

页码：7323 / 7330