保证标准间协调性的形式化方法研究
A Study of Formal Methods for Ensuring Inter-Criteria Harmonization

标准体系中标准之间的协调性的一个关键要求就是保证标准之间规定的内容不冲突。产生这种冲突的原因是标准间规范的内容存在交集。本文使用形式化方法来研究解决标准体系中标准内容存在交集的问题。本文提出的方法通过构建业务流程图，在制定相关业务标准时，遍历并标记业务起点到终点的路径，通过保证每一个节点仅被标记一次来实现规范相对内容标准的唯一性。
A key requirement for harmonization between standards in a standard system is to ensure that there is no conflict in the content specified among standards. The reason for this conflict is that there exists an intersection of the contents among the standards. In this paper, we use a formalized method to study and solve the problem of the intersection of standard contents in the standard system. The method proposed in this paper is to construct a business process diagram, traverse and mark the path from the start to the end of the business when formulating the relevant business standards, and realize the uniqueness of the specification relative to the content standards by ensuring that each node is marked only once.