A Workflow Process Mining Algorithm Based on Synchro-Net

Sometimes historic information about workflow execution is needed to analyze business processes. Process mining aims at extracting information from event logs for capturing a business process in execution. In this paper a process mining algorithm is proposed based on Synchro-Net which is a synchronization-based model of workflow logic and workflow semantics. With this mining algorithm based on the model, problems such as invisible tasks and short-loops can be dealt with at ease. A process mining example is presented to illustrate the algorithm, and the evaluation is also given.

A New Methodology for Process Modeling of Workflows

Workflow-based systems are typically said to lead to better use of staff and better management and productivity. The first phase in building a workflow-based system is capturing the real-world process in a conceptual representation suitable for the following phases of formalization and implementation. The specification may be in text or diagram form or written in a formal language. This paper proposes a flow-based diagrammatic methodology as a tool for workflow specification. The expressiveness of the method is appraised though its ability to capture a workflow-based application. Here we show that the proposed conceptual diagrams are able to express situations arising in practice as an alternative to tools currently used in workflow systems. This is demonstrated by using the proposed methodology to partial build demo systems for two government agencies.

一种基于XML的Workflow过程定义语言

工作流是指一个业务操作从开始到结束的整个过程,是一系列相互衔接、自动进行的业务活动或任务,它在流程管理方面有很重要的应用。由于工作流程和业务规则的变更会经常发生,所以提供一种好的Workflow过程定义方法或语言已经成为目前工作流技术得以进一步发展和广泛应用的关键。在WPDL的基础上提出了一种基于XML的简单易用的Workflow过程定义语言。

基于Daisy的天文卫星数据处理软件系统设计与实现

天文卫星数据处理是开展空间天文学领域科学研究的重要内容,也是当前研究的热点。然而,在大数据背景下,由于需要进行大规模数据处理,传统的数据处理方式已经无法满足当前应用的需求。针对这一问题,本文提出了一种数据处理软件系统,该系统基于Daisy(Data Analysis Integrated Software System)研发,实现天文卫星数据处理流程的自动化和规范化。首先,通过分析卫星数据产品间的依赖关系,采用数据分块处理技术,实现系统内存管理;其次,通过对数据处理算法和工具进行标准化,实现底层代码的统一管理;最后,研发工作流调度平台,实现数据处理流程的自定义配置和实时监控。实验验证了该系统具有有效性和实用性,能够克服传统数据处理方法的不足,实现数据处理流程的自动化和规范化,为相关软件系统的设计提供指导。

基于科学工作流的通用卫星数据处理调度系统

天文卫星产生的海量观测数据下传至地面后,需要经过一系列的处理流程生成可供科学研究人员的数据产品。传统数据处理方式需要耗费大量的时间和人力成本,同时存在缺乏灵活性、任务管理困难及执行效率低下等缺陷。基于上述问题,为实现卫星数据产品生成的自动化和规范化,该文研究并设计了一种基于科学工作流的通用卫星数据处理调度系统。通过封装卫星数据处理算法,结合科学工作流、可视化编辑等相关技术,实现卫星数据处理的自动化和可配置,用户更新需求时无需修改代码,只需重新配置参数;利用可拔插组件设计机制实现系统的通用性,满足不断扩增的卫星的不同数据处理需求。根据已有卫星的数据处理需求进行应用测试,应用实例表明,该系统能够实现卫星数据的自动化处理,并且能够极大地提高处理流程的灵活性、可维护性和执行效率,有利于科学研究人员根据自己的需求获取卫星数据产品。

Lotus Workflow工作机制与应用研究

Dom ino是OAS开发的主力平台,其上的工作流管理系统LotusW orkflow成功地将工作流原理机制引入到开发平台中,很好地适应了OAS开发对安全性、方便性以及动态变化的要求.本文对LotusW orkflow的工作机制进行了详细的剖析,介绍了其工作流的组织方式和引擎工作原理,并在此基础上成功地进行了OA应用系统的设计与实现.

基于自定义工作流技术的项目管理系统设计

针对传统工作流对流程的定义过于严格,且无法解决企业项目管理中业务流程变更繁多、多层级任务分配等问题,采用了一种三层结构的流程步骤设计方案,该方案保证了流程层级清晰且易灵活配置。同时结合项目管理的前导图法(PDM),提出了一种改进的控制模式。经验证,系统在24小时内完成审批总数量为1157条,在0~4小时内完成485条,0~4小时内处理审批数量占比高达42%。该方案与线下审批处理相比,明显节约了审批时间,为采用自定义工作流技术进行项目管理系统设计提供了新思路。

浅析水源山抽水蓄能电站工程砂石料单价计算

砂石料单价对水电工程投资的确定和优化有直接影响,合理计算砂石料单价成为控制及优化投资的重要环节。自产砂石料具有渣料消纳、成品多样、运输方便、价格普遍低于外购砂石料等优势,被广泛应用于抽水蓄能工程中。文章结合水源山抽水蓄能电站上水库砂石料加工系统,梳理了该系统的工艺流程,包括工序划分、设备选用以及皮带输送机流向,通过对各生产工序的分析研究,单价计算过程费用结构清晰,计算成果合理。

工艺工程领域价值分析降成本工作流程探索——以B1B2水性漆切换1K清漆为例

为探索工艺工程领域价值分析降成本工作流程,文章借鉴汽车行业价值分析与价值工程(VAVE)工作经验,通过B1B2水性漆匹配1K清漆价值分析降成本实践,探索出降成本优化点识别、可行性分析、目标设定、方案设计、试行验证、优化调整、总结固化的工作流程,可供国内商用汽车整车及零部件生产企业工艺工程技术人员借鉴参考。

Stochastic Model for Multiple Classes and Subclasses Simple Documents Processing

The issue of document management has been raised for a long time, especially with the appearance of office automation in the 1980s, which led to dematerialization and Electronic Document Management (EDM). In the same period, workflow management has experienced significant development, but has become more focused on the industry. However, it seems to us that document workflows have not had the same interest for the scientific community. But nowadays, the emergence and supremacy of the Internet in electronic exchanges are leading to a massive dematerialization of documents;which requires a conceptual reconsideration of the organizational framework for the processing of said documents in both public and private administrations. This problem seems open to us and deserves the interest of the scientific community. Indeed, EDM has mainly focused on the storage (referencing) and circulation of documents (traceability). It paid little attention to the overall behavior of the system in processing documents. The purpose of our researches is to model document processing systems. In the previous works, we proposed a general model and its specialization in the case of small documents (any document processed by a single person at a time during its processing life cycle), which represent 70% of documents processed by administrations, according to our study. In this contribution, we extend the model for processing small documents to the case where they are managed in a system comprising document classes organized in subclasses;which is the case for most administrations. We have thus observed that this model is a Markovian ML×K/ML×K/1 queues network. We have analyzed the constraints of this model and deduced certain characteristics and metrics. In fine, the ultimate objective of our work is to design a document workflow management system, integrating a component of global behavior prediction.

Artifact-centric workflow management system

Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was outlined.Key components and research issues associated with the development of EZFLOWS were discussed.

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri net-based reduction approach for verifying the correctness of workflow models. To the end, how to represent well-behaved building blocks and control structures of business processes by Petri nets is given at first, and then how to build well-structured process nets is presented. According to the structural characteristics of well-structured process nets, a set of legacy reduction rules are improved and extended, and then a complete Petri-net-based verification approach is proposed. The sound ness and the complexity with polynomial time for the improved re duction method are also proven.

基于Windows Workflow Foundation技术的软件项目管理系统的实现方法

采用工作流技术构建软件项目管理系统的架构,通过Windows Workflow Foundation技术把系统业务流程的应用逻辑和过程逻辑分离,在不修改具体功能模块的情况下,只需修改过程模型即可改变系统功能,从而实现对系统业务流程的过程化的集成管理。

Behavior Consistency Computation for Workflow Nets With Unknown Correspondence

Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence has become a problem. For this condition, we should analyze unknown correspondence due to the influence of different correspondences.In this paper we obtain the relations of transitions based on event relations using branching processes, and build a behavioral matrix of relations. Based on the permutation of behavioral matrix, we express different correspondences, and define a new formula to compute the maximal consistency degree of two workflow nets. Additionally, this paper utilizes an example to show these definitions, computation as well as the advantages.

A Reflective Approach for Dynamic Change of BPEL Process

WS-BPEL （Web Service Business Process Execution Language）, as an emerging workflow standard, provides a simple and effective way to construct Web Services-oriented workflows. However, to the best of our knowledge, few effort from the industry and academia has addressed the dynamic change problems of BPEL process. This paper proposes a reflective approach to solve this problem. In this paper, a formal meta-object model of process instance is defined; the behavioral consistency criterion based on this model is proposed; a set of modification primitives are given to modify the meta-object while keeping the change atomic and consistent; and in addition, the MOP is offered to provide the programming interfaces for dynamic BPEL process change.

Context-aware BPEL workflow system using aspect-oriented programming

Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.

Concurrent processes scheduling with scarce resources in small and medium enterprises

Scarce resources,precedence and non-determined time-lag are three constraints commonly found in small and medium manufacturing enterprises(SMEs),which are deemed to block the application of workflow management system(WfMS). To tackle this problem,a workflow scheduling approach is proposed based on timing workflow net(TWF-net) and genetic algorithm(GA). The workflow is modelled in a form of TWF-net in favour of process simulation and resource conflict checking. After simplifying and reconstructing the set of workflow instance,the conflict resolution problem is transformed into a resource-constrained project scheduling problem(RCPSP),which could be efficiently solved by a heuristic method,such as GA. Finally,problems of various sizes are utilized to test the performance of the proposed algorithm and to compare it with first-come-firstserved(FCFS) strategy. The evaluation demonstrates that the proposed method is an overwhelming and effective approach for scheduling the concurrent processes with precedence and resource constraints.

Research on Concurrent Engineering Oriented Integrated Product Development Process Management System

In concurrent engineering, effective process management is the key to improve the efficiency and quality of product development. Although in project management system, workflow management system and PDM system, process management functions are provided, they can not meet the needs of product development. In this paper, we integrate the project management, workflow management and product management technique together and a concurrent engineering oriented integrated product development process management system is proposed. The system structure, integrated product development model and running method are introduced. The practice proves this system is powerful in supporting product development process.

基于业务流程编排的自动化运维实现研究

在传统编排系统的基础上,采用精细化流程模型联合Choreography编排模型搭建了业务流程自动化编排系统,通过对某大型电商平台的业务信息进行业务流程编排测试,利用业务流程编排的运行速度、出错率以及编排有效率指标结果与传统业务流程编排情况来评价该系统的运行效果。结果显示,与传统业务流程编排系统相比,该系统的运行速度明显提升,差异具有统计学意义(P<0.05);业务流程编排的出错率明显降低,其差异具有统计学意义(P<0.05);与此同时,该系统的业务流程编排有效率在测试10 000次时达到98.6%,相较于传统业务流程编排系统明显提升,其差异具有统计学意义(P<0.05)。