基于逻辑模型的过程仿真系统研究

摘要

企业的业务流程是非常复杂的,在为企业设计与流程相关的软件的失败率很高,原因在于所设计的软件处理的流程与企业实际运行的流程不相符合.针对该问题,本文采用一阶逻辑形式化的描述了一个过程仿真系统模型,并基于此模型设计过程仿真系统,以用于检验所仿真的流程是否与实际流程相符合.