文件名称：基于仿真方法验证IDEF3过程模型的有效性 (2005年)
文件大小：330KB
文件格式：PDF
更新时间：2024-06-08 22:20:08
自然科学 论文
经营过程建模中对模型的有效性验证是过程分析优化的基础。现有的过程模型有效性验证方法单纯追求算法的高效率，只能针对特定模型验证某些过程结构的合理性，不适合经营过程的复杂性需求。该文提出了一种基于仿真方法的有效性验证算法，在确保验证算法效率的基础上，能够验证扩展的IDEF3过程模型的3种逻辑错误：结构死锁、同步丢失和对象不匹配，从而不仅能够验证过程逻辑结构上的不合理，还能够对参与过程的对象所造成的不合理进行验证。