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

Reachability Analysis Methods of E-Commerce Business Process Net

作　　者：于汪洋[1,2,3] 黄昭[1,2] 方贤文[4] 

机构地区：[1]陕西师范大学现代教学技术教育部重点实验室,陕西西安710119 [2]陕西师范大学计算机科学学院,陕西西安710119 [3]同济大学嵌入式系统与服务计算教育部重点实验室,上海200092 [4]安徽理工大学理学院,安徽淮南232001

出　　处：《电子学报》2017年第7期1731-1739,共9页Acta Electronica Sinica

基　　金：同济大学嵌入式系统与服务计算教育部重点实验室开放课题基金;陕西省重点科技创新团队项目(No.2014KTC-18);国家自然科学基金(No.61272153;No.61402011;No.41271387;No.61602289);陕西省自然科学基础研究计划(No.2016JQ6056);中央高校基本科研业务费专项资金(No.GK201503061;GK201503062)

摘　　要：电子商务业务流程网(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.

关 键 词：电子商务 业务流程 PETRI网 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]