基于动态SQL的审核工作流

大多数业务系统的审核流程基本相近,但往往需要开发人员重复设计,并且现有工作流引擎的设计强调普适性,而对于审核流程处理的针对性不强。为此,设计了轻量级的审核工作流模型。该模型不仅可以动态定义审核流程,而且可以监控工作流实例的运行。同时在模型设计上,除了考虑到审核业务特性之外,还以逻辑复用性为原则,采用了动态SQL,增强审核流程的灵活性与可控性。并且通过嵌入在实际系统中的运行,从实践角度证明了该模型的有效性。     

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

为解决办公业务的过程复杂化问题,进一步优化办公业务的管理流程与组织结构,本文采用元数据的思想和Java、Javabean技术,对工作流的研究融入了动态修改的部分,通过过程建模方式的柔性化与执行时的动态控制,可以使系统具有良好的灵活性和扩展性,针对需求变更做出快速响应。与传统的静态过程模型定义模式相比,新系统在一定程度上满足了办公业务中的需要。     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

在PowerBuilder中动态修改报表表头

阐述了如何在应用程序执行过程中根据用户的意愿实时动态修改报表表头，并可保存用户所做的修改，解决了利用ＰｏｗｅｒＢｕｉｌｄｅｒ出报表不能灵活变动表头的难题；可在一定程度上减少程序维护的工作量。     

在PowerBuilder中动态修改报表表头

阐述了如何在应用唾弃执行过程中根据用户的意愿实时动态修改报表表头，并可保存用户所做的修改，解决了利用ＰｏｗｅｒＢｕｉｌｄｅｒ出报表不能灵活变动表头的难题；要在一定程度上减少程序维护的工作量。     

集成数据流和控制流的协议测试集自动生成方法研究

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于ＥＢＥ模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在ＴＵＧＥＮ中,我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证     

基于规划和动态调度的网格工作流

基于WFMC的工作流参考模型提出了网格工作流体系结构,扩展了基于遗传算法技术的规划算法以支持网格工作流自动建模,给出了基于市场驱动策略的动态调度算法以提高网格应用的服务质量,并介绍了在Globus上实现的原型系统JLGridFlow和其在大文件下载中的应用。     

基于工作流的基站建设管理系统设计与实现

为解决基站建设过程中工作效率低的问题,设计基于工作流的基站建设管理系统,该系统使用MySql数据管理建立数据库,采用java语言设计工作流引擎类,spring和hibernate框架搭建系统平台,Tomcat服务器部署系统运行环境,对基站建设进度进行监控和对建设过程中数据信息完成统计分析。     

分布式工作流系统实现技术分析

分布式工作流系统是相对于早期的集中式工作流管理系统而言的。工作流管理系统的分布分为三个层次：工作流系统体系结构的分布、工作流引擎的分布和工作流定义的分布。本文介绍了实现工作流引擎的分布所涉及的关键技术,并通过对几种典型的分布式工作流系统实现方案的比较和分析,讨论了不同实现技术的优点以及存在的问题。     

工作流动态变化在建模中的应用研究

如果工作流管理系统的建模过程中缺乏合理性验证,那么对庞大模型的验证将十分复杂。针对该问题,以Petri网为分析工具,提出了一种动态变化在建模中进行应用的方法。此方法引入动态变化生成的最小变化区域,并利用逻辑推导和真值表对该区域进行结构的合理性验证。实例分析证明,此方法可以降低建模的复杂度和验证的工作量。     

基于PI3000平台的县级电网设备检修工作流系统

为了提高县级调度机构电网设备检修任务的管理效率,减少失误率,保证电网可靠、高效地运行,以PI3000平台为基础设计开发了县级电网设备检修工作流系统．系统采用PI3000平台对对象、流程和安全进行动态建模,解决了检修工作流对象的并发访问控制问题,采用XML进行细粒度数据描述,利用PI3000 AJAX框架实现了无刷新客户界面．该系统已经应用于江苏省县级调度机构电网设备检修系统等项目中,能够适应电网设备管理数据处理量大、业务流程复杂的特点,运行效果良好．     

