基于角色和任务的工作流授权模型及约束描述

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:jiaofangjunonline
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先描述了一个基于角色和任务的工作流授权模型,其基本思想是角色和权限不直接挂钩而是通过任务把它们联系在一起,更方便权限粒度的控制和管理,然后以此模型为上下文背景提出了一个描述基于角色和任务的工作流授权约束的直观的形式化语言,称为RTCL.它以系统函数、集合以及变量符作为基本元素,证明了在语义上RTCL与严格形式的一阶谓词逻辑RFOPL是等价的.最后通过用RTCL表示各种各样的约束来说明RTCL的表现能力.
其他文献
Agent组织是一种灵活有效的多Agent系统求解方式.Agent组织规则在Agent组织的求解过程中起着重要作用,可以有效地减少冲突提高求解效率.给出了一种基于再励学习的Agent组织规
文章就潍坊市昌乐县高崖水库灌区农业灌溉目前存在的问题进行分析、归纳,并提出了解决问题的对策。
基于Agent的模式识别框架APRF(agent-oriented pattern recognition frame).先用自下而上方法对模式建模,然后再自上而下对模式分类.让计算机模式识别更符合人的认知过程的特