中央高校基本科研业务费专项资金(2009ZM0162)
- 作品数:2 被引量:11H指数:2
- 相关作者:奚建清刘勇贾连印苗德成韦凯更多>>
- 相关机构:华南理工大学华南农业大学深圳大学更多>>
- 发文基金:中央高校基本科研业务费专项资金广东省科技计划工业攻关项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种形式语言代数模型被引量:8
- 2011年
- 针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论深入分析语言族模型中各语言模型之间的内在联系,以提供一个便利、高效的形式语言模型的理论框架.
- 苗德成奚建清贾连印刘勇
- 关键词:形式语言语言模型形式语义
- 主动授权管理中的关联继承机制被引量:3
- 2012年
- 为解决主动授权管理模型中普遍和长期存在的任务间重复授权问题,提高工作流授权的伸缩性,提出一种基于职能关联的权限继承机制.通过对传统的角色任务指派关系进行深入挖掘,定义了职能关联概念及其特化与管理关系;根据职能关联的分量和属性给出了2种关系的推导规则,并按2种关系上的继承性区分业务性和管理性授权,从而建立了可自动配置的授权继承结构.论文评审工作流上的验证结果表明,较之现有各类模型,文中提出的模型以10%以下的额外手工操作减少了53%以上的授权操作,较好地克服了任务间重复授权这一缺陷,取得了明显的授权伸缩性优势.同时,该模型还提供对任务内多角色协作的支持.
- 翟治年奚建清卢亚辉汤德佑郭玉彬韦凯
- 关键词:访问控制授权工作流角色伸缩性