%0 Journal Article
%T 基于赋时有色petri网的web组合服务建模
%A 王玉英
%A 陈平？
%J 计算机科学
%D 2010
%X 面向web服务的业务流程执行语言i3pel本身缺乏健壮的语义，构建web组合服务又是一种易于出错的任务。基于有色赋时pctri网，提出了从13pei描述的wcb组合服务流程到有色赋时pctri网模型的转换方法。在转换过程中考虑了i3pel活动的执行方式和执行环境，如时间、环境属性等，给出了更为精确的模型，为更好地使用工具和现有方法验证和测试wcb组合服务莫定了基础。并给出了这种转换方法的应用实例。
%K 组合服务
%K bpel
%K 模型
%K 流程验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=101035&flag=1