贾峰
- 作品数：5 被引量：14H指数：2
- 供职机构：湖南工业大学计算机与通信学院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术建筑科学更多>>
- 支持QoS和信任度的Web服务选择研究
- 随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量/(QoS/)对Web服务进行查找和选择已成为研究热点。现有的基于QoS的服务选择方法通常假定服务提供者QoS数据和使用者给出的信任值是真实可信...
- 贾峰
- 关键词：WEB服务选择服务质量信任度
- 文献传递
- 支持QoS和信任度的Web服务选择研究被引量：2
- 2009年
- 针对目前服务提供者发布的QoS属性值、用户提供的评分存在不可信因素,提出一种支持QoS增强信任度的Web服务选择方法。对以往运行数据进行监控统计,阶段性修正提供者发布QoS属性值,以概率统计理论为基础,结合时间衰减因子计算信任度,通过用户可信评测算法,实现用户及评分的可信。根据模拟实验说明了该方法的有效性。
- 贾峰文志诚李长云曾茂林
- 关键词：WEB服务选择服务质量信任度
- 支持QoS和信任度的Web服务选择研究
- 目前服务提供者发布的QoS属性值、用户提供的评分存在不可信因素,提出一种支持QoS增强信任度的Web服务选择方法.对以往运行数据进行监控统计,阶段牲修正提供者发布QoS属性值,以概率统计理论为基础,结合时间衰减因子计算信...
- 贾峰文志诚李长云曾茂林
- 关键词：WEB服务选择服务质量信任度
- 一个Object-Z规格说明的证明责任产生器被引量：1
- 2010年
- 定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。
- 文志诚贾峰胡纯蓉
- 关键词：OBJECT-Z
- 基于J2EE工作流的办公系统的设计与实现被引量：11
- 2010年
- 根据学校办公的要求,通过对开源工作流系统uEngine进行分析,开发了一套基于J2EE的工作流办公系统。从系统的建设目标出发,介绍了系统框架及工作流的概念,在此基础上提出基于工作流办公系统的总体设计方案,利用图形化组件建立流程模型,设置角色动态绑定机制,并通过E-Mail与短信结合方式发送给指定的对象。最后以会议申请流为例,详细介绍了该流程的设计实现。
- 贾峰文志诚薛小燕
- 关键词：工作流技术办公系统J2EE
