实例方面与工作流的动态交互*

工作流技术是过程管理与过程建模的核心技术,满足了企业组织结构重组与先进制造战略实施的客观需求。但是,目前该技术在工作流活动实例批处理模块化与动态交互方面存在一定的局限性。针对该问题,提出了一个面向方面的方法实现工作流建模,即对现有工作流模型进行面向方面的扩充。通过方面,在该建模方法中实现工作流活动实例方面模块化,并且完成了实例方面与原工作流模型之间的动态交互。     

面向目标的迁移工作流研究

传统的迁移工作流系统为迁移实例编写面向过程的工作流说明并驱动其工作,这种方法限制了迁移实例的灵活性。该文提出面向目标的迁移工作流的概念,定义相应的概念模型,给出基于BDI体系的迁移实例结构,使得迁移实例可以产生令工作流状态向目标转移的信念、愿望、意图和行为。相比传统的工作流方法,该概念模型和迁移机制能够灵活地处理工作流环境中的变化和根据工作流状态进行智能决策,具有目标驱动的特性。     

基于Web服务的动态工作流系统的研究与实现

分析了面向服务的计算环境及服务组合的新特征和新问题,并在此基础上从面向业务用户的角度对基于Web服务的动态工作流进行了探讨,提出一种基于Web服务的动态工作流模型。以该模型为基础,设计了具有三层结构的基于Web服务的动态工作流系统,按照该架构并基于J2EE平台实现了系统,对基于Web服务的动态工作流应用提供了系统支撑与验证环境。     

基于Web服务的动态工作流系统的研究与实现

分析了面向服务的计算环境及服务组合的新特征和新问题，并在此基础上从面向业务用户的角度对基于Web服务的动态工作流进行了探讨，提出一种基于Web服务的动态工作流模型。以该模型为基础，设计了具有三层结构的基于Web服务的动态工作流系统，按照该架构并基于J2EE平台实现了系统．对基于web服务的动态工作流应用提供了系统支撑与验证环境。     

基于管道隐喻的工作流可视化方法

为直观高效的呈现工作流数据,提出面向大量工作流实例的基于三维管道隐喻的可视化方法.研究了运行阶段工作流数据特点,对流程和相关数据进行分析和建模,面向流程型数据特点提出一个有针对性的可视形态,将数据映射到三维空间中,以信息密度高的三维形态呈现多工作流实例视图,并在此基础上讨论用户交互目标和交互任务集,提供自然的交互方法,揭示工作流数据中隐含的规律,为分析利用大量工作流数据提供支持.通过系统实例验证了该方法的有效性.     

面向集团企业的服务工作流系统架构研究

集团企业必须适应动态的业务组织方式,以响应瞬息万变的市场需求。在服务相关知识的基础上,对服务工作流进行分析和定义,并构建基于服务工作流的引擎执行框架。针对服务工作流在组合过程中的不足,对服务进行语义信息扩展,建立动态的服务调度机制。提出一种面向集团企业的服务工作流系统体系架构,为集团企业在新环境下实现按需整合业务和优化资源配置提供解决方案。最后通过具体的集团制造应用实例说明该架构的实施方法。     

柔性工作流动态建模机制的研究与设计

传统的工作流系统灵活性不强,缺乏对动态性和自适应性需求的支持,不足以应付复杂多变的业务流程.为了使工作流系统能够较好地适应变化,对基于规则的柔性工作流的动态建模机制进行了深入的研究,分析了现有的基于规则的工作流动态建模机制的不足,提出了能够动态构建出包含循环逻辑的工作流模型的方法.这一方法能够高效地动态构建较为复杂的工作流模型.文中较详细地阐述了这一方法的具体步骤,并结合实例展示了该方法的具体执行过程.     

优化协同商务虚拟工作流的Web服务组合路径搜索*

为了解决协同商务系统中面向虚拟工作流的业务流程动态组合、生成问题,从抽象层面上运用Web服务及其组合技术,分析面向工作流的、跨组织的、分布式动态服务组合模型;探讨基于工作流环境实施动态Web服务组合的多层次组合方案推理和选择的一般化模型,在多层多可选服务情况下基于路径代价和服务偏好设计了一种最优服务组合路径的搜索算法,并对该算法进行了验证。验证结果表明,该算法可以有效地解决Web服务组合技术支持下的协同商务虚拟工作流的优化问题。     

基于动态结构的柔性工作流建模方法研究

柔性工作流能够快速灵活地适应企业业务流程的动态变化。在分析柔性工作流产生的原因和柔性工作流特性的基础上,详细描述了基于动态结构的柔性工作流的组成及其表示方法,提出了一种柔性工作流建模方法,结合基于Web的客户服务系统,给出了该柔性工作流建模方法的实例。     

基于Petri网的工作流动态演进方法

快速变化的外部环境,对工作流管理系统的适应能力提出了新的要求。基于Petri网描述的工作流模型,提出一种新的工作流动态演进方法。该方法通过对工作流实例执行历史信息的记录和分析,并结合虚拟执行以及事务回滚等思想来解决工作流动态演进的问题。同时给出了实现工作流实例迁移的算法。     

基于随机良构工作流网的工作流进程性能分析

工作流进程中的QoS受很多非功能性因素的影响,例如性能、可靠性以及安全性等等。对QoS度量的管理直接影响到参与工作流具体应用的服务能否顺利完成。因此,当服务被工作流或Web进程创建或管理时,底层的工作流引擎必须估计、检测并控制用户的QoS。基于已有的工作流模型分解算法,利用随机良构工作流网的数值分析,给出了分析工作流进程QoS的一种新方法,并结合实例加以验证。     

工作流技术在OA系统中的应用

对工作流及工作流管理系统进行了一定的研究,认为工作流建模和工作流运行控制是工作流应用的两个关键方面,并从实用角度,研究工作流技术在OA系统中的实现。基于工作流的OA系统,用户在使用过程中能够自己配置工作流程、监控工作流程,充分体现软件柔性化,满足用户对于不断变化的业务流程需求。     

Standards-based approaches to B2B workflow integration

E-business automates the overall activities of a company and allows distributed systems to communicate their information. Process automation and information sharing improve a company’s productivity and responsiveness, while Business-to-Business (B2B) workflow systems electronically aid the progress of business processes among trading partners, and also help companies to monitor and administrate their process execution. This study analyzes the technologies and standards for B2B workflow integration, and extracts a reference model for B2B workflow integration. Based on the reference model, three approaches to B2B workflow integration will be introduced here. In addition, we have developed a prototype system of one approach and have illustrated an example for B2B workflow integration. The result of our research can help business partners understand the workflow standards and the messaging technologies for B2B workflow integration, and also help them understand how to implement workflow integration systems that are appropriate to their e-business environments.     

基于多层状态机的安全工作流模型

本文介绍了安全工作流以及状态机的基本概念,通过对工作流中安全属性的研究,提出了一种基于多层状态机的安全工作流模型。该模型架构分为工作流层、控制层和数据层三个层次,我们分别从任务、事件和数据角度来分析安全工作流的执行。最后,我们介绍了多层状态机中的授权函数,并详细阐述了安全工作流模型中各个层次的授权过程。     

The design of a JADE-based autonomous workflow management system for collaborative SoC design

Given a fast changing electronics goods marketplace, designers of integrated circuits and components need to be more competitive, efficient, flexible, and use collaborative workflow to reduce time-to-market and a project’s life cycle. In recent years, agent-based workflow management systems (WfMS) have been widely used to monitor and control business design processes. In this paper, intelligent agents are applied to the collaborative system-on-chip (SoC) design environment. The proposed JADE-based autonomous workflow management system (JAWMS) uses a workflow coordination mechanism and an agent integration mechanism to enable the analysis, management and interaction of automated design processes. The workflow coordination mechanism uses five domain specific agents to perform the workflow enactment services and a generic agent to control the system flow logic. The system kernel of JAWMS follows the specifications of the workflow reference model provided by the workflow management coalition (WfMC). The agent integration mechanism supports an agent to interact with other JADE-based agent platforms and to coordinate and monitor workflow coordination messages. All agents are written in the Java language using the JADE platform and work together to perform flexible, adaptive and dynamic design tasks in an autonomous and collaborative way. JAWMS facilitates SoC design and team interaction in a collaborative but distributed product development environment.     

面向执行的工作流控制流建模技术研究

工作流系统中的控制流建模一般注重描述活动间的路由语义,通过组合分支和汇合结点构造过程路由结构。这种描述方法不便于执行,导致工作流引擎的实现复杂。直接从过程和活动本身及相邻两个活动间的控制响应关系和路由关系入手,开发了一种基于ECA规则的控制流建模方法。使得过程和活动能响应外部事件,从而实现对工作流的动态行为建模。而且,用链接和控制点实现了活动间复杂路由语义的建模。统一了工作流引擎对控制流的执行方法,使得工作流引擎的实现机制大大简化。     

基于工作流的知识流建模与控制

知识在多个参与者之间的产生、传播与应用称为知识流.在知识密集型组织中,对业务过程的控制和对知识资产的管理具有紧密的依赖关系.工作流管理是实现业务过程控制的重要技术.当前的工作流过程元模型不支持对知识管理机制的表示.为此,提出了一个扩展的工作流过程元模型,以支持业务过程控制与知识管理的集成.在此基础上,对知识流的建模与控制进行了深入的研究.提出了一种知识流建模方法,通过5类知识流单元对知识传递与重用、人员协作与交流进行表示.针对知识流中的动态因素,研究了基于资源约束、知识需求变化和时间约束的知识流控制方法,以实现自适应的知识流控制,并给出了有关算法.为工作流技术与知识管理技术的有效结合提供了一个有益的途径.     

Formalizing the specification and execution of workflows using the event calculus

The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper proposes the event calculus as a logic-based methodology for the specification and execution of workflows. It is shown that the control flow graph of a workflow specification can be expressed as a set of logical formulas and the event calculus can be used to specify the role of a workflow manager through a set of rules for the execution dependencies of activities. The proposed framework for a workflow manager maintains a history of events to control the execution of activities. The events are instructions to the workflow manager to coordinate the execution of activities. Based on the already occurred events, the workflow manager triggers new events to schedule new activities in accordance with the control flow graph of the workflow. The net effect is an alternative approach for defining a workflow engine whose operational semantics is naturally integrated with the operational semantics of a deductive database. Within this framework it is possible to model sequential and concurrent activities with or without synchronization. It is also possible to model agent assignment and execution of concurrent workflow instances. The paper, thus, contributes a logical perspective to the task of developing formalization for the workflow management systems.     

着色时间工作流网任务调度的时间约束分析

为实现工作流管理系统中的任务调度和时间管理,避免流程在多任务运转时产生溢出,提高流程的工作效率。采用不固定时延定义了着色时间Petri网,通过控制任务间的最小时距避免了溢出,并用任务监测器实现了相应的控制策略。以各任务间的时间间隔最小为优化目标,对串行、并行、条件选择和循环四种基本着色时间工作流网进行了时序分析和任务调度,推导出多任务在基本着色时间工作流网调度的数学模型和着色时间工作流网整体运行时间函数的计算公式。最后通过一个审批流程对论述的任务调度方法进行了验证。     

Component-based workflow systems development

Component-based development is a promising way to promote the productivity of large workflow systems development. This paper proposes a component-based workflow systems development approach by investigating the following notions, mechanisms, and methods: workflow component, workflow component composition, reuse–association relationship between workflow components, and workflow component repository. The proposed approach is supported by a set of development strategies and a development platform. Through application and comparison, we show the advantages of the component-based workflow systems and the effectiveness of the proposed approach.