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

摘要

电子商务业务流程网(E-commerce Business Process Net,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.%E-commerce Business Process Nets (EBPNs) are a novel formal model for describing and validating e-commerce systems at design and application level,integrating data,control flows,and relevant attributes.Data errors and non-determinacy of the data states during the trading process can be depicted with the help of EBPNs.For static and dynamic properties of EBPN,reachability analysis methods are further studied,and construction algorithm of Reachability Data State Graph (RDSG) and related conclusions are given.In order to reduce the complexity of analyzing EBPN,referring to the program slicing,slicing of EBPN is studied.Slicing criterion and algorithm are defined and constructed.Slicing technology of EBPN can be used to reduce the complexity of analyzing EBPN.