基于jBPM4的工作流可配置技术及应用

针对传统工作流流程定义配置和流程业务逻辑的复杂性,在工作流引擎jBPM4的基础上,提出流程动态可配置的工作流设计方法.详细介绍了工作流可配置技术的实现机制,并建立了工作流流程模型设计工具.实际应用表明,该可配置技术在质量管理系统中的应用方便了业务人员设计流程,减少了开发人员的开发量和系统管理员的维护量,可满足用户丰富多...     

GDE审核管理模块的研究与构建

审核管理模块是发电机开发环境中的数据管理处理模块．本文主要研究通过工作流管理系统引擎,构建发电机开发环境中设计分析审核管理模块,协同流程中对工程数据校核、审核和审批的各个任务,以实现其基于工作流管理的流程自动化,提高模块灵活性．     

虚拟地理环境中Agent支持下的混合式协同模型研究

分析了虚拟地理环境(VGE)中多用户交互的特性和多智能体系统(MAS)的特点,研究了多智能体系统应用于虚拟地理环境中多用户协同控制的优势,在此基础上提出了基于Agent的混合协同控制模型,实现了对用户间的协同控制.研究了该模型的结构、功能组成、资源访问冲突控制和动态群组算法流程等关键问题,并结合一个应用实例进行了验证.实验结果证明,该混合式智能协同模型行之有效,能够为虚拟地理环境提供一种新的智能协同控制方法.     

一种基于模式的服务工作流个性化定制方法

针对业务复杂多变,用户目标逐步明确的特点,提出一种面向用户需求的动态服务工作流构建和实例化方法.首先构造服务流程模式,将业务知识和工作流相结合,作为服务工作流的知识描述,实现对业务领域知识和与之适应的服务流程的抽象和规范;基于服务流程模式,利用多层次匹配构造多粒度抽象服务组织模型,实现服务工作流的业务逻辑定制;然后,利用QoS分析进行具体服务选择,实现服务实例定制,最后通过一个应急处理示例来说明此方法的应用.     

面向服务的工作流分层映射模型

基于对面向服务的体系结构(SOA)下服务角色划分以及对当前分布式应用特征的分析,通过引入抽象资源和抽象服务的概念,提出了一个面向服务的将工作流划分为业务工作流(BWF) 、抽象工作流(AWF)和执行工作流(EWF)的工作流映射模型.它将业务工作流的部署、执行转换成两个映射--业务工作流到抽象服务工作流的映射和抽象服务工作流到执行服务工作流的映射 .这一模型为当前Internet上基于Web服务和Grid服务的分布式应用提供了一种动态的组织、部署和执行方案.此外重点探讨了实现该模型下多层次工作流计算机辅助映射的应用模板技术,应用模板定义了各个抽象资源和抽象服务在特定应用任务中必须遵从的约束及必须提供的相关元数据.     

The management of associations and states of business objects in ICEMDA

在可互操作、可配置的企业模型驱动体系结构( ICEMDA)研究的基础上,提出了一种基于关联对象和状态矩阵的业务对象(BO)关联和状态管理模型与处理机制,以解决目前企业软件与应用研究在数据关联复杂的情况下大都忽略了由关联引发的业务状态依赖的问题.借助实例分析了业务关联的重要性,提出了管理模型的总体结构与核心概念,使用关联对象描述连接BO之间的直接和间接关联,以状态矩阵描述质变状态与量变状态的混合情况.基于BO和工作流引擎的系统架构,以相对松散的BO组装实现了该模型,并给出处理关联对象和状态矩阵的相关算法.通过采购管理软件的实例验证了本文方法的有效性.     

基于工作流管理系统JBPM的研究

介绍基于J2EE架构的工作流管理系统JBMP的系统架构及其工作流模型,并分析JBMP工作流引擎的流程运转过程。     

浅谈基于行为理论的工作流模型

首先对工作流(Workflow)的基本概念进行介绍,并在此基础上提出一种基于语言对话的工作流模型。从模型语义上以行为理论为出发点,运用工作流技术,设计一个在处理以人的交互为特征的经营过程中的工作流模型,解决一个个有序的任务点(活动点)依赖关系问题,达到提高工作的自动化能力和效率。     

基于工作流管理系统JBPM的研究

介绍基于J2EE架构的工作流管理系统JBMP的系统架构及其工作流模型，并分析JBMP工作流引擎的流程运转过程。     

应用于生产管理的工作流技术研究

参考目前国际上工作流方面的研究工作，对工作流内涵进行了扩展，给出了工作流系统的模型描述，结合Agent技术，将工作流技术应用于生产管理，并使用ECA规则控制工作流程的执行。最后构建了一个用于生产调度的工作流系统的框架，给出了工作流执行的规则和资源、角色的任务分配规则。     

A Heuristics-Based Cost Model for Scientific Workflow Scheduling in Cloud

Scientific Workflow Applications (SWFAs) can deliver collaborative tools useful to researchers in executing large and complex scientific processes. Particularly, Scientific Workflow Scheduling (SWFS) accelerates the computational procedures between the available computational resources and the dependent workflow jobs based on the researchers’ requirements. However, cost optimization is one of the SWFS challenges in handling massive and complicated tasks and requires determining an approximate (near-optimal) solution within polynomial computational time. Motivated by this, current work proposes a novel SWFS cost optimization model effective in solving this challenge. The proposed model contains three main stages: (i) scientific workflow application, (ii) targeted computational environment, and (iii) cost optimization criteria. The model has been used to optimize completion time (makespan) and overall computational cost of SWFS in cloud computing for all considered scenarios in this research context. This will ultimately reduce the cost for service consumers. At the same time, reducing the cost has a positive impact on the profitability of service providers towards utilizing all computational resources to achieve a competitive advantage over other cloud service providers. To evaluate the effectiveness of this proposed model, an empirical comparison was conducted by employing three core types of heuristic approaches, including Single-based (i.e., Genetic Algorithm (GA), Particle Swarm Optimization (PSO), and Invasive Weed Optimization (IWO)), Hybrid-based (i.e., Hybrid-based Heuristics Algorithms (HIWO)), and Hyper-based (i.e., Dynamic Hyper-Heuristic Algorithm (DHHA)). Additionally, a simulation-based implementation was used for SIPHT SWFA by considering three different sizes of datasets. The proposed model provides an efficient platform to optimally schedule workflow tasks by handling data-intensiveness and computational-intensiveness of SWFAs. The results reveal that the proposed cost optimization model attained an optimal Job completion time (makespan) and total computational cost for small and large sizes of the considered dataset. In contrast, hybrid and hyper-based approaches consistently achieved better results for the medium-sized dataset.     

工作流驱动的ERP系统建模

分析了ERP系统缺陷.基于工作流技术能解决ERP系统在这个方面的缺陷,提出了工作流驱动ERP系统体系模型,并以ERP系统制定MPS计划为实例,画出了工作流驱动的MPS制定流程,给出了采用UML分析ERP系统中MPS的实例模型.     

Formal Approach to Workflow Application Fragmentations Over Cloud Deployment Models

Workflow management technologies have been dramatically improving their deployment architectures and systems along with the evolution and proliferation of cloud distributed computing environments. Especially, such cloud computing environments ought to be providing a suitable distributed computing paradigm to deploy very large-scale workflow processes and applications with scalable on-demand services. In this paper, we focus on the distribution paradigm and its deployment formalism for such very large-scale workflow applications being deployed and enacted across the multiple and heterogeneous cloud computing environments. We propose a formal approach to vertically as well as horizontally fragment very large-scale workflow processes and their applications and to deploy the workflow process and application fragments over three types of cloud deployment models and architectures. To concretize the formal approach, we firstly devise a series of operational situations fragmenting into cloud workflow process and application components and deploying onto three different types of cloud deployment models and architectures. These concrete approaches are called the deployment-driven fragmentation mechanism to be applied to such very large-scale workflow process and applications as an implementing component for cloud workflow management systems. Finally, we strongly believe that our approach with the fragmentation formalisms becomes a theoretical basis of designing and implementing very large-scale and maximally distributed workflow processes and applications to be deployed on cloud deployment models and architectural computing environments as well.     

基于工作流的集成平台中组织的UML建模

在分析了当前制造企业组织结构和应用系统软件产品的组织模型的基础上,并结合工作流管理联盟(WfMC)定义的参考模型中对流程参与者的定义,应用统一建模语言(UML),从集成的角度和高度建立起了有效的UML企业多应用集成平台系统的组织模型.该模型体现了很多家企业对原有应用系统集成中组织人员管理上的需求.其最大的优点就是不受企业原有应用的内部逻辑和组织人员分配的影响,能有效地把企业各个部门相关人员统一起来管理,使他们能协同地工作.     

业务流程时间性能定量分析

时间性能的定量分析是保证流程模型有效性和提高业务流程质量的关键.针对管理型流程的特点,基于任务活动执行时间为零或者服从指数分布的假设,建立了业务流程的广义随机工作流网模型,并利用广义随机Petri网和马尔可夫链理论来分析流程的时间性能,获得了流程平均执行时间的计算公式,最后给出了应用验证实例并和仿真结果进行了比较.     

构建工作流系统提高企业管理水平

本文首先讨论工作流的概念，以一个在运行的工作流系统为例，说明工作流系统的实现技术，主要模块功能给出实施过程，对过程出现问题作讨论，指出解决问题的方向。     

基于时序逻辑的工作流建模与分析方法

提出了一种基于活动时序逻辑(TLA)的工作流建模与模型分析的形式化方法.该方法将模型及模型的性质都表示为一个TLA公式,对工作流模型性质的分析可以等价为对TLA中两个公式之间是否存在蕴涵关系的检验,从而建立了一个工作流模型各层次分析统一框架.一个工作流建模和分析的实例验证了所提出方法的有效性,该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景.     

Types for task-based access control in workflow systems

Task-based access control (TBAC) is a flexible security mechanism, which has been widely implemented in workflow management systems. In TBAC, permissions are assigned to tasks and users can only obtain the permissions during the execution of tasks. The authors aim at developing a method for formalising and analysing security properties of workflow systems under TBAC policy. To achieve this goal, the authors first present WFPI, workflow π-calculus. By adding task execution and submission primitives, and tagging each agent with its executing and distributing tasks,WFPI can flexibly represent the concepts and elements in workflow systems. Then, based on WFPI, a type system is proposed to ensure that the well-typed workflow systems can abide by the TBAC policy at run time, by avoiding run-time access violations. To the best of one?s knowledge, the present research is the first attempt to study workflow access control by process calculus and types.