|
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
电子商务业务流程网的可达分析方法 % `# J* r* \7 @" r U2 {
摘要:电子商务业务流程网(E-commerce Business Process Net ,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.2 K5 V. @. L% ^0 M6 L
关键词:电子商务;业务流程; Petri 网' [, V( X; }, ], x8 @5 o \
* R2 [ P- V+ N# Q- p! _- D% n# e
0 Y9 p2 \4 O0 n" Z7 {, c0 j
3 i+ [0 `. G3 N/ k5 h/ n2 R |
|
/1 
发表于 2021-6-30 09:57
收藏
淘帖
支持！
反对！