摘要
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.
Private processes are the basis for building a collaborative business process,and its correctness has a direct impact on the business collaboration implementation.To this end,we propose an approach of step-by-step refinement to build a private process.First,we define a private process and abstract its control flow into four basic blocks,i.e.,sequential block,concurrent block,selection block,and iteration block.Then,we propose corresponding refinement rules for the four basic blocks,and a private process construction method is proposed based on these refinement rules.Finally,we theoretically prove that the private process established by the present approach has the characteristics of workflow network and is correct.We model the supply chain in collaborative manufacturing and compare the present approach with the existing methods.The results show that the present method can more effectively model the private process with respect to the existing typical work.
作者
莫启
笪建
代飞
朱锐
林雷蕾
李彤
MO Qi;DA Jian;DAI Fei;ZHU Rui;LIN Lei-lei;LI Tong(School of Software,Yunnan University.Kunming,Yunnan 650091,China;Key Laboratory of Software Engineering in Yunnan Province,Yunnan University.Kunming,Yunnan 650091,China;Department of Information Engineering,Huai’an Open University.Huai’an,Jiangsu 223001,China;School of Big Data and Intelligent Engineering,Southwest Forestry University.Kunming,Yunnan 650091,China)
出处
《电子学报》
EI
CAS
CSCD
北大核心
2018年第10期2551-2560,共10页
Acta Electronica Sinica
基金
国家自然科学基金(No.61462095
No.61862065
No.61702442
No.61662085
No.61379032)
云南省应用基础研究计划项目(No.2016FB102
No.2018FB105)
云南省软件工程重点实验室开放基金面上项目(No.2017SE201
No.2016SE202)
云南省中青年学术和技术带头人后备人才培养经费(No.C6143002)
云南省教育厅科学研究基金资助性项目(No.2017ZZX227)
关键词
私有过程
基本块
精化规则
接口一致性
正确性
private process
basic block
refinement rule
interface consistency
correctness
