Reachability Analysis Methods of E-Commerce Business Process Net

YU Wang-yang; HUANG Zhao; FANG Xian-wen

doi:10.3969/j.issn.0372-2112.2017.07.025

您当前的位置：

首页 >

文章列表页 >

Reachability Analysis Methods of E-Commerce Business Process Net

更新时间：2025-07-16

- Reachability Analysis Methods of E-Commerce Business Process Net
- Acta Electronica Sinica Vol. 45, Issue 7, Pages: 1731-1739(2017)
- 作者机构：
  
  1. 陕西师范大学现代教学技术教育部重点实验室,陕西,西安,710119
  2. 陕西师范大学计算机科学学院,陕西,西安,710119
  3. 安徽理工大学理学院,安徽,淮南,232001
  6. 同济大学嵌入式系统与服务计算教育部重点实验室,上海,200092
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2017.07.025
  CLC： TP301
- Published Online：25 July 2017，
  
  Published：2017
- 稿件说明：
移动端阅览
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：

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

Views

434

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Genetic Algorithm Based on Metropolis Rule and Its Application in Multi-Lateral Multi-Issue Negotiation

A Survey of Trust Management for E-commerce Systems

Modeling and Analysis of Grid Computing Application Based Price Timed Petri Net

Maximal Conflict Set Enumeration Algorithm Based on Locality of Petri Nets

Method for Computing Performance of a Kind of Workflow Models Nested by Basic Model

Related Author

YANG Yi-xian

JING Bo

LI Jian

ZHOU Lin-hua

YU Tong

SHENG Hao

JIANG Xiao-hong

CHEN Hua-jun

Related Institution

Department of Computer TechnologyBeijing Institute of Applied MeteorologyBeijing 100029China

Information Security CenterState Key Laboratory of Networking and Switching Technology.Beijing 100876China

Department of Computer Technology,Beijing Institute of Applied Meteorology

Information Security Center,State Key Laboratory of Networking and Switching Technology.

College of Computer Science,Zhejiang University

⁰