标题：Structural normal form and its testing algorithm of service process based on WS-BPEL
作者：Hu, Qiang ;Du, Yuyue ;Deng, Shiyang
作者机构：[Hu, Qiang ;Du, Yuyue ] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China;[Deng, Sh 更多
来源：Journal of Computational Information Systems
摘要：WS-BPEL is an informal language of service composition, and there may be some defects in the structure of service processes constructed based on WS-BPEL, such as deadlock and structure redundancy. To judge structure rationality of service process described by WS-BPEL, the concept of service net is put forward in this paper. A service net is constructed based on Petri net and it can be used to model service processes described by WS-BPEL. Mapping rules between control structures of WS-BPEL and service nets are proposed, and the service processes of WS-BPEL can be easily transformed into service nets by the rules. Inspired by the concepts of normal form in design of relational database, three levels of structural normal form of WS-BPEL are defined based on the structural properties of service nets, and a decision algorithm to judge structural normal form is also presented. © 2012 Binary Information Press.