用自动化理论研究公文流转流程问题.docVIP

●冯坚福 用自动化理论研究公文流转流程问题 [摘要] 随着网络技术和办公自动化技术的发展，公文流转系统成为电子政务的基础和重要组成部分。但在公文流转系统的流程用户自定义上，存在着两个极端：小型系统的流程定义过于机械，适应性不强；大型系统的流程定义则过于复杂，难于实现。为解决这个矛盾，提高统计部门公文流转系统在流程定义上的灵活性和简单化，本文提出了一个较为实用的研究方法和实现方法，即用有限状态自动机的形式化方法和面向过程的模块化方法相结合来对公文流转流程进行研究。 本文在自动化理论中的有限状态自动机理论基础上，提出“公文流转流程有限状态自动机”的概念。并认为“所有公文处理流程都有一个相应的公文流转流程有限状态自动机”。最后，本文用模块化设计方法结合数据库给出了该自动机的实现方案。 [关键字] 有限状态自动机、公文流转、流程 一、引言 在公文流转系统的流程用户自定义的问题上，通常使用的有两种方法：一是在小型系统中，固定一些常用的流转流程，在进行流程定义时供用户选择；二是在大型系统中，通常使用Petri网理论来描述，在用户自定义流程时自动产生对应流程模型。这两种方案，对于统计部门来说，都不太实用。前者的灵活性太差，不能适应用户需求的变动。而后者的实现太过于复杂，系统也太过于庞大，不适用于一般的区县和地市级统计部门自行开发。 珠海市统计局在今年上半年自行开发了“网站信息采编发系统”，对上网信息①的采集、编辑、发布过程进行自动化管理。在对系统中信息处理流程定义问题的研究中，我们从公文流转系统的角度，权衡上述两种方法的利弊，提出“用有限状态自动机的形式化方法和面向过程的模块化方法相结合”来进行研究。系统的开发结果表明，该方法易于掌握、实现简单、模块化程度高、使用灵活，对区县和地市级统计部门有很好的借鉴意义。 本文的文类流转流程的研究范围为：一篇公文的流转流程。暂时不考虑两篇以上公文的合并流转问题。 二、有限状态自动机的概念 有限状态自动机是自动化理论的重要组成部分，是具有离散输入与输出的系统的一种数学模型。这些系统拥有有限多个内部状态，在整个生命周期中，系统就在这些状态之间转移。在任一时刻，系统处于并且仅仅处于这些内部状态的某一个中。系统的当前状态概括了有关过去所有输入的信息，这些信息对于在后来的输入上确定的系统的行为是必需的。有限状态自动机可以准确地描述一个系统，因为它是表达系统状态变迁的一种形式化方法。 有限状态自动机的应用非常广泛。在计算机科学中，可以找到很多有限状态系统的例子，有限状态自动机理论是设计这些系统的有效工具，如开关线路和编译原理中的词法分析程序。而在现实生活中，也有很多有限状态系统的例子。如电梯的控制机构。 有限状态自动机由五个方面的因素组成：有限个状态、有限个输入、一个初始状态、一个终结状态集合、一个从当前状态转移到另一状态的输入动作。 对于公文流转系统中公文对象，我们认为它有两个最重要的因素：表示特定时刻公文具有某些静态属性的“状态”和表示用户操作并触发公文状态变迁的“动作”。公文的状态和动作分别对应有限状态自动机的状态和输入。 实际上，公文流转流程可以用一个简单的公式来表示： 当前状态 ＋ 动作 = 后继状态 这与有限状态自动机的公式“当前状态＋输入=下个状态”是一致的。因此，我们可以对现有有限状态自动机的概念进行改造，使之符合公文流转流程的要求。 定义：一个公文流转流程有限状态自动机M是一个五元组。 M ＝（∑，Q，q0，F，δ） 其中， （a）∑是一个公文操作集合。它的每个元素称为可以作用在公文上的“一个”动作。这里的“一个”不仅仅是指一个原子动作，它也包括一个组合动作。所谓“组合动作”，包含了两个以上不同的原子动作，只有当所有原子动作都完成之后，组合动作才算完成。 （b）Q是一个有限的公文状态集合。它的每个元素表示公文可以处于的一个状态。 （c）q0∈Q，称为公文的初始状态。初态有且仅有一个，表示刚创建的公文处于该状态。 （d）F是Q的子集，称为终结状态集合。该集合不一定非空。当其为空时，表示公文永远处于流转过程中。状态处于终结状态的公文被认为已经结束其流转流程。 （e）δ是一个从Q×∑到Q的单值映射，即状态转换规则集： δ（q1，a）＝ q2 （q1，q2∈Q； a∈∑） 表示当前状态为q1，用户进行a操作时，自动机将转到下一状态q2。q1称为q2的前驱，q2称为q1的后继。转换规则集可以用转换矩阵或转换图来表示。在状态转换图中，通常用结点表示状态，用带标记的有向弧表示动作。 三、流程与自动机②的对应关系 在实际的公文流转流程与有限状态自动机M的对应关系上，我们认为：所有公文处理流程都有一个相应的公文流转流程有限状态自动机。 证明的基本思路是从实际的公文流转流程出发，将流程中的状态集合