基于CPN的业务流程执行语言建模

提出了Web  服务业务流程执行语言的CPN  建模方法，描述了基于Web  服务业务流程的工作流行为特性。在对BPEL4WS  的基本活动和结构性活动进行分析的基础上，给出了利用CPN  对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程，并对所生成的Petri  网模型进行验证。关键词：业务流程执行语言着色  Petri  网建模Abstract:  This  paper  introduces  the  modeling  method  of  BPEL4WS  based  on  colored  petri  net,  describes  the  basic  structure  of  business  flow  using  the  colored  petri  net.  After  the  analysis  of  the  basic  activities  and  structured  activities  in  business  processes  defined  by  BPEL4WS,  it  gives  a  modeling  algorithm  using  the  colored  petri  nets.  Then  by  a  sample,  it  explains  the  detailed  modeling  course  using  the  algorithm  and  validates  the  property  of  the  outcome  model.Keywords:  BPEL4WS  CPN  Web  Modeling