文献类型：期刊文献

英文题名：Petri net based techniques for constructing reliable service composition

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

机构：[1]E China Univ Sci & Technol, Dept Comp Sci & Engn, Shanghai 200237, Peoples R China;[2]Shanghai Key Lab Comp Software Evaluating & Testi, Shanghai, Peoples R China;[3]Shanghai Inst Technol, Dept Comp Sci & Informat Engn, Shanghai, Peoples R China

年份：2013

卷号：86

期号：4

起止页码：1089

外文期刊名：JOURNAL OF SYSTEMS AND SOFTWARE

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

基金：The work is partially supported by the NSF of China under Grants Nos. 61173048 and 60903020, the Fundamental Research Funds for the Central Universities, Fund of State Key Laboratory for Novel Software Technology, Innovation Program of Shanghai Municipal Education Commission under Grant No. 12YZ166. We would like to express our sincere appreciation to the anonymous reviewers for their insightful comments, which have greatly aided us in improving the quality of the paper.

语种：英文

外文关键词：Service composition; Petri net; Exception; Transaction attributes; Reliability

摘要：Service composition is an important mean for integrating the individual Web services to create new value added systems that satisfy complex requirements. However, it is challenging to guarantee the reliability of service composition in a distributed, dynamic and complex environment. This paper proposes an approach to constructing the reliable service composition. The underlying formalism is Petri net, which provides means to observe behaviors of basic component, and to describe their interrelationship. The transaction attributes, reliability and failure processing mechanisms are articulated. The composition mechanism systematically integrates these schemas into a transaction mapping model. Based on this, a reliable composition strategy and its enforcement algorithm are proposed, which can verify the behaviors of service composition at design time or after runtime to repair design errors. The operational semantics and related theories of Petri nets help prove the effectiveness of the proposed method. Finally, we use a simplified Export Service system to demonstrate the feasiability of the method. (C) 2012 Elsevier Inc. All rights reserved.