摘要
电子商务业务流程网(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 ecommerce 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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2017年第7期1731-1739,共9页
Acta Electronica Sinica
基金
同济大学嵌入式系统与服务计算教育部重点实验室开放课题基金
陕西省重点科技创新团队项目(No.2014KTC-18)
国家自然科学基金(No.61272153
No.61402011
No.41271387
No.61602289)
陕西省自然科学基础研究计划(No.2016JQ6056)
中央高校基本科研业务费专项资金(No.GK201503061
GK201503062)
