10.3969/j.issn.0372-2112.2018.10.033
正确性保证的私有过程建模方法
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.
私有过程、基本块、精化规则、接口一致性、正确性
46
TP311(计算技术、计算机技术)
国家自然科学基金61462095,61862065,61702442,61662085,61379032;云南省应用基础研究计划项目2016FB102,2018FB105;云南省软件工程重点实验室开放基金面上项目2017SE201,2016SE202;云南省中青年学术和技术带头人后备人才培养经费C6143002;云南省教育厅科学研究基金资助性项目2017ZZX227
2019-01-04（万方平台首次上网日期，不代表论文的发表时间）
共10页
2551-2560
