中央高校基本科研业务费专项资金(2012211020203)
- 作品数:3 被引量:9H指数:2
- 相关作者:邵飞彭蓉孟博冯在文黄华更多>>
- 相关机构:武汉大学中南民族大学景德镇陶瓷学院更多>>
- 发文基金:中央高校基本科研业务费专项资金国家自然科学基金武汉市青年科技晨光计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于领域知识的非功能需求建模辅助方法被引量:6
- 2013年
- 随着信息化的普及,人们对软件系统质量要求越来越高,由于体现涉众对软件质量要求的非功能需求具有抽象、主观、不确定等特性,纯粹依赖人工方式对非功能需求建模是一项十分困难的任务.利用领域工程具有的内聚性和稳定性,提出一种基于领域知识的非功能需求建模辅助方法,通过挖掘隐含领域知识,层次化地组织领域知识,能够弥补个人知识的不足,更准确、完整地建模非功能需求.该方法包含两个部分:(1)基于不确定性理论的领域知识获取及分析模块;(2)基于NFR(Non-Functional Requirements)框架的非功能需求辅助建模模块.通过建立非功能属性分解树、设计基于三角模糊数的评价语言值量化机制和传递依赖关系计算方法,实现了对领域知识的准备;建立了非功能属性及非功能需求间依赖关系的形式化定义和推理规则,提出了基于RE-Tools的NFR扩展,实现了对领域知识的应用.案例研究表明,文中方法具有良好的可操作性,能够辅助建模需求关联,减轻需求工程师的工作负荷;同时,交叉实验结果表明,该方法可提升传统NFR框架方法的效率和准确度.
- 邵飞彭蓉
- 关键词:非功能需求非功能属性领域知识
- 一种基于椭圆曲线离散对数问题的非交互式可否认认证协议被引量:2
- 2014年
- 可否认认证协议作为一种安全协议,被用在如电子选举等许多特殊领域中,由于交互式可否认认证协议的多次交互带来的安全隐患,非交互式可否认认证协议引起了更多的重视,提出一种基于椭圆曲线离散对数问题的非交互式可否认认证协议,椭圆曲线离散对数问题的难解性提高了密钥的保密性,保证了非交互式协议的安全,构建的非交互式可否认协议可以抵抗重放攻击、伪造攻击、冒充攻击和已知会话密钥攻击,基于形式化方法对该协议的可否认性进行了证明,最后通过与其他协议的比较,说明了该协议的安全性和高效.
- 邵飞孟博
- 关键词:非交互式安全性
- 基于反演模式支持多租户动态配置的云工作流模型构建被引量:1
- 2013年
- 为解决云工作流中多租户需求变化的动态适应性问题,提出基于反演模式支持多租户动态配置的云工作流模型。该模型运用反演计算的思想,从过程模型、角色模型、接口模型和状态模型等方面对云工作流进行描述和控制,并通过租户元对象所控制的拓扑元对象、角色元对象、任务元对象、状态元对象及其提供的元对象协议来实现对租户需求变化的适应性调整。实例分析表明,模型能够满足业务流程变更、人员变动及服务资源异常所引起的云工作流的适应性调整。
- 黄华彭蓉冯在文
- 关键词:工作流模型云计算