Journal of Software Engineering1819-43112152-0941Asian Network for Scientific Information10.3923/jse.2014.314.320QiangHu 4201484A Web service process is well-structured, means its branch flows are splited
and converged correctly in the logical structure. Well-structure is an import
property to guarantee a service process to work normally. To detect the well-structured
property of Web service process described by WS-BPEL, a logical Petri net method
is proposed. The service process based on WS-BPEL is modeled as a service net
form logical petri nets and the well-structured property is mapped into the
features of logic expressions in the logical transitions of the service net.
The formal definition and decision method of well-structure is proposed and
the examples are also provided to show how to detect whether a service net is
well-structured or not. From the proposed method in this study, the well-structured
property of WS-BPEL can be easily analyzed.]]>Chae, H.S., J.S. Lee and J. Bae,200818223241Du, Y.Y., C.J. Jiang, M.C. Zhou and Y. Fu,20091799951006Du, Y.Y., C.J. Jiang and M.C. Zhou,200737643654Eder, J., E. Panagos and M. Rabinovich,20132013pp: 191-205pp: 191-205Ha, S. and H.W. Suh,200859193209Hu, Q., Y.Y. Du and S.X. Yu,2014268271289Li, X., Y. Fan, Q.Z. Sheng, Z. Maamar and H. Zhu,20114510521Tan, W., Y.S. Fan and M.C. Zhou,2009694106Van der Aalst, W.M.P., K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve and M.T. Wynn,201123333363Xiong, P.C., C. Pu and M. Zhou,20107120