电子学报2017，Vol.45Issue(7)：1731-1739,9.DOI:10.3969/j.issn.0372-2112.2017.07.025
电子商务业务流程网的可达分析方法
Reachability Analysis Methods of E-Commerce Business Process Net
摘要
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.关键词
电子商务/业务流程/Petri网Key words
E-commerce/business processes/petri nets分类
信息技术与安全科学引用本文复制引用
于汪洋,黄昭,方贤文..电子商务业务流程网的可达分析方法[J].电子学报,2017,45(7):1731-1739,9.基金项目
同济大学嵌入式系统与服务计算教育部重点实验室开放课题基金 （）
陕西省重点科技创新团队项目(No.2014KTC-18) （No.2014KTC-18）
国家自然科学基金(No.61272153,No.61402011,No.41271387,No.61602289) （No.61272153,No.61402011,No.41271387,No.61602289）
陕西省自然科学基础研究计划(No.2016JQ6056) （No.2016JQ6056）
中央高校基本科研业务费专项资金(No.GK201503061,GK201503062) （No.GK201503061,GK201503062）
