%0 Journal Article
%T Models of BPEL''s flow activity based on color Petri nets<br>基于有色Petri网的BP EL中flow活动建模
%A WANG Yu-ying
%A CHEN Ping
%A <br>王玉英
%A 陈平
%J 计算机应用研究
%D 2011
%I 
%X BPEL is often used to describe the composition of Web services, but it is lack of sound formal semantic. Web ser-vices are prone errors. Flow activity is very complicated in BPEL, but it plays an important role in describing Web services. Based on color Petri net, proposed transitions from flow activity to color Petri net models, while considered BPEL activities execute ways and environments. These models are more exacter and can be used to verify and test Web services.
%K Web service
%K BPEL
%K flow activity
%K model
%K CPN<br>组合服务
%K BPEL
%K 流程活动
%K 模型
%K CPN
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=C581CC11F852AB1B2A2F2F830203CDE8&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=0B39A22176CE99FB&sid=250DF325A002B9CC&eid=20ED669EB429E15C&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8