Premium
Modeling and verification of Web services composition based on model transformation
Author(s) -
Zhu Yi,
Huang Zhiqiu,
Zhou Hang
Publication year - 2017
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.2434
Subject(s) - business process execution language , computer science , web service , web modeling , transformation (genetics) , composition (language) , model transformation , model checking , ws policy , reliability (semiconductor) , cloud computing , web application , software engineering , database , world wide web , web application security , web development , programming language , artificial intelligence , operating system , biochemistry , chemistry , consistency (knowledge bases) , gene , linguistics , philosophy , power (physics) , physics , quantum mechanics
Summary With the rapid development of Cloud computing, social computing, and Web of Things, an increasing number of requirements of complexity and reliability for modeling Web services composition have emerged too. As more reliable methods are needed to model and verify current complex Web services composition, this paper proposes a method to model and verify Web services composition based on model transformation. First, a modeling and verifying framework based on model transformation is established. Then, Communicating Sequential Process (CSP) is defined according to the features of Web services composition and the corresponding model checking tool Failure Divergence Refinement (FDR) is introduced. The transformation approaches between Business Process Execution Language (BPEL) and CSP are later defined in detail. Lastly, the effect of this method is evaluated by modeling and verifying the Web services composition of a Online Shopping System. The results of the experiments show that this method can greatly increase the reliability of Web services composition. Copyright © 2016 John Wiley & Sons, Ltd.