您的位置： 专家智库 > >

官荷卿

作品数：13 被引量：81H指数：5
供职机构：中国科学院软件研究所更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术文学机械工程更多>>

合作作者

文献类型

  • 7篇期刊文章
  • 3篇科技成果
  • 2篇会议论文
  • 1篇学位论文

领域

  • 13篇自动化与计算...
  • 1篇机械工程
  • 1篇文学

主题

  • 4篇应用服务器
  • 4篇中间件
  • 4篇服务器
  • 4篇WEB服务
  • 3篇WEB应用
  • 3篇WEB应用服...
  • 2篇引擎
  • 2篇事务处理
  • 2篇事务模型
  • 2篇网络
  • 2篇分布式
  • 2篇分布式事务
  • 2篇WEB服务事...
  • 2篇J2EE
  • 2篇程序设计
  • 1篇调度
  • 1篇调度策略
  • 1篇应用组件
  • 1篇映射
  • 1篇映射模型

机构

  • 13篇中国科学院软...

作者

  • 13篇官荷卿
  • 6篇陈宁江
  • 4篇魏峻
  • 4篇张文博
  • 4篇黄涛
  • 3篇范国闯
  • 3篇张昕
  • 3篇钟华
  • 3篇冯玉琳
  • 2篇叶丹
  • 2篇金蓓弘
  • 2篇虞海江
  • 2篇刘绍华
  • 2篇宋靖宇
  • 2篇丁晓宁
  • 2篇万淑超
  • 2篇赵劼
  • 1篇许舒人
  • 1篇樊会锋
  • 1篇郭祥丰

传媒

  • 4篇计算机科学
  • 2篇中国科学院计...
  • 1篇计算机学报
  • 1篇软件学报
  • 1篇计算机工程与...

年份

  • 2篇2007
  • 1篇2006
  • 6篇2005
  • 3篇2004
  • 1篇2003
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
程序性质的描述及证明被引量：5
2003年
XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑框架下验证。对于顺序程序,XYZ系统提供了一套基于Hoare逻辑规则的验证工具XYZ/VERI。
官荷卿郭亮
关键词：程序设计时序逻辑语言
J2EE资源集成的性能优化研究被引量：4
2005年
J2EE应用服务器基于JCA规范为企业资源系统提供了一个统一的资源集成解决方案。在JCA框架下,应用服务器提供连接管理、事务管理及安全管理等服务,这些服务是影响系统性能的重要因素。本文主要研究了应用服务器端在支持资源集成中与性能相关的几个关键问题,包括连接池管理和事务管理,提出了行之有效的优化策略。本文的工作已经应用到中科院软件所自主开发的J2EE应用服务器OnceAS中,取得了很好的效果。
郑蕾官荷卿陈宁江
关键词：J2EE资源集成资源系统连接管理JCA连接池
企业应用服务器关键技术研究
钟华冯玉琳范国闯丁柯陈宁江张文博张昕官荷卿刘国梁郭祥丰樊会锋
面向国民经济和社会信息化的需求，针对因特网应用这一主流趋势，选择网络软件平台中的应用服务器进行关键技术研究，解决其中的体系结构、分布事务处理等关键问题，为建立支撑因特网应用快速的开发、高效运行和灵活部署的企业应用服务器提...
关键词：
关键词：应用服务器J2EE事务处理
Web应用服务器中Web Service引擎的设计与实现
Web Service为程序之间的交互提供了基础,实现了独立于程序设计语言的一致化编程模型, 并以通用的方法进行应用程序集成.本文分析了Web应用服务器实现Web Service的关键需求,阐述了在应用服务器中基于SOA...
赵劼官荷卿陈宁江
关键词：中间件WEB应用服务器
文献传递
Web服务事务的研究综述
Web服务的出现对分布式事务提出了新的需求,为了保证多个Web服务交互获得正确的执行和一致性的结果,有必要为Web服务提供事务机制.但是Web服务具有松散耦合性、运行时间长等特点,这使得传统的事务处理技术在处理Web服务...
官荷卿
关键词：WEB服务事务事务模型分布式事务
文献传递
一种基于性能模型的中间件自配置框架被引量：14
2007年
高动态的计算环境使得QoS(qualicy of service)保障对于基于组件的分布式系统越来越重要,软件系统需要具备自我调整的能力以适应外部环境的变化.给出一种自适应的中间件配置框架,能够动态感知负载变化,并自动调整系统参数配置以保持用户所要求的服务质量.该框架的核心是一个基于分层排队网络的性能预测模型,用于指导搜索最优的资源配置,使性能需求得到最大的满足.在OnceAS应用服务器上进行原型实现,并以StockOnline应用做实验,比较了在使用和不使用该框架时的性能需求的满足情况.结果显示,在负载增加时,通过自配置框架的调控,应用性能需求的保障程度得到了较大的提升.
胡剑军官荷卿魏峻黄涛
关键词：JAVA自配置
Web应用服务器中WebService引擎的设计与实现被引量：9
2005年
Web Service为程序之间的交互提供了基础,实现了独立于程序设计语言的一致化编程模型,并以通用的方法进行应用程序集成。分析了Web应用服务器实现Web Service的关键需求,阐述了在应用服务器中基于SOAP的Web Service引擎的设计与实现,介绍了实现Web Service引擎的若干关键技术和解决办法。Web Service引擎已在自主研发的OnceAS应用服务器中实现。
赵劼官荷卿陈宁江
关键词：WEB应用服务器引擎编程模型程序设计语言SOAP
网络软件基础架构平台关键技术和系统
冯玉琳黄涛钟华魏峻金蓓弘范国闯宋靖宇张文博张昕虞海江刘绍华叶丹张波许舒人陈宁江官荷卿万淑超丁晓宁刘强王锐
该项目成果软件基础架构平台（以下简称网驰运行平台或网驰平台），提供网络应用软件的基础支撑，解决网络环境下可靠通信、信息交换、分布事务处理、系统资源共享、负载均衡、构件化、流程协同等关键技术问题，为网络应用的整合、运行和管...
关键词：
关键词：中间件
网络环境的系统软件核心技术及运行平台
魏峻冯玉琳黄涛钟华金蓓弘范国闯宋靖宇张文博张昕虞海江刘绍华叶丹陈宁江官荷卿万淑超丁晓宁
课题突破了一系列重要关键技术，开发了相应的软件系统，构建了国内一个全面完整的、具有自主知识产权的基础软件核心平台－网驰(ONCE)。该平台包括了基础运行支撑平台，由可靠消息通信中间件OnceMQ，web应用服务器Once...
关键词：
关键词：基础软件中间件
一种应用敏感的Web服务请求调度策略被引量：18
2006年
在当前企业级Web服务应用中,性能问题一直是人们关注的重点．然而作为支撑Web服务应用的主流平台,Web应用服务器对请求的调度仍然是传统的先来先服务策略(FCFS)．这种策略无法区分请求的重要性,降低了关键请求的性能．以往的研究较少从应用的性能需求出发考虑服务器的请求调度机制,影响了服务器性能保障的效果．对此,提出了应用敏感的Web服务请求调度策略(AWSRS),使用应用获益来评估服务器为应用提供的性能保障效果．服务器将请求按照应用的需求进行分类,并按照应用获益最大化的目标为不同类型的请求分配资源．实验表明AWSRS策略能够有效提高关键请求的性能．
官荷卿张文博魏峻黄涛
关键词：WEB服务请求调度WEB应用服务器服务质量
全选 清除 导出
共2页<12>
聚类工具0