| 正确性保证的私有过程建模方法 | |
| 莫启1,2; 笪建1,3; 代飞2,4; 朱锐1,2; 林雷蕾1; 李彤1,2 | |
| 2018-10-15 | |
| 发表期刊 | 电子学报
 |
| ISSN | 0372-2112 |
| 卷号 | 46期号:10页码:2551-2560 |
| 摘要 | 私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模. |
| 关键词 | 私有过程 基本块 精化规则 接口一致性 正确性 |
| URL | 查看原文 |
| 收录类别 | 北大核心 ; CSCD |
| 语种 | 中文 |
| 资助项目 | 国家自然科学基金(No.61462095,No.61862065,No.61702442,No.61662085,No.61379032);云南省应用基础研究计划项目(No.2016FB102,No.2018FB105);云南省软件工程重点实验室开放基金面上项目(No.2017SE201,No.2016SE202);云南省中青年学术和技术带头人后备人才培养经费(No.C6143002);云南省教育厅科学研究基金资助性项目(No.2017ZZX227) |
| 原始文献类型 | 学术期刊 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://ir.library.ouchn.edu.cn/handle/39V7QQFX/139299 |
| 专题 | 国家开放大学江苏分部 |
| 通讯作者 | 笪建 |
| 作者单位 | 1.云南大学软件学院; 2.云南省软件工程重点实验室; 3.淮安开放大学信息工程系; 4.西南林业大学大数据与智能工程学院 |
| 通讯作者单位 | 国家开放大学江苏分部 |
| 推荐引用方式 GB/T 7714 | 莫启,笪建,代飞,等. 正确性保证的私有过程建模方法[J]. 电子学报,2018,46(10):2551-2560. |
| APA | 莫启,笪建,代飞,朱锐,林雷蕾,&李彤.(2018).正确性保证的私有过程建模方法.电子学报,46(10),2551-2560. |
| MLA | 莫启,et al."正确性保证的私有过程建模方法".电子学报 46.10(2018):2551-2560. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 查看访问统计 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [莫启]的文章 |
| [笪建]的文章 |
| [代飞]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [莫启]的文章 |
| [笪建]的文章 |
| [代飞]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [莫启]的文章 |
| [笪建]的文章 |
| [代飞]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
| 相关推荐 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论