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

来源 :电子学报 | 被引量 : 0次 | 上传用户：eimayao

【摘要】

：

电子商务业务流程网（E-commerce Business Process Net,EBPN）是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较

【作者】

：

于汪洋黄昭方贤文

【机构】

：

陕西师范大学现代教学技术教育部重点实验室,陕西师范大学计算机科学学院,同济大学嵌入式系统与服务计算教育部重点实验室,安徽理工大学理学院

【出处】

：

电子学报

【发表日期】

：

2017年7期

【关键词】

：

电子商务业务流程 PETRI网 E-commerce business processes petri nets

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

断路器失灵保护的探讨

本文对断路器失灵保护进行了探讨，并对其提出了改进措施。

期刊

断路器失灵保护原因分析

智能建筑弱电系统工程设计

摘要智能建筑是传统建筑技术与现代信息技术的结合，建筑智能化弱电的设计是智能化弱电系统建设的先行和灵魂，是实现建筑智能化的关键环节。设计时应处处体现以用户为中心的思想，以建筑为平台，为人们提供一个投资合理、高效、舒适、便利的环境空间，以适应当前现代建筑的需要。随着电子、信息技术的发展，声音、图像、数据通信得到迅速发展，建筑物和外部世界的通信联络得到增强。　　关键词智能建筑；弱电系统；综合布线

期刊

智能建筑弱电系统综合布线

仔猪猪瘟超前免疫的研究

在仔猪猪瘟免疫程序的研究中,将超前免疫的第二次免疫时间从60d提前至45d,免疫剂量从1头份提高至4头份.在80d时,可使猪瘟抗体水平由原来的2提高到4.2(P＜0.01).因此建议:猪瘟的

期刊

猪瘟免疫程序猪瘟抗体

氧化锌避雷器在变电站运行中的常见问题及解决措施

本文主要针对氧化锌避雷器在变电站运行中出现的问题以及原因进行了分析，并依据这一列问题提出了相应的措施，对于今后变电站设计、设备的选型、设备的检测方式具有一定的借鉴意

期刊

氧化锌避雷器污秽高次谐波

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

其他学术论文