工作流技术及其应用研究

文章介绍了工作流技术及其发展历史,对工作流的系统模型进行了详细分析,探讨了工作流技术在企业管理信息系统中的实际应用。     

基于EAI的多层分布式应用与实现

针对目前大型企业各类应用迅速增加但应用之间缺乏有效通信的问题,采用企业应 用集成(EAI)技术,提出了4层分布式应用体系结构,实现流程自动化和松耦合的应用集成.文中首先从EAI技术和常见解决方案出发,详细阐述了表示层、企业门户、EAI总线层和数据源层的功能及软件结构,并结合电信业务运营支撑系统的实际需求,给出了J2EE平台下的应用实例开发.利用组件和容器的技术构建企业门户,通过工作流和企业Java组件(EJB)技术实现EAI总线,借助资源适配器完成应用之间的互连互通.该系统现已投入实际运行,取得了良好的应用效果.     

一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点,对工作流模型的性能分析是工作流研究的一个重要内容.实际的模型往往规模大而复杂,这为分析其性能带来了很大的困难.但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成,对于这类模型,本文给出了计算其性能乘积解的数学公式.文中给出了如何由这四种基本模型嵌套组成实际模型的方法,推导出了计算这四种基本模型的性能等价公式,并按建立实际模型相反的顺序,用由里到外逐层的分析方法,给出了计算实际模型的性能乘积解.     

分布式协作工作流技术研究

工作流是实现企业业务过程建模、优化、管理、集成和自动化的核心技术．作为分布式的应用平台，工作流管理系统任务处理能力即吞吐能力是一个重要的性能指标．目前，已有的工作流管理系统在这方面存在较大的不足，成为工作流管理系统广泛应用的严重障碍．本文研究了工作流系统的协作方式和负载平衡技术，定义了工作流系统的负载因子，给出了一个分布式协作工作流系统模型，并结合业务流程逻辑，提出了分布式协作工作流系统负载平衡调度算法．实验表明该分布式协作工作流系统有效地扩展了单个工作流系统的吞吐能力。     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.     

JACOB: An enterprise framework for computational chemistry

Here, we present just a collection of beans (JACOB): an integrated batch‐based framework designed for the rapid development of computational chemistry applications. The framework expedites developer productivity by handling the generic infrastructure tier, and can be easily extended by user‐specific scientific code. Paradigms from enterprise software engineering were rigorously applied to create a scalable, testable, secure, and robust framework. A centralized web application is used to configure and control the operation of the framework. The application‐programming interface provides a set of generic tools for processing large‐scale noninteractive jobs (e.g., systematic studies), or for coordinating systems integration (e.g., complex workflows). The code for the JACOB framework is open sourced and is available at: www.wallerlab.org/jacob . © 2013 Wiley Periodicals, Inc.     

基于可满足性计数的(≠,=)约束工作流鲁棒性验证

工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.     

工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型

针对传统的RBAC模型不能表达复杂的工作流安全访问控制约束的缺点,提出了一个适合工作流系统的基于多权角色和规则的条件化安全访问控制模型CMWRRBSAC(conditioned multi-weighted role and rule based secure access control model).该模型基于传统的RBAC模型,提出了基于动态角色分配的条件化RBAC方法,定义了基于多权角色的工作流系统访问授权新概念,并针对多个角色和多个用户协同激活任务的序约束问题,给出了基于令牌的序约束算法和基于加权角色综合的序约束算法,讨论了一个基于规则的职责分离约束建模方法,并给出了改进的规则一致性检验算法.     

动态工作流的进化策略

大型分布式系统工作流具有动态、分布、松散耦合特点。系统在维护工作流正常运行同时,还能根据实时情况分析,对工作流进行在线进化,从而构造更优流模型。对原工作流定义进行了可行替换集扩展,并给出了兼顾组合预算、任务时限以及服务信用等各因数的综合评分函数,对XML标准流日志进行在线应用挖掘,由管理Agent对工作流重新配置,实现流中变迁的替换、归并和分裂等进化操作,使其保持综合评分最优,为虚拟企业工作流管理提供进化支持。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。