国家高技术研究发展计划(2003AA413010)
- 作品数：3 被引量：2H指数：1
- 相关作者：陈宁江陈华荣赵劼范国闯樊会锋更多>>
- 相关机构：中国科学院软件研究所中国科学院研究生院更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- OASSF:一个灵活的Web应用服务器安全框架被引量：1
- 2006年
- 安全框架OASSF是在安全参考模型OASSRM的基础上提出来的一个分层结构的框架,它通过各种可配置的安全策略提供WAS(W eb应用服务器)的安全服务,为在WAS中集成和管理不同的安全机制提供了高度的灵活性和扩展性。该框架在中科院软件所自主研制的OnceAS应用服务器中得到了实现。
- 陈华荣陈宁江樊会锋
- 关键词：WEB应用服务器J2EE
- CCSAS:一个高效灵活的应用服务器集群通信系统被引量：1
- 2005年
- 可靠的集群通信系统为Web应用服务器集群在高负载条件下满足性能需求提供了基础.本文分析了利用集群技术扩展Web应用服务器对于通信的关键需求,提出了一个高效、灵活的集群通信系统,阐述了该系统的结构和设计,介绍了其中若干关键技术和解决办法,包括多播消息的高效传递、协议层次、可配置集群拓扑结构和备份模式等.本文描述的集群通信系统已在自主研发的OnceAS应用服务器中实现.
- 赵劼陈宁江范国闯
- 关键词：中间件WEB应用服务器集群通信
- 基于模型检查实现J2EE规范的实例研究
- 2006年
- J2EE规范描述了当前开发应用服务器和分布式多层应用所遵循的技术蓝本。然而,它所使用的自然或半自然语言描述方式并不严格,易产生二义性,会影响J2EE应用服务器实现的正确性和应用服务器之间的兼容性。针对这一问题,本文以EJB2.1规范中的TimerService为例,研究了一种基于模型检查技术设计与实现规范方法。首先根据规范的描述提出TimerService的形式化模型,定义了TimerService的行为;然后使用模型检查工具SPIN对模型进行分析与验证,不仅证明了模型符合规范要求,而且发现并修正了规范中不严格的描述带来的缺陷。以该模型为基础导出了TimerService的一种设计方案,这种设计已经在中科院软件所研制的OnceAS应用服务器中得到实现,并在J2EE1.4兼容性测试中证明了其正确性。
- 李彦张文博陈宁江
- 关键词：J2EE规范SPIN
