任务状态敏感的访问控制模型及其有色网仿真

针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用,充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态,并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性.     

一个基于RTBAC的Petri网工作流模型

以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证.     

基于Petri网的工作流系统不确定性时间信息的计算

基于工作流系统对时间管理功能有严格的需求, 针对任务执行时间的不确定性, 提出了基于库所时间Petri网的工作流系统建模方法—PT_net. 该方法可以有效计算工作流系统的时间信息, 从而为工作流系统的时间管理和分析提供技术支撑.     

时间约束工作流模型及其应用

工作流时间管理是工作流管理系统的一个关键部分,一个工作流程在定义、执行阶段明确计算出其所需消耗的时间以及各个步骤的可能启动时间对于安排时间和资源计划都是很有意义的.本文介绍了时间约束的工作流网及其层次扩展模型,分析目前工作流时间管理中存在的问题,提出时间约束工作流网在事务处理流程和项目管理二种不同应用环境中解决时间计算问题的思路.     

基于RBAC的具有时空约束的工作流授权模型

结合具体工作流系统实例,提出一个基于RBAC的具有时空约束的工作流授权模型TSCWAM.与传统的访问控制授权模型不同,该模型提出了时空权限的概念,表示基于RBAC的工作流授权不仅受时间约束,还受空间范围限制,即被授权者只能在某个时间段和空间范围内才能对某个任务执行某种操作,从而既可以保证组成工作流的任务只能被属于某个特定角色的用户执行,又可以保证在授权流与工作流同步的基础上,实现授权流与空间范围动态变化的相互协调.     

基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

基于移动代理平台Aglet的柔性工作流的研究与实现

分析了柔性工作流管理系统的特点以及可移动Agent技术，提出了一种基于移动代理平台的柔性工作流管理系统的体系结构，并采用Aglet平台实现了原型系统．在原型系统中，业务过程的定义封装在可移动的工作流引擎Agent中，MA(Mobile Agent)迁移到各执行任务的角色所在节点，驱动并监控任务的执行；利用多个Agent之间位置透明的通信、协同工作，使得业务过程的定义在执行中可动态修改，实现了工作流的柔性．     

基于工作流技术的高校教务管理系统

工作流技术可以将信息管理系统中的功能模块和过程管理分开,分别进行建模和实行控制,使处理过程自动化,使人以及各种应用工具相互之间协调工作,让合适的人或软件在恰当的时间执行正确的工作。对高校教务管理工作进行分析,在Web开发环境下将工作流技术引入高校教务管理系统,设计一种基于Petri网工作流建模方法及规则。以离校审批业务为例详细分析了构建工作流模型的过程,设计基于B/S结构的高校教务管理系统体系结构,该结构设计方法灵活和易维护,可以较方便地处理高校教务管理业务过程中工作流动态建模问题,以提高系统管理的高水平、高效率,实现高校教务管理水平的现代化和网络化。     

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

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

智能调度指挥系统中代理签名方案研究

设计了一种用于智能调度指挥系统的代理签名和代理多重签名方案,并根据业务的实际流程提出了灵活的代理权收回策略.方案解决了在特殊情况下,任务执行过程中单人和多人授权他人代替自己签名的问题,可以保持工作流执行的连贯性和有效性,满足智能调度指挥系统中代理签名多方面的安全要求.     

基于复合状态的工作流授权

提出了一个新的工作流授权模型,目的是解决工作流的执行流和授权流不能同步的问题.新模型是基于工作流任务调度的授权系统.通过分析工作流授权状态和工作流任务执行状态之间的转换,将授权状态和执行状态进行绑定,提出了复合状态的概念.然后使用预授权操作和复合状态转换操作完成复合状态的转换,从任务调度的角度解决了工作流的执行流和授权流不能同步的问题.最后通过针对授权同步性能的测试验证了新模型能够使授权流和执行流同步的结论.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

QoS约束的云工作流调度算法

