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

• 作者: 付强 尹浩 林闯
• 来源期刊: 科技与创新
• 关键词: 业务流程执行语言 着色Petri网 建模
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 控制管理
• 页码范围: 4-6
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.03.002

摘要

提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性.在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法.然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证.