期刊
JOURNAL OF SYSTEMS AND SOFTWARE
卷 86, 期 4, 页码 1089-1106出版社
ELSEVIER SCIENCE INC
DOI: 10.1016/j.jss.2012.11.037
关键词
Service composition; Petri net; Exception; Transaction attributes; Reliability
资金
- NSF of China [61173048, 60903020]
- Fundamental Research Funds for the Central Universities
- State Key Laboratory for Novel Software Technology, Innovation Program of Shanghai Municipal Education Commission [12YZ166]
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据