王千祥 作品数:80 被引量:747 H指数:11 供职机构: 北京大学信息科学技术学院高可信软件技术教育部重点实验室 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 航空宇航科学技术 电子电信 更多>>
基于截取器的软件在线校验方法 一种基于截取器的软件在线校验方法,包括步骤:(1)以截取器的形式实现校验代码,并将不同的校验内容以单个截取器或截取器链的形式进行组织;(2)截取器对目标码与外部的通信消息进行分析,判断消息内容是否符合预先设定的条件;(3... 王千祥 梅宏文献传递 应用服务器中异步通信机制的设计和实现 在基地JMS(Java Message Service)的通信中,JMS中间件通过缓存通信内容,分离通信参与者,从底层设施上支持异步的通信模式.目前J2EE体系已将JMS作为一项标准服务纳入,同时提出消息驱动的EJB作为... 王栋 王千祥 梅宏关键词:异步通信 应用服务器 中间件 文献传递 基于软件体系结构的反射式中间件研究 被引量:107 2003年 Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足注重系统局部或单个实体的反射而缺乏全局视图;注重中间件平台内部功能的反射,而对上层应用的反射不够;集中于CORBA平台,而对J2EE平台的反射性研究较少.介绍了一个反射式的J2EE应用服务器PKUAS.基于构件化的平台内部体系结构,PKUAS引入软件体系结构作为全局视图以实现反射体系对系统整体的表示和控制,作为J2EE应用服务器,PKUAS可反射底层平台以及上层EJB构件.同时,以PKUAS实时监控工具为例,探讨了如何利用基于软件体系结构的反射体系管理整个系统,并给出了PKUAS与其他几种反射式中间件的比较.该工作有效地解决了现阶段反射式中间件研究的不足,提高了反射式中间件的实用性. 黄罡 王千祥 梅宏 杨芙清关键词:中间件 反射性 软件体系结构 J2EE 开放式互操作框架的设计与实现 本文在分析现有主流互操作技术的基础上,提出了一种支持多协议的开放互操作框架,其核心思想在于将构件化的思想引入互操作框架的设计以及协议的实现.在严格确立应用与互操作框架边界的前提下,将互操作技术的主要功能封装为相对松散的构... 吴翔 黄罡 郑子瞻 王千祥 梅宏关键词:中间件 互操作框架 通信协议 软件工程 文献传递 一种基于模型的特征交互检测方法 被引量:5 2007年 为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一.这类方法着眼于检测扩展之间是否会发生冲突.虽然在小规模实验上较为成功,但是它们也面临着一些挑战.例如:扩展的非单调性、扩展组合的激增以及扩展模型可能无法获知的问题.实际上,许多特征交互都源于新扩展对基系统和已有扩展造成的不恰当影响.基于这种认识,集中关注由于扩展的不恰当影响所导致的交互冲突问题,提出了如何从已知的特征交互实例来分析产生冲突的原因的具体方法,并说明了如何制定约束以限制扩展中易导致冲突的行为,从而预防同一类行为可能导致的各种冲突.该方法被应用到电信系统特征交互的分析上,实验结果表明,大部分特征交互中导致冲突的行为都可以被检测出来.该方法不仅能够保证原有基系统或扩展模型的稳定、有效,避免扩展组合带来的问题,而且它无须公布扩展的模型细节. 左继红 王千祥 梅宏关键词:特征交互 形式化方法 PKUAS的安全机制 PKUAS是北京大学开发的支持J2EE规范的应用服务器.J2EE规范定义了一个基于角色的、支持声明型的安全模型,声明了针对应用的若干安全需求.但是J2EE规范没有对安全模型的实现技术作任何规定,而是把这个问题交给J2EE... 曹东刚 王千祥 刘天成 梅宏关键词:应用服务器 J2EE 网络安全 文献传递 基于应用特征的PaaS弹性资源管理机制 被引量:13 2016年 如何在保障服务质量的前提下,尽可能地节省服务器资源,是云计算环境中弹性资源管理面临的主要问题之一.目前关于云计算环境中弹性机制的研究多数集中在IaaS层,且较少考虑不同应用的具体特征.文中提出了一种基于应用特征的PaaS弹性资源管理机制AFERM(Application Feature based Elastic Resource Management mechanism),主要贡献包括:(1)定义了包含资源开销信息与请求率变化信息的应用特征;(2)设计了一种基于应用执行单元的请求分配机制,在请求数量较大时,将它们划分给多个资源开销相对固定的应用执行单元分别处理;(3)基于应用特征将不同类型的应用搭配部署.作者在自主开发的PaaS平台PAE(Peking university Application Engine)上验证了该机制的可行性和有效性.实验证明,AFERM能够在保证服务质量的前提下,有效地减少服务器的使用:与对比策略相比,AFERM平均可以减少28.3%的虚拟机占用,最多可以减少50%. 魏豪 周抒睿 张锐 杨挺 王千祥关键词:云计算 PAAS 自适应软件系统:开发方法和运行支撑专题前言 被引量:5 2015年 随着软件应用范围的不断扩大,其运行平台正从传统的计算机延展到嵌入式设备、移动设备和开放的互联网,并与物理系统、社会系统等更加紧密地融合在一起.这种开放、动态、难控的运行环境要求软件系统需具备一定程度的自适应能力——也就是说,软件系统应能主动感知环境和需求的变化,并据以调整自身结构和行为,以持续地提供满足(甚至超出)用户期望的服务.近年来,自适应软件系统的相关理论、方法和技术得到学术界和工业界的广泛关注,研究非常活跃.为总结我国在自适应软件的开发方法和运行支撑等方面的最新成果,促进该领域的学术交流,推动进一步研究,我们组织了本期专题. 吕建 王千祥 马晓星 毛新军关键词:自适应能力 软件系统 嵌入式设备 自适应软件 一种基于信息检索技术识别重复缺陷模式的方法 缺陷模式是对常见代码缺陷的统一描述。缺陷模式库收集这些模式,并为基于缺陷模式的静态代码分析工吴的研发提供支持。当用户向缺陷模式库添加新缺陷模式时,经常发生重复提交的现象,造成库中缺陷模式的冗余。提出了一种基于信息检索技术... 吴倩 王千祥关键词:自然语言处理 信息检索 文献传递 《云计算和服务计算》专辑前言 被引量:4 2011年 云计算作为一种新兴的信息处理基础设施模式和商业模式得到广泛认可之后,人们开始关注其背后的科学问题和特有的核心技术,以便能更有效、高效、节省、保质地建设和利用云基础设施.此外,软件和资源走进云基础设施,以服务的形式为消费者所用,服务成为接入和放大各类基础设施能力的基本途径.云计算与服务计算的关系非常密切,云计算中最常提到的软件即服务(SaaS)、平台即服务(PaaS)和基础设施即服务(IaaS)中最核心的就是服务,而近来服务计算相关研究也多涉及云基础设施上的资源共享和应用集成. 韩燕波 陈俊亮 王千祥关键词:基础设施 专辑 资源共享 商业模式 信息处理