业务流程是企业运营的核心和本质,其重要性毋庸置疑。随着经济全球化、信息网络化、需求多样化,市场和客户需求都在快速变化之中,这必然导致业务流程呈现变化、动态的新特点。而传统业务流程管理系统的资源缺少统一的知识描述结构,导致流程资源在各流程系统间难以交互操作和共享;其基于关键字的知识信息检索方式,在语义和语用的揭示上也有很大的局限性,难以满足用户的实际需求。针对以上不足,本文提出了基于本体的流程知识库设计思想。将本体引入知识库的知识建模,建立领域本体知识库,通过术语或概念对知识进行表示,同时揭示这些知识之间内在的关系。领域本体知识库中的知识,不仅通过纵向类属分类,而且通过本体的联想(语义关联)进行组织和关联,推理机再利用这些知识进行推理,从而也能大大提高用户检索的查全率和查准率。通过考察业务流程管理的应用现状,指出它们存在的缺点,分析了将本体引入到流程知识库构建中的优势。并针对现有流程知识库的不足,根据本课题的业务流程模型,设计了基于本体的流程知识库的建模方法,将基于本体的流程知识库按照各自的作用分为流程本体、旅游资源本体等四个部分。并根据课题需求构建了流程知识库的各个子库,并对其进行形式化表示,给出其OWL(WebOntology Language)语言描述,使其便于进行资源的利用和共享。本文还提出了一种对知识库生成的基于事件驱动过程链EPCs(Event-drivenProcess Chains)的流程进行合理性验证的算法,以保证流程的正确性并实现流程的自动重组。EPCs在流程建模技术中比较流行,但也有它的局限性,如它的半形式化的语义,使得基于EPC的流程重组无法实现自动化。本文针对流程的自动化重组,采用有穷自动机(Finite State Automata)理论,提出了一种状态空间生成算法,以达到自动完成EPC正确性验证,从而能由业务人员自行完成流程重组之目的。流程的重组是基于EPC的,针对得到的EPC,首先利用EPC化简规则进行化简,然后把化简后的EPC转化成形式化的Petri网,通过有穷自动机理论,状态空间分析,人工判断等技术进行正确性验证,并实现验证算法。另外本文详细介绍了实现过程中的各种关键技术,比如本体存储、推理、查询,利用Jena解析本体知识库,以便访问和维护知识库,给出了具体实现代码,并指出了开发过程中的一些问题。本文通过对流程知识库的设计以及访问,把流程知识整合到一个综合的知识描述结构,实现业务流程的共享和重用,也在一定程度上解决了异质系统进行互操作的问题。本文的理论研究和实现方法,有助于实现系统之间或企业之间的流程共享和重用,对业务流程管理相关领域具有一定的参考意义。