CORC  > 清华大学
基于CPN的业务流程执行语言建模
付强 ; 林闯 ; 尹浩 ; Fu Qiang ; Lin Chuang ; Yin Hao
2010-07-19 ; 2010-07-19
关键词业务流程执行语言 着色Petri网 建模 BPEL4WS,CPN,Web Modeling TP311.52
其他题名Modeling of BPEL4WS Based on Colored Petri Net
中文摘要提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性。在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证。; 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.; 国家自然科学基金(60173012和90412012)
语种中文 ; 中文
内容类型期刊论文
源URL[http://hdl.handle.net/123456789/77736]  
专题清华大学
推荐引用方式
GB/T 7714
付强,林闯,尹浩,等. 基于CPN的业务流程执行语言建模[J],2010, 2010.
APA 付强,林闯,尹浩,Fu Qiang,Lin Chuang,&Yin Hao.(2010).基于CPN的业务流程执行语言建模..
MLA 付强,et al."基于CPN的业务流程执行语言建模".(2010).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace