农业部政务办公系统——政府政务办公的完整实践

在农业部办公业务系统的应用实践中,笔者分析和解决遇到的一些实际应用问题。通过对工作流定义的认识和实践找到解决农业部办公业务系统的方法,从工作流的基本组成要素和基本设计要素的分析入手揭开工作流神秘的面纱。通过对工作流中基本属性,人、组织、规则和基本组成节点、节点连接的认识,从实践入手找到工作流最基本的组成的形态,在此基础上探索出流程设计的颗粒化理论。提出流程连接、流程交换、流程交换总线的理论,从根本上解决工作流在设计应用中不可避免出现的流程孤岛问题。建立以流程交换为基础,以流程交换总线为核心的工作流引擎,建立农业部办公业务系统中公文处理的流程模型。通过在农业部办公业务系统的最佳实践,用最简单的、最直接的流程设计理念诠释政府办公业务流程最基本的内在规律,以寻求打开农业部办公自动化大门的金钥匙。     

一种改进的基于模板的工作流过程定义方法

随着工作流技术在企业业务流程管理中的广泛应用,人们对工作流管理系统的描述能力和动态变更能力提出了更高的要求。针对目前的工作流过程定义方法在这两个方面的不足,本文提出了一种基于模板机制的工作流过程定义方法。该方法在现有的工作流过程定义模型的基础上,加入了新的过程模板和活动接口元素。本文由此扩展了工作流过程定义语言,增加了支持模板描述的机制。实际应用的结果表明,该方法和现有的工作流过程定义方法相比,显著提高了模型描述能力,使得过程模型具有了较强的可重用性和可扩展性,并具备了一定的动态变更能力。     

基于元图的工作流建模分析方法

工作流可以有效的规范业务流程、监控流程的执行，而且能够根据客户的需求创建出新流程模型。工作流的建模过程存在一定的复杂性，它要求创建的新模型具有可视化和可操作的特点，同时模型的有效性（即正确性与合理性）也是相当重要的。将元图运用于工作流建模和分析过程，以具体的业务流程为背景，逐步分析隐含在流程中的深层次问题，找出信息元素、活动和资源之间的相互关系，从而确保工作流模型的有效性。     

一种可重构的工作流执行模型

为提高工作流系统的适应性和可维护性，提出了一种可重构的工作流执行模型。该模型面向活动行为的相异性和动态性，把活动状态作为描述过程状态的特征，给出了过程状态的形式化定义，建立了过程状态间的层次化关系与优先级关系。在该基础上，严格地给出了基于基本特征集和基于相容特征集的过程状态精化方法，设计了自动生成过程状态转移关系的算法。最后，结合实际应用讨论了一种基于规则的执行模型可重构性实现方法。应用该方法能够提高工作流管理系统适应企业业务过程需求快速变化的能力。     

基于工作流管理的CAD/CAPP集成化轴承协同设计系统

为了在计算机辅助轴承设计中取得更高的效率、更好的过程控制和更多的灵活性,使用工作流管理技术对轴承的产品设计和工艺设计过程进行建模,并建立一个CAD/CAPP集成的协同设计系统。设计一个基于调查表的业务过程管理工具对过程进行定义和重组,同时,资源间的负载均衡可以由一个资源-工作项匹配算法实现。产品的本地模板与参数化技术使服务器与客户机无需交换产品文件,有效降低了网络带宽要求。     

基于Web的工作流技术在测绘管理中的应用研究

随着计算机技术的发展和应用,工作流技术在现代组织管理中发挥的作用越来越大。将基于Web的工作流技术引入测绘管理领域,是为了实现测绘部门的业务流程自动化、协同化和信息的充分共享。给出了工作流应用系统框架结构,提出了工作流系统模型,此模型由组织机构模型、流程定义模型和流程执行模型组成,并给出了具体的应用实例。     

基于敏捷供应链的协同商务过程管理与控制系统*