工作流管理系统的安全访问控制策略实现

在工作流管理系统中，为了保障系统的访问安全，采取了在基于角色的访问控制模型RBAC96基础上，使用基于角色的静态授权和基于任务的动态控制相结合的方法，达到在工作流推进过程中不仅对各个任务的执行权限进行有效控制，而且对各种数据资源的访问权限进行有效控制目的。     

用自我隔离工作流解决并发问题的探讨

串行作为隔离标准非常适用于传统事务,但会对工作流并发施加过多的限制。使用语义信息可以弱化或丢弃这些限制,但在并发控制中使用语义信息会让规范与管理工作流变得更复杂。自我隔离工作流会在数据库中设置和取消约束。在工作流隔离中使用约束带来2个好处:1)用SQL断言的表达能力,一个工作流设计者能做到精确的指明隔离请求;2)约束可以加到数据库的数据项或任务状态信息上完成工作流的并发控制。     

基于角色访问控制的动态工作流软件复用模型研究

以软件复用思想为指导,对办公自动化领域中的若干系统进行工作流分析,并对基于角色的访问控制模型RBAC进行研究,将其嵌入到工作流系统中,重点体现流程的动态化,运用面向对象技术,采用三层结构,分析设计出可复用性较高的基于RBAC的动态工作流软件复用模型,以提高办公自动化领域的软件开发效率和质量.     

基于委托的工作流访问控制模型

从工作流访问控制模型与流程模型分离的角度,提出一种基于委托的工作流访问控制（DBWAC）模型．为了管理流程中执行任务需要的权限,引入了虚拟委托用户的概念．在DBWAC模型中,虚拟委托用户是流程中任务的抽象和访问控制实施的基本单元,权限同虚拟委托用户相关联．在任务开始执行时,虚拟委托用户将权限委托给任务的执行用户并在任务执行完成后将委托撤销,使用委托约束、委托条件保证委托的可控性．通过该模型不仅可以满足工作流访问控制的要求,并且可以实现委托,提供了一种具有柔性和可控的授权方式．     

基于角色的工作流平台访问控制安全模型

基于角色的访问控制模型作为一个组织内安全策略系统的实现方法,因其简易高效的授权方式和便捷的授权维护模型,被广泛应用于各类工作流管理系统。针对工作流环境的诸多不安全因素,提出了一个适应于工作流环境的基于角色控制的工作流安全访问的改进模型。该模型在传统RBAC模型中引入了任务案例(TC)、用户管理(UM)、任务(T)的3种关系元素,设计了动态授权机制,并在某公司电气销售系统应用中初步实现了该模型与工作流引擎组件的框架集成,提供了独立安全域内的安全授权服务。研究表明,该模型能较好地解决工作流管理系统中动态职责分离、动态职责绑定、案例间约束、互惠职责分离等系统不安全因素,可为工作流管理系统的安全运行提供技术支持。     

一个基于Lotus Domino/Notes的工作流管理系统

工作流技术是单位提高业务过程效率和生产效率的有效技术，采用工作流管理技术来实现业务过程自动化无疑是种值得推广的解决方案。提出了一个基于Louts Domino／Notes平台的工作流管理系统，对其工作流引擎，客户端，代理进行了剖析，对同类系统的开发具有参考价值。     

基于活动的工作流关键路径算法

计算关键路径是研究工作流时间问题的重要步骤,现有算法大多是基于工作流控制结构的规约与化简的,对工作流模型要求较高,不能计算控制结构的"部分覆盖",限制了其应用.首先给出一个描述活动延迟的工作流模型,然后将工作流网看作一个M/M/1队列网,讨论工作流活动在各种结构中的到达率与时间延迟,提出一种基于活动的关键路径算法.算法降低了对工作流模型结构的要求,解决了控制结构"部分覆盖"的计算问题,提高了算法的实用性.     

流程跟踪中的E-mail开发与使用

针对现今业务流程中处理的及时性要求,概括如何在项目中应用E-mail进行自动发送,以提高流程的实时性,并提出如何进一步提高及时性的方法.