您的位置： 专家智库 > >

国家高技术研究发展计划(2003AA115420)

作品数：2 被引量：7H指数：1
相关作者：刘美荣刘建马殿富张力军赵静峰更多>>
相关机构：北京航空航天大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化研究
  • 1篇门户
  • 1篇互操作
  • 1篇PORTLE...
  • 1篇SDL
  • 1篇SDL语言
  • 1篇SIP协议

机构

  • 2篇北京航空航天...

作者

  • 1篇马殿富
  • 1篇赵静峰
  • 1篇刘建
  • 1篇张力军
  • 1篇刘美荣

传媒

  • 1篇计算机集成制...
  • 1篇计算机与数字...

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
支持Portlet互操作的容器被引量：6
2007年
为解决企业门户中Portlet组件的互操作需求,设计了一个基于订阅/发布技术的支持互操作的Port-let容器,为企业门户中基于Portlet应用的协同互操作提供了一种解决方案。在此容器中,基于订阅/发布模式的Portlet互操作通信模型,通过发布订阅机制来实现Portlet之间消息的通信。通过消息队形存储通信的消息,可实现不同应用范围之间、不同门户页面之间,以及本地和远程之间的Portlet互操作。此外,该容器还支持互操作Portlet的订制。
刘美荣刘建马殿富
关键词：PORTLET互操作门户
基于SDL语言的SIP协议的形式化研究被引量：1
2006年
会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型。介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL给出了SIP协议的形式化描述,为进一步的协议实现和验证奠定了基础。
赵静峰张力军
关键词：SIP协议SDL形式化
全选 清除 导出
共1页<1>
聚类工具0