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

于汪洋; 黄昭; 方贤文

doi:10.3969/j.issn.0372-2112.2017.07.025

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

- 电子商务业务流程网的可达分析方法
- Reachability Analysis Methods of E-Commerce Business Process Net
- 电子学报 2017年45卷第7期页码：1731-1739
- 作者机构：
  
  1. 陕西师范大学现代教学技术教育部重点实验室,陕西,西安,710119
  2. 陕西师范大学计算机科学学院,陕西,西安,710119
  3. 安徽理工大学理学院,安徽,淮南,232001
  6. 同济大学嵌入式系统与服务计算教育部重点实验室,上海,200092
- 作者简介：
- 基金信息：
  
  同济大学嵌入式系统与服务计算教育部重点实验室开放课题基金;陕西省重点科技创新团队项目 (No.2014KTC-18）;国家自然科学基金 (No.61272153，No.61402011，No.41271387）;陕西省自然科学基础研究计划 (No.2016JQ6056）中央高校基本科研业务费专项资金 (No.GK201503061，GK201503062）
- DOI：10.3969/j.issn.0372-2112.2017.07.025
  中图分类号： TP301
- 网络出版：2017-07-25，
  
  纸质出版：2017
- 稿件说明：
移动端阅览
于汪洋, 黄昭, 方贤文. 电子商务业务流程网的可达分析方法[J]. 电子学报, 2017,45(7):1731-1739.

YU Wang-yang, HUANG Zhao, FANG Xian-wen. Reachability Analysis Methods of E-Commerce Business Process Net[J]. Acta Electronica Sinica, 2017, 45(7): 1731-1739.
于汪洋, 黄昭, 方贤文. 电子商务业务流程网的可达分析方法[J]. 电子学报, 2017,45(7):1731-1739. DOI： 10.3969/j.issn.0372-2112.2017.07.025.

YU Wang-yang, HUANG Zhao, FANG Xian-wen. Reachability Analysis Methods of E-Commerce Business Process Net[J]. Acta Electronica Sinica, 2017, 45(7): 1731-1739. DOI： 10.3969/j.issn.0372-2112.2017.07.025.

摘要

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

Abstract

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.

关键词

Keywords

references

浏览量

434

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种基于Metropolis准则遗传算法的多边多议题协商

电子商务系统信任管理研究综述

基于价格时间Petri网的网格计算应用模型及分析

基于Petri网局部性的极大冲突集枚举算法

一类可由基本模型嵌套组成的工作流系统的性能分析方法