面向任务的工作流访问控制模型

在分析工作流对访问控制需求的基础上,提出了面向任务的工作流访问控制模型.该模型引入了授权任务概念,将执行任务需要的最小权限和执行任务的角色作为授权任务的属性,使角色和权限脱离关系.同时该模型定义了任务冲突关系,并在此基础上给出了动态授权约束规则,保证了组织安全策略的实施.面向任务的访问控制模型实现了授权流同工作流的同步,能够满足工作流访问控制对动态授权、最小权限和职责分离的要求.不同于已有的模型,该模型还通过角色和权限的分离解除了组织模型和工作流模型的耦合关系.     

基于AGWL的网格工作流规范研究及其应用

网格工作流的规范是网格工作流研究领域的一项基础且重要的内容,抽象规范为用户提供了更为灵活的规范方式,用户只需关注网格工作流而无需关心其底层的实现细节。详细阐述了抽象网格工作流语言AGWL的特性、数据流结构、控制流结构及属性和约束,并通过一个AGWL表示的“旅行代理”示例以显示其强大的网格工作流语言描述能力。     

基于工作流参考模型的信息多路广播系统设计研究

多路广播（Multicast）指网络中一个节点发出的信息被多个节点收到,在数据链路层和网络层均有Muhicast,跨越子网时则需要路由器、网关等设备的支持。我们将多路广播运行在一个或多个工作流引擎上,工作流参考模型通过软件定义、创建工作流并管理其执行,使得信息多路广播系统与传统的Unicast相比大大提高了效率。     

基于工作流技术的毕业论文管理系统设计与实现

通过引入工作流技术,本文设计了工作流实例模型、工作流管理系统模型和工作流控制中心,开发了网络论文管理系统以高效满足毕业论文管理过程中流程多样化的需求。     

基于工作流技术和B/S模式的文档流转系统模型设计

针对目前公文流转出现的效率差、易出错问题,青岛市某区政府研究并实现了一套基于B/S模式的多层体系结构的网上公文流转系统。该系统主要应用了角色控制（RBAC）,结合工作流技术、数据库技术以及版本控制技术等实现。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。     

基于重建策略的云工作流调度算法优化

为了进一步提高算法性能,提出一种改进的蛙跳算法,并与调度方案相结合,以期为云工作流资源分配提供最优调度.通过在蛙跳算法的局部搜索中加入重建策略,提高了数据随机性,有效避免了局部最优.研究了调度方案生成算法,与改进算法相结合得到接近最优的调度.利用Java模拟器进行仿真试验,并与粒子群优化算法和传统蛙跳算法作比较.实验证明,提出的方法可以在满足最长截止时间约束的情况下,使总执行成本最小化.     

时间约束工作流模型的可调度性验证研究

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真.首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略.通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度.然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集.实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值.     

基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果.