基于赋时有色petri网的web组合服务建模

面向web服务的业务流程执行语言i3pel本身缺乏健壮的语义，构建web组合服务又是一种易于出错的任务。基于有色赋时pctri网，提出了从13pei描述的wcb组合服务流程到有色赋时pctri网模型的转换方法。在转换过程中考虑了i3pel活动的执行方式和执行环境，如时间、环境属性等，给出了更为精确的模型，为更好地使用工具和现有方法验证和测试wcb组合服务莫定了基础。并给出了这种转换方法的应用实例。