基于形式化方法在检察机关统一业务系统中的应用

摘要

本文在介绍形式化方法和统一系统概括、模型的基础上,比较了常规方法和形式化方法,探讨了形式化方法在统一系统中各个阶段的规范应用,以及需求建模,得出了形式化方法所具有的特点有助于系统的实现和完善,同时使用petri网模型验证了统一系统中案件办理流程的路由结构.