Access control is an important protection mechanism for information systems. This paper shows how to make access control in workflow system. We give a workflow access control model (WACM) based on several current acce...Access control is an important protection mechanism for information systems. This paper shows how to make access control in workflow system. We give a workflow access control model (WACM) based on several current access control models. The model supports roles assignment and dynamic authorization. The paper defines the workflow using Petri net. It firstly gives the definition and description of the workflow, and then analyzes the architecture of the workflow access control model (WACM). Finally, an example of an e-commerce workflow access control model is discussed in detail.展开更多
A theoretical approach of ordered emergency tasks generation is proposed for dealing with a specific emergency event rapidly, exactly and effectively. According to the general principles of an emergency plan developed...A theoretical approach of ordered emergency tasks generation is proposed for dealing with a specific emergency event rapidly, exactly and effectively. According to the general principles of an emergency plan developed to response to an emergency management, a workflow model is employed to complete the formal modeling of concrete emergency plan firstly. Then the HTN planning system SHOP2 is introduced, the transformation method of domain knowledge from emergency domain to SHOP2 domain is studied. At last, the general procedure to solve the emergency decision prob-lems and to generate executive emergency tasks is set up drawing support from SHOP2 planning system, which will combine the principles (or knowledge) of emergency plan and the real emergency situations.展开更多
为提升云环境下数据工作流的任务调度与处理效率,提出基于服务质量(quality of service,QoS)性能约束的任务调度算法,建立面向用户数据处理任务的QoS目标约束条件、云计算资源调度模型,将密集型工作流的多QoS目标约束问题转化为单目标...为提升云环境下数据工作流的任务调度与处理效率,提出基于服务质量(quality of service,QoS)性能约束的任务调度算法,建立面向用户数据处理任务的QoS目标约束条件、云计算资源调度模型,将密集型工作流的多QoS目标约束问题转化为单目标约束问题求解,并在CloudSim云计算模拟器中进行数据处理任务调度的仿真。仿真实验结果表明,通过在数据库可用性组(database availability group,DAG)随机产生实例、引入自适应种群迭代算法进行工作流数据的任务调度分配,可实现不同类型数据资源的最优配置,并降低数据处理与利用成本。展开更多
带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨...带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨论了周期时间表示方法,定义了工作流系统授权新概念和时态授权推导规则,给出了时间复杂度为O(n2)的时态授权推导规则一致性验证图论算法,并定义了任务激活约束规则.它能够表达复杂的工作流系统访问控制约束.展开更多
文摘Access control is an important protection mechanism for information systems. This paper shows how to make access control in workflow system. We give a workflow access control model (WACM) based on several current access control models. The model supports roles assignment and dynamic authorization. The paper defines the workflow using Petri net. It firstly gives the definition and description of the workflow, and then analyzes the architecture of the workflow access control model (WACM). Finally, an example of an e-commerce workflow access control model is discussed in detail.
文摘A theoretical approach of ordered emergency tasks generation is proposed for dealing with a specific emergency event rapidly, exactly and effectively. According to the general principles of an emergency plan developed to response to an emergency management, a workflow model is employed to complete the formal modeling of concrete emergency plan firstly. Then the HTN planning system SHOP2 is introduced, the transformation method of domain knowledge from emergency domain to SHOP2 domain is studied. At last, the general procedure to solve the emergency decision prob-lems and to generate executive emergency tasks is set up drawing support from SHOP2 planning system, which will combine the principles (or knowledge) of emergency plan and the real emergency situations.
文摘为提升云环境下数据工作流的任务调度与处理效率,提出基于服务质量(quality of service,QoS)性能约束的任务调度算法,建立面向用户数据处理任务的QoS目标约束条件、云计算资源调度模型,将密集型工作流的多QoS目标约束问题转化为单目标约束问题求解,并在CloudSim云计算模拟器中进行数据处理任务调度的仿真。仿真实验结果表明,通过在数据库可用性组(database availability group,DAG)随机产生实例、引入自适应种群迭代算法进行工作流数据的任务调度分配,可实现不同类型数据资源的最优配置,并降低数据处理与利用成本。
文摘带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨论了周期时间表示方法,定义了工作流系统授权新概念和时态授权推导规则,给出了时间复杂度为O(n2)的时态授权推导规则一致性验证图论算法,并定义了任务激活约束规则.它能够表达复杂的工作流系统访问控制约束.
