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

作     者：于汪洋 黄昭 方贤文 YU Wang-yang;HUANG Zhao;FANG Xian-wen

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

出 版 物：《电子学报》 (Acta Electronica Sinica)

年 卷 期：2017年第45卷第7期

页      面：1731-1739页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：电子商务 业务流程 Petri网 

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