基于仿真方法验证IDEF3过程模型的有效性 | |
宁可 ; 李清 ; 陈禹六 ; NING Ke ; LI Qing ; CHEN Yuliu | |
2010-06-09 ; 2010-06-09 | |
关键词 | 有效性验证 过程模型 仿真 verification process models simulation TP311.1 |
其他题名 | Verification of IDEF3 process models |
中文摘要 | 经营过程建模中对模型的有效性验证是过程分析优化的基础。现有的过程模型有效性验证方法单纯追求算法的高效率,只能针对特定模型验证某些过程结构的合理性,不适合经营过程的复杂性需求。该文提出了一种基于仿真方法的有效性验证算法,在确保验证算法效率的基础上,能够验证扩展的IDEF3过程模型的3种逻辑错误:结构死锁、同步丢失和对象不匹配,从而不仅能够验证过程逻辑结构上的不合理,还能够对参与过程的对象所造成的不合理进行验证。; In business process modeling, model verification is the basis for the analysis and optimization of business processes. However, existing verification methods mainly focus on algorithm efficiency and can only detect some structural conflicts in process models. So current methods are unable to verify complicated business process models. This paper presents an efficient verification method based on discrete event simulation technology that can detect three logic mistakes in IDEF3 process models: structural deadlock, lack of synchronization, and objects not matching each other. Therefore, the method recognizes not only structural conflicts, but also mistakes brought about by the objects participating in the processes. |
语种 | 中文 ; 中文 |
内容类型 | 期刊论文 |
源URL | [http://hdl.handle.net/123456789/57466] |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 宁可,李清,陈禹六,等. 基于仿真方法验证IDEF3过程模型的有效性[J],2010, 2010. |
APA | 宁可,李清,陈禹六,NING Ke,LI Qing,&CHEN Yuliu.(2010).基于仿真方法验证IDEF3过程模型的有效性.. |
MLA | 宁可,et al."基于仿真方法验证IDEF3过程模型的有效性".(2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论