-
题名正确性保证的私有过程建模方法
被引量：1
- 1
-
-
作者
莫启
笪建
代飞
朱锐
林雷蕾
李彤
-
机构
云南大学软件学院
云南省软件工程重点实验室
淮安开放大学信息工程系
西南林业大学大数据与智能工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2018年第10期2551-2560,共10页
-
基金
国家自然科学基金(No.61462095
No.61862065
+8 种基金
No.61702442
No.61662085
No.61379032)
云南省应用基础研究计划项目(No.2016FB102
No.2018FB105)
云南省软件工程重点实验室开放基金面上项目(No.2017SE201
No.2016SE202)
云南省中青年学术和技术带头人后备人才培养经费(No.C6143002)
云南省教育厅科学研究基金资助性项目(No.2017ZZX227)
-
文摘
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.
-
关键词
私有过程
基本块
精化规则
接口一致性
正确性
-
Keywords
private process
basic block
refinement rule
interface consistency
correctness
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
