【作者】 陈宇寒；

【导师】 姜浩；

【作者基本信息】 东南大学 ， 计算机应用， 2005， 硕士

【摘要】 工作流管理系统是近年来发展最为迅速的计算机应用技术之一,已被广泛地应用于办公自动化、业务流程重组(business process reengineering,简称BPR)及其他需要规划和管理工作流的领域。设计工作流管理系统的关键在于工作流建模,即在概念级上给出业务过程的抽象表示。通常,业务流程通过过程定义进行形式化描述,过程由若干定义完善的活动(或任务)和它们之间的连接关系以及相关的条件约束等组成。由于Petri网具有严格的数学基础和规范化的语义,对于工作流的建模与分析研究人员来讲有很大的诱惑力。特别是当需要考虑的经营过程较为复杂,如存在并发、冲突等情形时,用Petri网方法进行工作流模型分析有明显的优势。本论文的主要工作是研究工作流建模,其内容包括建模、模型验证、模型评价三个部分。第一部分主要叙述了工作流过程建模的实现。包括工作流建模工具;工作流活动图同Petri网的转化;工作流模型同xml文档的双向转化问题;以及时间Petri网信息在xml文档中的数据类型定义等问题。论文在上述几个方面详细介绍了实现的过程,并举例说明。第二部分根据一系列定理提出的工作流Petri网模型的验证性大致分为四个步骤。验证网的强连通性;计算并比较Rank (C );判断SMD属性;寻找活的初始标识。对每一步骤的算法都进行了详细的描述,对算法的时间复杂性进行分析。第三部分首先提出了一组时间Petri网保持时间约束特性不变的网变换规则和网的化简方法,通过反复应用变换规则进行化简,逐步减小网的规模,最终计算出工作流系统响应时间。论文中详细介绍该算法的实现过程及其数据结构。在本部分中,论文还详细介绍了基于标准C的xml解析器的实现流程以及相应的数据结构。最后一章对本论文的工作进行全面的总结,并对未来的工作进行了展望。更多还原

【Abstract】 In recent years, the workflow management system has become one of the fastest developing computer application technologies. It has already been widely applied in the field of office automation, the business procedure reengineering (BPR) and other fields such as demand planning and workflow management. The key for the workflow management system’s design is to model the workflow, which is to give the abstract expression of the business process at a conceptual level. Usually, the business process is described in form by formalized method. The process is composed of some well defined activities (or tasks), the link relations, and related restrain conditions and so forth.Since Petri net has strict mathematics basic and standardized semantic, it has been a great temptation to the researchers who work at modeling and analyzing workflow. Furthermore, when complicated business processes, such as erupting simultaneously and conflicts etc, have to be taken into consideration; using Petri net apparently has an advantage over the others.The main purpose of this paper is to model the workflow, including three parts: modeling, model verification and performance evaluation.In the first part, there is a narration about the realization of modeling tools for the workflow. The contents are mainly as the followings: workflow models expressed in figures; the two-direction transformation between the active pictures and Petri net flows in the workflow; the two-direction transformation between the workflow models and xml files; questions of defining the time Petri net, xml language and so forth.The second part puts forward a verification algorithm of Petri net model which can be divided into four steps: to prove strongly connected net; to calculate rank(c); to judge SMD attribute ; to look for the initial mark alive. Each step has been described and analyzed in detail.The third part suggests a group of algorithms, which keeps the time-constrain characteristic of Petri net, together with the simplified algorithm of net. By applying the transform rule continuously, the scale of net can be reduced progressively so that the workflow systematic response time can be calculated. And this provides the basis for the further analysis and reproduction of process procedure.The last chapter gives a conclusion on the overall summary to the work of this paper, and looks forward to the work in the future.更多还原