文献类型：期刊文献

英文题名：A Requirement-Driven Method for Secure and Reliable Web Service Composition

作者：Fan, Guisheng[1,2];Yu, Huiqun[1];Wu, Qiang[3];Chen, Liqiong[4];Liu, Dongmei[1]

机构：[1]E China Univ Sci & Technol, Dept Comp Sci & Engn, Shanghai 200237, Peoples R China;[2]Wuhan Univ, State Key Lab Software Engn, Wuhan, Peoples R China;[3]China Construct Bank, Zhejiang Branch, Int Business Dept, Hangzhou, Zhejiang, Peoples R China;[4]Shanghai Inst Technol, Dept Comp Sci & Informat Engn, Shanghai, Peoples R China

年份：2013

卷号：14

期号：3

起止页码：485

外文期刊名：JOURNAL OF INTERNET TECHNOLOGY

收录：;EI(收录号：20133616695036);WOS:【SCI-EXPANDED(收录号:WOS:000320291200013)】；

基金：The research described here was partially supported by the NSF of China under grants No. 61173048, Construction Program of Shanghai Science and Technology under Grant No. 12510503800, the National Key Technology R&D Program of China under Grant No. 2009BAH46B05, the Fundamental Research Funds for the Central Universities, Innovation Program of Shanghai Municipal Education Commission under Grant No. 12YZ166.

语种：英文

外文关键词：Web service; Petri net; Reliability; Security; Requirement

摘要：Service composition is an effective way to build complex Web service applications. However, it is a challenge to enforce security and reliability of those applications due to the uncertainty of service quality in distributive and heterogeneous environment. This paper proposes a novel method to compose Web services for high security and reliability, which is driven by the requirements of service consumers. Petri nets are used to precisely describe the process of service composition in order to articulate the logic relationship between components. Based on this, a strategy for analyzing the compositionality of service is presented, and a reliable service composition method and its enforcement technique are proposed. Theories of Petri nets help prove the effectiveness of strategy. Finally, a case study of Travel Service demonstrates the feasibility of our method.