协同商务过程管理与控制系统是基于工作流思想和技术的一种新的应用模式。介绍了工作流技术;分析敏捷供应链中协同商务过程的特征,并建立了其模型;讨论商务过程的管理与控制模式,构建了基于敏捷供应链的协同商务过程管理与控制系统模型,并分析了其实现技术。     

OA模型的可配置流程与知识管理技术

工作流技术是提高企业业务过程效率和生产率的关键技术。知识管理是在适当的时间把相关的信息与知识传送给适当的人员，使其能够有效地利用信息与知识，采取行动，产生效益的科学。该文研究了工作流技术和知识管理方法在办公自动化系统中的应用，提出了一种基于工作流理论的以可配置流程和知识管理为特点的OA模型，即FDOA模型，该模型通过可配置流程实现了OA系统中每个实体运用知识进行协同工作的自动化过程。     

一种新的商务名片的快速二值化算法

对商务名片进行自动识别,二值化处理是非常关键的一步,其效果将直接影响到后面的版面分析以及字符的分割和识别。而现有的二值化算法时间复杂度高,并且缺乏针对性。提出了一种专门针对商务名片的快速二值化算法,该算法利用颜色模型,通过优化带权误差平方和目标函数找到最优阈值,并给出一个快速迭代算法。经过大量实验证明,相比于传统二值化算法,该算法在嵌入式环境中对商务名片图像做二值化处理,不仅降低了时间复杂度,提高了处理效率,并且对于那些图案设计复杂的名片也起到了很好的预处理的作用,可以去除对于识别结果无用的图案,净化版面,给后续的版面分割等工作打好基础。     

继电保护定值管理系统设计

基于工作流技术分析了定值单管理业务过程,利用UML活动图对定值单管理工作流程建模,在BEA Weblogic Integration支持下实现了定值单工作流系统,给出了与定值整定计算软件、配电AM/FM/GIS进行系统集成的方案.系统的实施实现了定值生产管理流程化、自动化和多部门协同.     

Constraint-centric workflow change analytics

In a globalized economic environment with volatile business requirements, continuous process improvement needs to be done regularly in various organizations. However, maintaining the consistency of workflow models under frequent changes is a significant challenge in the management of corporate information services. Unfortunately, few formal approaches are found in the literature for managing workflow changes systematically. In this paper, we propose an analytical framework for workflow change management through formal modeling of workflow constraints, leading to an approach called Constraint-centric Workflow Change Analytics (CWCA). A core component of CWCA is the formal definition and analysis of workflow change anomalies. We operationalize CWCA by developing a change anomaly detection algorithm and validate it in the context of procurement management. A prototype system based on an open-source rule engine is presented to provide a proof-of-concept implementation of CWCA.     

群件系统工作流技术的实现研究

工作流技术是群件机制的重要组成部分,该文研究了群件系统中工作流技术的系统实现,并结合面向OA应用、集成群件各种资源的特点,参考WFMC制定的工作流产品实现参考模型、工作流参考模型,给出了一种群件中工作流管理的实现模型、过程定义元模型和数学模型等,它是进行详细系统设计的理论基础,这种模型可以保证系统功能的实现和与其他工作流管理系统的通讯。     

需求信息管理的Petri网工作流模型

针对目前国内软件企业中需求信息管理存在的业务流程问题,提出合理的工作流建模方案。利用Petri网建模技术建立流程实例模型,再建立完整的工作流模型。按照Petri网的数学特性对结果模型进行的正确性分析和验证表明该模型具有良好的数学特性。基于Petri网的工作流建模方法能够为需求信息管理提供合理的解决方案。摘要:     

需求信息管理的Petri网工作流模型

针对目前国内软件企业中需求信息管理存在的业务流程问题．提出合理的工作流建模方案。利用Petri网建模技术建立流程实例模型,再建立完整的工作流模型。按照Petri网的数学特性对结果模型进行的正确性分析和验证表明该模型具有良好的数学特性。基于Petri网的工作流建模方法能够为需求信息管理提供合理的解决方案。     

Improving process models by discovering decision points

