基于角色的工作流授权约束规格说明

来源 :计算机集成制造系统 | 被引量 : 0次 | 上传用户:caonisbma
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态.为此,提出了一个工作流授权约束模型.该模型在工作流应用语境中定义了角色层次函数、任务偏序关系和互斥任务,在此基础上给出了一个基于角色的工作流授权约束语言,它可以准确描述工作流系统的职责分离要求,表达静态、动态授权约束和授权的历史信息,同时,所得到的约束规则集规模相对较小,保证了一致性验证在时间和空间上的可行性.
其他文献
【摘 要】对于聋校的学生来说,审美能力是他们感知世界,认识自我的最为重要的一项能力,随着特殊教育改革的不断深化,美术的教育也在不断的发生着改变,尤其是对于高中阶段的美术教学来说,再加上聋生们自身存在的相关缺陷,需要教师不断的进行教学改进,结合学生们的具体情况,借助美术教学这个载体,加强对学生审美能力的培养。  【关键词】聋校教育;高中阶段;美术教学;审美能力  【中图分类号】G633.955 【文
【摘要】小学数学教学是学生数学知识学习的关键时期,在这一阶段打下坚实的基础,有利于学生今后的高等数学学习,但是从现下的小学数学教学分析却存在不容乐观的教学现象,为此在今后的小学教学中,教师还需要加强对教学效率提升的探索,从而为学生的数学学习做出保障。  【关键词】新课改下 小学数学 教学效率  【中图分类号】G623.5 【文献标识码】A 【文章编号】2095-3089(2017)01-0150-
本文采用俄罗斯UVN0.5D21脉冲离子束辅助电弧离子镀沉积设备,在高速钢W18Cr4V基材_b_~TiAIN膜层。研究了膜层沉积过程中,脉冲N离子束轰击对TiAIN膜层耐磨性的影响。研究结果表明
【摘要】我校近年来推行学教练案教学教学模式,把小组合作学习作为支撑学教练案教学的主要方式,在有效单位时间内提高了学生学习、交往、表达的频度与效率,力争做到优势互补。具体做法介绍如下:  【关键词】课堂教学; 合作学习; 教学策略  【中图分类号】G424 【文献标识码】A 【文章编号】2095-3089(2017)03-0126-01  一、学习小组的组建  根据优势互补,互相促进的原则,同任一个
【摘 要】 在新课改持续深入的背景下,我国教育事业的发展取得骄人的發展。但在不少地区,由于学生人数较大、师资有限等限制条件,教学难以取得进一步的发展。本文以小学数学教学为例,通过分析小学数学的课堂教学现状,探讨了提升小学数学课堂有效性的策略。  【关键词】小学数学 课堂教学 高效性  【中图分类号】G623.5 【文献标识码】A 【文章编号】2095-3089(2018)36-0146-02  一
摘要[目的] 探明不同栽培条件下,泸玉糯9号各穗部主要性状与产量的相关性。[方法]以鲜食糯玉米品种泸玉糯9号为材料,采用“3414”肥效试验,设2种种植方式(直播、移栽)、3种密度(45 000、52 500、60 000株/hm2)处理,对6个穗部性状(穗长、穗粗、秃尖长、行数、行粒数、千粒重)与鲜产进行相关分析。[结果]直播条件下,穗长、穗粗与鲜穗产量呈显著或极显著正相关;移栽条件下,各性状与
【摘 要】创造力一般是指发现和制造新的事物的能力。创造力是人的一种高级能力,所谓创造力包含两层含义:一是对外在事物的超越。主体通过变革和改造旧事物,产生新颖的、独特的新事物,它常常与改革、发明、发现联系在一起;二是对自身的超越。對学生的学习而言,其创造力也不限于首创前所未有的新知识、新见解,而应包括以下更多的内涵:举一反三,灵活运用知识;有丰富的想象力,喜欢出“新点子”;爱标新立异和发表不同于于别
AutoCAD是美国Autodesk公司开发的功能强大的计算机强大的计算机辅助设计软件,在机械图形设计领域应用非常广泛,由于其具有绘图速度快、精度高、简易易学等优点,因此自从20世纪80年代推出以来,一直深受工程设计人员的青睐。目前AutoCAD已广泛应用于建筑、机械、电子、土木、航天、石油化工等工程设计领域。
利用不变量方法求得变质量的中子在含时磁场中的解析解,讨论两种相关情况:自由粒子在磁场中的解和粒子在谐振子势中的解,并验证结果的正确性。
综合考虑齿轮时变啮合刚度及齿轮误差的影响建立齿轮系统动力学模型,计算得到齿轮系统动载时域历程。建立齿轮箱声固耦合系统模型,采用边界元法对其噪声辐射进行求解,得到齿