基于语义模型验证的BPR软件系统可信构建方法

为了提高业务流程再造(BPR)系统的可信赖性,本文提出了一种可信赖的构建方法来解决上述问题。 首先,我们分析了有关该主题的相关文献,我们认识到导致BPR系统的可信度降低的主要原因是前端配置工具与业务流程操作服务器之间的可信连接中断。 其次,作为构造方法的主要方法,详细说明了基于Petri网的语义验证方法。 最后,介绍了一个案例研究来解释如何使用以上BPR系统构建方法。