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

• 作者: 代飞 朱锐 李彤 林雷蕾 笪建 莫启
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 私有过程 基本块 精化规则 接口一致性 正确性
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 科研通信
• 页码范围: 2551-2560
• 页数: 10页
• 分类号: TP311
• 字数: 9778字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2018.10.033

摘要

私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学软件学院	151	861	14.0	22.0
2	代飞		6	28	3.0	5.0
4	朱锐	云南大学软件学院	19	64	5.0	7.0
6	莫启	云南大学软件学院	29	58	4.0	6.0
10	林雷蕾	云南大学软件学院	11	34	4.0	5.0
13	笪建	云南大学软件学院	4	1	1.0	1.0