Workflow management systems (WfMS) are widely used by business enterprises as tools for administrating, automating and scheduling the business process activities with the available resources. Since the control flow specifications of workflows are manually designed, they entail assumptions and errors, leading to inaccurate workflow models. Decision points, the XOR nodes in a workflow graph model, determine the path chosen toward completion of any process invocation. In this work, we show that positioning the decision points at their earliest points can improve process efficiency by decreasing their uncertainties and identifying redundant activities. We present novel techniques to discover the earliest positions by analyzing workflow logs and to transform the model graph. The experimental results show that the transformed model is more efficient with respect to its average execution time and uncertainty, when compared to the original model.     

Conformance checking of processes based on monitoring real behavior

Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. On the other hand explicit process models describing how the business process should (or is expected to) be executed are frequently available. Together with the data recorded in the log, this situation raises the interesting question “Do the model and the log conform to each other?”. Conformance checking, also referred to as conformance analysis, aims at the detection of inconsistencies between a process model and its corresponding execution log, and their quantification by the formation of metrics. This paper proposes an incremental approach to check the conformance of a process model and an event log. First of all, the fitness between the log and the model is measured (i.e., “Does the observed process comply with the control flow specified by the process model?”). Second, the appropriateness of the model can be analyzed with respect to the log (i.e., “Does the model describe the observed process in a suitable way?”). Appropriateness can be evaluated from both a structural and a behavioral perspective. To operationalize the ideas presented in this paper a Conformance Checker has been implemented within the ProM framework, and it has been evaluated using artificial and real-life event logs.     

基于重复任务的复杂结构挖掘

过程挖掘对于部署新的商业流程以及审计、分析和改进已有的流程是非常有帮助的。在商业流程系统日志中,同名任务和重复任务是大量存在的。现有的挖掘算法都不能很好地区分,这导致在过程挖掘的结果中往往会产生不准确的流程模型。为了提高过程挖掘的准确性,提出了一种改进方法,它不仅能够挖掘日志中的循环结构、非自由选择结构等复杂结构,还能够挖掘日志中的同名任务和重复任务。     

基于并行状态自动机的工作流建模

为了实现工作流管理功能，首先要把业务过程从观实世界抽象出来，并用一种形式化疗法对其进行描述，其结果就是工作流模型。该文讨论利用并行自动机对工作流的形式化问题。基于对工作流和并行自动机的分析，提出了将工作流的概念映射到并行自动机概念上的方法，该方法可以把工作流联盟提出的工作流的4种结构映射到并行自动机的结构上。给出了并行自动机的结点转化图，即给出了工作流引擎的框架。并行自动机是一种图形的、数学化的计算模型，当工作流的模型一并行自动机建立起来后，为工作流的静态特性和动态特性的分析打下不坚实的基础，为进一步的研究作好了准备。     

A framework for virtual enterprise operation management

This paper presents researches on operation management for virtual enterprises (VEs). A virtual enterprise is a temporary alliance of member enterprises (MEs) formed to exploit fast-changing opportunities. During the operation of a virtual enterprise, its constituent member enterprises, which are geographically distributed and organizationally independent, collaborate with each other to execute the whole business process (BP) of the virtual enterprise. With the aim of addressing business integration for virtual enterprises, this paper develops a framework for virtual enterprise operation management. From the viewpoint of business processes, carried out is integral research on business process modeling, analyzing, and managing for virtual enterprises. Both the distributed business process model and the model of the virtual enterprise itself are established. The former provides the functional basis of the virtual enterprise operation, while the latter provides its structural basis. Further, the two models are integrated through the loading from the distributed business process model to the virtual enterprise model. Through such model separation and integration, business process management for virtual enterprises is enacted and business integration for virtual enterprises is achieved.     

工作流过程建模方法及模型的形式化验证

Work/low technology is widely used in business process modeling, software process modeling as well as en-terprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, expressiveness and formalism. In this paper, the modeling approaches most used in research project and workflow products are compared. And the verification of workflow model is also dealt. We argue that a ideal workflow modelin~ approach is a hybrid one, i.e. the inteuration of the above approaches.