【摘 要】
：
为提高工作流授权合理性验证的效率,提出了基于权限和任务的工作流授权合理性验证方法。通过对工作流授权约束的分析,将授权约束分为针对任务和权限分派关系的权限约束,以及
【机 构】
：
东北大学机械工程与自动化学院,沈阳理工大学机械工程学院
论文部分内容阅读
为提高工作流授权合理性验证的效率,提出了基于权限和任务的工作流授权合理性验证方法。通过对工作流授权约束的分析,将授权约束分为针对任务和权限分派关系的权限约束,以及针对任务间职责冲突关系的任务约束和授权约束间约束传递,并在此基础上构建了授权约束规则集对授权合理性进行验证,给出了实现工作流授权合理性验证的算法。最后,通过一个流程实例,证明了该验证方法的实用性。授权约束规则集可以验证约束的完整性和一致性,使满足此规则集的授权工作流既具有必须和足够的授权约束,又保证其每个任务都有合法的用户执行,同时该验证算法可以
其他文献
【正】应该怎样去读一首好诗?怎样去欣赏它、分析它?这的确不是一个容易解答的问题.但有两点,我想应该是可以肯定的.第一,要学会欣赏、分析诗歌,就必须首先掌握诗歌的艺术特
针对制造工艺知识的复杂性和不确定性，以及应用中需要知识模式易于描述的特征，在论述工艺知识信息颗粒概念的基础上，探讨了多形态制造工艺知识的结构化处理方法。通过对工艺知识
为提高虚拟样机可视化虚拟环境的开发效率,提出了一种快速构建3维虚拟环境的方法.通过分析虚拟样机可视化虚拟环境参数化模型,设计了一种虚拟样机可视化虚拟环境框架,利用该
费县位于山东省东南部，蒙山之阳，抱犊崮之阴。地处东经117°36′～118°18′，北纬35°01′～35°33′。南北最大纵距58．75公里，东西最大横距64．25公里，总面积1903．75平方
目的:考察普罗布考对脑梗塞进展期患者活化部分凝血活酶时间(APTT)、血浆纤维蛋白原(FIB)与血液流变学的影响。方法:选取本院82例脑梗塞进展期患者随机分为实验组和对照组,其
为实现由三维计算机辅助设计模型(三维计算机辅助设计软件设计图)建立边界的三维离散元法分析模型,提出一种基于图元的三维离散元法边界建模方法及实边界图元和虚边界图元的概念。在此基础上,建立了圆形平面、圆锥面和圆柱面等二十余种三维图元与球体颗粒的接触检测、接触点求解,以及接触叠合量的计算方法,并通过几个实例,验证了该边界建模方法的正确性和有效性,为设计阶段的计算机辅助设计模型进行机械部件工作过程的仿真分
提出了一个典型的制造网格体系结构的层次模型，在此基础上，提出用资源视图和功能视图、信息视图分别描述制造网格体系结构的资源组成、功能结构和信息结构，并用过程视图将前3个
由国家发改委发布的《天然石材装饰工程技术规程》（JCC／T60001—2007）、《超薄天然石材型复合板》（JC／T1049—2007）、《地面石材防滑性能等级划分及试验方法》（JC／1050—2007）、《石材
【正】 《诗经·木瓜》是一首广为流传的爱情诗,在这首诗中,诗人唱出了“投我以木瓜,报之以琼琚”这样优美而真挚的诗句,下文又以木桃一琼瑶、木李一琼玖反复咏叹,真可
【正】 “为了周总理的嘱托……”是一篇真切感人的好文章。原载一九七八年三月十四日《人民日报》,在选入全日制中学语文课木时,作了改动。但是标题的省略号却没有删去,这是