将云计算和工作流两者结合起来,并根据用户关心的QoS中执行时间和执行费用问题,针对工作流调度策略在云环境下调度实例密集型工作流时效率不高的问题优化资源调度策略,给出云工作流调度模型,提出一种基于QoS约束的云工作流调度算法MSCWQ(modifiedschedulingalgorithmforcloudworkflowbasedonQoS).该算法利用DAG(directedacyclicgraph)进行建模,优化资源策略,保证在最晚结束时间内使整个工作流实例的执行费用尽可能小.实验结果表明,在调度实例密集型云工作流时,该算法能有效提升科学工作流的执行效率,并能减少资源的使用费用.     

基于Petri网的电子运维系统工作流建模

通过运用工作流网的建模方法,将电子运维系统中的档案提取工作流实例映射为更易于计算机化的工作流网模型。为了提高该模型在实际应用中的执行效率,提出了一种提高系统执行效率的方法。该方法通过应用马尔可夫链理论,检测出影响系统执行效率的瓶颈,通过消除瓶颈达到提高系统执行效率的目的。结果表明将该方法应用于档案提取工作流网模型,可以有效的提高系统的执行效率。     

A Workflow Authorization Model Based on Credentials

0 IntroductionWoofrfkifcleo wau ttoypmicatailolyn ,re mpraensuefnatcstu rpirnogce sasneds imnavnoylve odth ienrsystems . The various activities in a workflowcan usually beseparatedinto well definedtasks .These tasks can be executedonly by users who were authorized.To ensure these tasks be-ing executed by authorized users ,proper authorization mecha-nisms ought to bein place.Kandala S presented a secure role-based workflow mod-els[1]based onthe well-known RBAC96 framework[2]. Theirmain contr…     

耦合约束柔性作业车间调度优化研究

为扩展工艺约束的存在形式,对耦合约束柔性作业车间调度模型构建与调度优化算法设计进行探讨。在沿用链式约束调度的形式化与图形化描述构建耦合约束模型的基础上,对耦合约束邻域结构进行设计,选取禁忌搜索算法为设计框架,围绕算法执行步骤进行设计,并采用耦合约束案例与Brandimarte测试数据验证调度优化算法的适用性与优化性。耦合约束模型构建与调度算法的探讨为多部件系统作业的调度优化提供解决方案,也为调度相关邻域的深入研究拓宽思路。     

基于三层调度机制的工作流引擎的研究

通过对工作流执行的本质的研究，根据影响工作流执行的3个基本要素对工作流过程进行逻辑上的分层，提出了基于3层调度的工作流引擎．该方法将工作流过程分成应用层、业务层和表示层，简化了工作流的执行过程，提高了工作流的柔性，增强了对复杂的业务流程应用的支持度．     

基于JAVA的集成型工作流引擎的设计

针对中小型项目的工作流应用 ,设计了一个基于JAVA的集成型工作流引擎 ,该工作流引擎由工作流元模型、工作流执行引擎以及客户端接口三部分组成 .文中给出了工作流引擎各部分设计 ,并做了详细的说明 .在该设计的基础上 ,已经开发出了一套工作流引擎软件 ,并应用在多个项目中 ,证实其具有高效性和可扩展性 .使用该引擎可以容易地整合业务逻辑和业务流程 ,降低项目的开发成本 .     

基于活动网络图的柔性工作流系统的设计与实现

介绍了目前国内外工作流技术的研究现状，在分析比较的基础上提出了一种基于活动网络图的柔性工作流系统的设计实现方案。该方案给出了一种工作流运行期的动态控制模型，表现在工作流执行路由、活动功能、相关资源的动态调整，较好地解决了企业实际工作流运行中动态变化的需求。同时，本系统结合了活动网络图直观、易用的特点，C／S、B／S优点结合的工作流部署方案，让用户在轻松直观的环境下快速地建立工作流模型、控制工作流的运行并监视工作流的运行状态。     

基于XML工作流督办软件的开发及应用

对目前工作流过程描述语言灵活性不够的问题,从工作流系统的Web化以及适应检验检疫工作环境角度出发,将工作流过程定义与工作流执行相分离,提出了一种基于XML的工作流定义语言的模型,并介绍了语言的设计思想、主要概念和实现技术。