刘建
- 作品数：20 被引量：15H指数：3
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学理学机械工程更多>>
- 一种基于SAWSDL的语义信息提取的方法
- 一种基于SAWSDL的语义信息提取的方法，主要应用Web服务中，其步骤如下：(1)判断SAWSDL文档是基于WSDL 1.1还是基于WSDL 2.0，如果基于WSDL 2.0，则转步骤(3)，如果基于WSDL 1.1，则...
- 马殿富朱红李宁李静刘建
- 文献传递
- 一种基于形式化描述和状态迁移的XML转换方法
- 一种基于形式化描述和状态迁移的XML转换方法，此方法对采用XML作为主要数据表示形式的网络协议能够进行有效的形式化描述，包括以下步骤：(1)分析网络协议的逻辑功能，将协议划分为不同的状态，每个状态用唯一的一个XML片断表...
- 马殿富李宁刘建韩军李竹青王颖
- 文献传递
- 一种有状态Web服务资源的形式化描述
- Web服务资源框架(WSRF)是为解决有状态资源在网格计算中与Web服务结合而提出的一套标准。然而自然语言对协议的描述缺乏准确性和严格性,所以,提出了WSRF关键部分资源属性文档的形式化模型,并运用集合理论定义了资源属性...
- 李颖刘建陈媛媛
- 关键词：WEB服务服务资源网格计算形式化描述
- 文献传递
- 基于分层结构的Web服务处理系统及方法
- 本发明公开了一种基于分层结构的Web服务处理系统，它由传输层、消息层、服务层和适配层构成，各层之间通过对象池隔离和连接。所述对象池用于在线程处理过程中缓存对象，它设有接口，对象派发线程通过对象池接口从对象池中获取对象。所...
- 马殿富刘建李武朱岩葛声刘旭东
- 文献传递
- 基于有向图的WS-BPEL控制环路检测方法
- 一种基于有向图的WS-BPEL控制环路检测方法，其步骤为：首先将WS-BPEL转换为扩展有向图BPEL-Graph，然后对BPEL-Graph中的非控制环路循环，即while和repeatUntil活动进行解环，迭代去掉...
- 马殿富孙斗刘敏刘建
- 文献传递
- 一种基于非阻塞机制的HTTP报文处理方法
- 一种基于非阻塞机制的HTTP报文处理方法，包括以下步骤：A)当读事件触发，读取HTTP报文，将其存放于数据缓冲中；B)判断该报文是否需要解析报文头，是则转C)，否则转D)；C)判断报文头是否已经完整到达，是则解析报文头，...
- 韩军张德才李竹青马殿富刘建霍远国
- 文献传递
- 一种基于集合的资源通知处理系统及处理方法
- 一种基于集合理论的资源通知处理机制的处理系统包括：通知处理模块、资源管理模块、客户端组件和资源回调接口，处理方法包括以下步骤：A、当资源管理模块实例化一个资源时，将每个资源封装为主题并添加到主题容器中，同时向通知代理进行...
- 马殿富李竹青王永刚杜宗霞刘建李颖
- 文献传递
- 面向Web服务资源的两层访问控制方法被引量：4
- 2010年
- Web服务资源具有静态的Web服务接口和动态的有状态资源两个组件。针对这两个组件的不同特征为它提出一种基于属性的两层访问控制方法(Two Level Attribute-Based Access Control,2L-ABAC)。2L-ABAC扩展基于属性的访问控制模型(Attribute-Based Access Control,ABAC),对这两个组件分别进行访问控制。ABAC系统的访问决定依赖于用户提供的主体属性,所以2L-ABAC采用策略发布机制告知用户所需的属性,并根据各层特征分别采用WSDL附件和元数据交换两种发布方式。除了分层设计带来的灵活性,2L-ABAC还继承了ABAC模型的特性,能够对来自其他安全域的用户进行访问控制。另外,它基于相关国际规范实现,如XACML和SAML,故具有通用性。
- 霍远国马殿富刘建李竹青
- 关键词：WEB服务资源WSDLXACMLSAML
- Web服务消息可靠传递方法
- 一种保证Web服务消息可靠传递的方法，它通过采用对等双向的消息传递方式、持久化存储、消息确认和消息选择重发机制、可靠性特征定义和可靠性特征分级策略以及支持多种消息确认模式，保证Web服务消息的可靠传递。对等双向的传递方式...
- 刘旭东朱岩韩军曾晋刘建李振海
- 文献传递
- 基于有向图的WS－BPEL控制环路检测方法
- 一种基于有向图的WS－BPEL控制环路检测方法，其步骤为：首先将WS－BPEL转换为扩展有向图BPEL－Graph，然后对BPEL－Graph中的非控制环路循环，即while和repeatUntil活动进行解环，迭代去掉...
- 马殿富孙斗刘敏刘建
- 文献传递
