电子商务业务流程网的可达分析方法

• 作者: 于汪洋 方贤文 黄昭
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 电子商务 业务流程 Petri网
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 1731-1739
• 页数: 9页
• 分类号: TP301
• 字数: 8457字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2017.07.025

摘要

电子商务业务流程网(E-commerce Business Process Net,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方贤文	安徽理工大学理学院	124	250	10.0	12.0
2	黄昭	陕西师范大学现代教学技术教育部重点实验室	7	15	2.0	3.0
6	于汪洋	陕西师范大学现代教学技术教育部重点实验室	6	12	2.0	3.0