基于ECA规则的动态工作流建模方法研究

现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。针对这一情况,提出了一种基于ECA（event—condition—action）规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装,用活动选取一组合规则来约束柔性活动的具体化过程,并设计了一种高效的活动自动选取一组合算法,来实现柔性活动的具体化。     

基于Agent的Web服务动态工作流模型研究与应用

传统工作流管理系统的最大挑战是不能自动适应企业外部环境的变化并改变其内部的作业流程．文章提出了一种基于Agent的Web服务动态工作流模型（AW-WFM）来解决这一问题．在这个模型中。通过结合Agent技术,Web Services技术和工作流本体以支持动态工作流的定义．最后,介绍了此工作流模型在赣南教育学院协同办公系统申的应用．     

基于构件的动态工作流柔性变更策略

针对目前工作流管理系统在描述能力和动态修改上存在的不足,提出一种基于构件的柔性变更策略．该策略引入新的建模元素和动态变更的体系结构,从时间和工作流组成两个角度对工作流的动态变更进行了分类,详细阐述了工作流的组合策略、修改方法和移交策略;最后论述了这种策略的优越性、可行性和正确性．     

面向任务控制的柔性工作流模型的研究

针对柔性工作流在任务处理过程中动态实时进行安全管理提出一种面向任务控制的柔性工作流模型,该模型从任务的角度建立安全控制,动态地控制主体访问资源的权限,同时也实现了柔性工作流动态进行路由选择,实现了访问控制流与柔性工作流的同步,具有较好的灵活性。     

基于Web Service的工作流管理系统的研究与实现

针对目前的工作流管理系统存在的问题,本文在传统工作流管理系统和目前流行的Web服务技术的基础上,提出了基于Web服务的工作流体系模型,该模型在传统工作流体系模型的基础上,引入Web服务。Web服务在Internet分布式环境下的动态发布、发现和集成应用的特点,能够很好地解决工作流程缺乏柔性,相互之间无法互操作,不能及时响应变化等缺点,提高了工作流程执行效率和服务质量,大大提高工作流系统的应用范围,促进了工作流管理系统的发展。     

P2P模式下工作流管理系统设计

通过引入P2P概念,在P2P信息技术和消息传递基础上,设计了一个基于分块系数的文件传输算法,避免了原来基于客户端/服务器模式单点失效的问题,以实现工作流执行所需的较大附件能够快速发送到参与者对应的对等点上。通过定义合理的组织机构和工作流程,实现发起流程、流程处理、信息反馈等功能。以P2P的发现和传输机制为引擎,并通过后继的方法驱动工作流运行,最后实现在JXTA平台基础之上的工作流管理系统。     

工作流引擎设计关键技术的实现

针对目前工作流引擎效率不高的问题,从实用的角度出发,提出了一个基于事件驱动的高效柔性工作流引擎设计方法,给出了工作流建模,工作流定义和解析的方法,介绍了应用程序的接口和应用程序的调用过程,论述了工作流事件驱动机制及其实现方法。     

一种云工作流动态修改算法的设计与实现

在云计算环境下,动态工作流是一种具有强大灵活性的技术,能够实现流程的动态修改和快速部署,同时对已经执行过的任务产生影响很小,但云端的动态工作流原理较为复杂,实现方式也各不相同.设计并实现了一种动态修改算法,该算法在降低流程修改代价的同时又能够提高流程执行效率.     

办公自动化系统中动态工作流研究

传统的工作流系统规定只能够在流程设计阶段对流程进行编辑和修改,在流程开始运行之后就不能再对其进行任何操作。但随着应用的不断深入和企业自身不断发展,业务流程变得更加复杂,控制步骤和流转规则的不可预知性越来越大;业务种类变得更加多样,设计阶段并不能将所有业务都包含进去;业务发生环境和外部条件的变更变得更加频繁,极其容易发生流转失败,进而导致流转的停滞或回退。因此,需要使用动态工作流思想指导工作流模型的设计,在确保不影响工作流正常流转的情况下,允许用户进行动态修改,提高系统的适应性和柔性。     

工作流技术在银行贷款申请审批中的应用研究

为提高银行贷款申请审批工作效率,利用工作流技术设计基于浏览器/服务器架构的贷款申请审批工作流模型.对贷款申请流程进行工作流过程定义,给出贷款申请审批活动的形式化定义,在此基础上设计实现该系统的工作流引擎.同时,该系统引入奖惩机制,督促节点处理人员及时处理任务,提高节点的处理效率和质量,严格控制贷款申请单从填写到最终获得审批结果的所需处理时间.实践表明,在该系统的支撑下,贷款申请审批效率得到很大的提高.     

Approach for workflow modeling using π-calculus

As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π-calculus, thus facilitating the optimization of business processes.     

基于SVM和概率统计的文本分类方法研究

分析了基于支持向量机（SVM）的文本分类方法,在此基础上,提出一种由SVM和概率统计方法相结合的文本分类方法。详细介绍该方法的实现原理、算法描述和工作流程,并进行实验测试。     

一种基于多阶段PSO的多目标工作流调度算法

基于启发式算法的工作流调度算法目标单一,无法保证用户满意度,且多目标调度算法少、性能差。为了改善现状,提出基于多阶段PSO的多目标工作流调度算法MSPSO,分析工作流任务的层次结构,按层次进行多阶段PSO调度,结合排队理论估算每阶段调度需要的虚拟机数量,控制PSO搜索空间,使算法能快速找到最优解。用4种真实科学工作流在CloudSim环境下进行仿真实验。结果表明,MSPSO算法资源利用率提高了1.81%,能耗降低了9.16%,任务违约率低至0.075%。MSPSO调度算法不仅能动态增减虚拟机,降低能耗,还能在保证截止时间的前提下降低任务违约率,提高资源利用率。     

一种基于Petri网的工作流过程模型正确性的有效验证方法

随着工作流应用的日益广泛 ,工作流模型正确性验证的重要性日渐突出 .论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误 ,给出了一个有效的验证算法     

港口工程软基处理中振冲碎石桩的应用与检测

通过在某中心渔港工程中采用振冲碎石桩工艺对软地基进行加固的施工进行系统的总结。对比振冲碎石桩在道路、建筑等工程中的应用有诸多不同,在施工工艺、质量控制、加固效果检验有其独特之处,介绍振冲碎石桩在水工港口工程软地基处理的工艺原理、工艺流流程、质量控制的方法及效果、采用重型动力触探试验进行检测的方法及结果。     

WWW下基于Petri Net的协同编辑模型

工作流管理是一个以业务处理自动化为目标的新兴研究领域。近几年来Internet的发展深刻地影响着工作流管理系统。本文旨在用PetriNet这种非常适合描述离散动态系统的工具建立一个基于WWW环境的期刊协同编辑系统模型 ,使编辑流程规范化 ,也为后期开发提供可靠的理论基础     

基于.Net平台架构的动态工作流引擎

针对传统工作流在灵活性和自适应性方面不足的问题,通过对行政审批、电子政务的实际需求进行分析后,提出了一个基于．Net的动态工作流模型。同时针对引入工作流系统而带来的安全性问题,详细介绍了基于Web的动态工作流系统的安全体系结构及其安全策略,充分考虑了在电子政务中的实际需求,并已应用于实际的应用系统集成平台的开发。