正确性保证的私有过程建模方法  

A Private Process Modeling Approach Guaranteeing Correctness

作　　者：莫启[1,2] 笪建 代飞 朱锐 林雷蕾[1] 李彤 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)

机构地区：[1]云南大学软件学院,云南昆明650091 [2]云南省软件工程重点实验室,云南昆明650091 [3]淮安开放大学信息工程系,江苏淮安223001 [4]西南林业大学大数据与智能工程学院,云南昆明650091

出　　处：《电子学报》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 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.

关 键 词：私有过程 基本块 精化规则 接口一致性 正确性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]