Service-based flexible workflow system for virtual enterprise

Using the services provided by virtual enterprises, we presented a solution to implement flexible inter-enterprise workflow management. Services were the responses of events that can be accessed programmatically on the Internet by HTTP protocol. Services were obtained according to some standardized service templates. The workflow engine’s flexible control to a request was bound to appropriate services and their providers by using a constraint-based, dynamic binding mechanism. Hence, a flexible and collaborative business was achieved. The workflow management system supports virtual enterprise, and the styles of virtual enterprises can be adjusted readily to adapt various situations.     

基于经营过程重组的工作流仿真的设计与实现

企业经营过程重组是一项复杂的系统工程,它的实施具有很大的风险性,支持企业经营过程重组的工作流建模与仿真方法可以有效地降低企业经营过程重组和流程再造带来的风险.文章提出了一种支持企业经营过程的工作流仿真系统的体系结构,基于统一建模环境设计了工作流系统的仿真过程,利用VisualC#实现了基于BPR的仿真核心类,并给出核心类的接口和相关的UML视图,在此基础上实现了面向应用的相关类,以实例验证了该方法的有效性.文章所述的方法易于实现,易于理解,具有很好的扩展性,并可以支持大规模的仿真.     

公有云中基于系统工作流的并行策略性能评估

分析系统发育基因组工作流程并行处理性能,提出了一种适用于云计算平台中SciPhylomics执行的性能评估工作流程。首先,介绍了映射化简模型的应用实现Hadoop;然后,呈现了SciCumulus云工作流程引擎;最后,在亚马逊EC2云上使用两种并行执行方法（SciCumulus和Hadoop）实施工作流程。实验结果表明,尽管系统发育基因组学实验对计算环境要求严格,但实验仍然适合在云中执行。此外,所评估的工作流程呈现出几组数据密集型工作流程的许多特征,本方法可以扩展到其他实验类型。     

基于程序执行轨迹与动态切片的错误定位研究

为解决程序调试过程中的错误定位问题, 将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句, 影响错误定位的准确度。在执行轨迹的基础上, 通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于程序执行轨迹和动态切片的语句怀疑度计算模型, 使用该模型计算每条语句的怀疑度, 并根据怀疑度对每条语句进行排序, 给出查错的推荐方案。通过实验对比其他算法, 证明了基于程序执行轨迹与动态切片的错误定位方法是有效的。     

基于OFBiz与工作流的办公自动化系统

为了解决通常开发基于web的办公自动化系统时不可避免的遇到扩展性差、低可靠性等问题,笔者引入了开发web系统的OFBiz(Open For Business)体系结构.阐述了基于J2EE体系结构的开放资源项目OFBiz(Open For Business)的组成结构、运行机理和易开发、易扩展、可重用、高可靠性等特点,同时根据工作流管理系统的原理,利用0FBiz的Workflow Engine(工作流引擎),按照xML过程定义语言(XPDL:XML Process Definition Language)对办公自动化系统流程的描述,开发符合用户需求的办公自动化系统.基于OFBiz体系结构的办公自动化系统可扩展性以及可靠性等都得到大大的提高.     

基于角色的动态工作流模型的研究

针对电子政务系统的实际需求和传统工作流技术的局限性,对工作流管理模型进行了扩充,提出了一个基于角色的动态工作流设计模型.     

一种工作流访问控制安全模型的研究与设计

工作流技术广泛应用于电子政务系统中,但工作流系统中的访问控制问题却没有引起足够重视和得到有效解决。本文根据工作流系统中的访问控制安全需求,提出和设计了一种新的安全模型,为工作流系统提供安全管理和授权设置,提供保密性和完整性强制访问控制。     

网格工作流中协同机制的研究与实现

对计算机支持的协同工作(CSCW)和工作流进行了深入探讨.在分析网格工作流特点的基础上,提出了网格协同工作流参考模型,并详细分析了基于协同上下文概念的网格协同工作流的协同机制及其实现方法.最后,给出了此协同机制在银行贷款系统中的应用实例.     

工作流模型验证及分解的多项式算法分析

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。