Soundness Efficient Determination Algorithm of Services Composition in Surrounding Restraint Situation Based on OPN
It is important to analyze the soundness of the Web services composition.And the paper put forward a new method to determine the soundness.After modeling Web services area and Web surrounding area by the open Petri net,an efficient determination algorithm was offered to determine the soundness.At last,not only was the algorithm programmed,but also the paper verified the validity of the algorithm through the concrete example.
Services Composition Surrounding Restraint Composability Soundness OPN
Yunfei Lu Xin Gao
Huainan Union University Huainan,China ZhongRui Communication Planning & Designing Co.,Ltd Wireless Network Design Institute Guangzhou,Chin
国际会议
杭州
英文
1641-1644
2013-03-22(万方平台首次上网日期,不代表论文的发表时间)