王建武
- 作品数:8 被引量:87H指数:5
- 供职机构:中国科学院计算技术研究所更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家科技基础条件平台建设计划更多>>
- 相关领域:自动化与计算机技术自然科学总论更多>>
- 面向服务应用中服务可用性及其引发的异常处理研究被引量:10
- 2004年
- 面向服务应用倡导以松耦合的方式构建开放、动态的网络应用 ,系统对异常的检测和处理也由此面临许多新的挑战 分析了构建和运行面向服务应用的主要阶段中要面对的异常问题 ,重点探讨了在应用执行过程中由于服务的可用性问题引发的异常 ,并提出了一种基于案例匹配的异常处理方法 该方法应用到了奥运公众信息服务平台原型系统FLAME2 0 0 8中 。
- 李东来韩燕波王建武喻坚
- 关键词:异常处理服务可用性
- MINI--一种可减小变更影响范围的本体演化算法被引量:18
- 2008年
- 本体演化会影响依赖本体的服务,使其重新修订和重新部署.面对同一变更需求,不同演化实现方法造成的影响范围差别很大.当前的本体演化研究主要集中在如何实现变更需求以及维护变更前后本体的一致性,对于如何降低演化影响范围关注甚少.文中提出了一种可以有效减小变更影响范围的本体演化算法MINI.该算法首先分析了本体实体和服务之间的依赖关系并提出了量化变更影响范围的数学公式.根据这一公式,MINI算法将本体演化过程转变为图的启发式搜索过程,通过搜索一条影响值最小的变更路径来减小本体演化的影响范围.实验结果表明,MINI算法导致的平均变更影响范围大大小于现有的本体演化算法.该算法已在某实际项目中得以应用和验证.
- 刘晨韩燕波陈旺虎王建武
- 关键词:本体演化
- 一种支持最终用户探索式组合服务的方法被引量:19
- 2006年
- 服务组合是构建面向服务、松耦合、高适应性的应用系统的主要途径.现行服务组合技术大多只适于构造需求明确、业务流程可预先定义的情况.然而,现实中存在大量需要边执行边探索、“摸着石头过河”式的问题求解形式.针对这类需求,结合网络化科研协作中的实际问题,提出一种最终用户可探索式服务组合的方法,重点讨论了探索式服务组合编程模型、服务推荐等关键问题.此外,从使用者角度对所提出的组合方法及其实现机制给予了定性分析和评价.
- 韩燕波王洪翠王建武闫淑英张程
- 关键词:最终用户编程编程模型
- 面向领域及业务用户的服务模型研究
- 今天,科研、政务、商务等诸多应用领域普遍存在业务需求快速多变的特点,要求其信息系统能够按需动态集成,以即时应对需求的变化.随着面向服务计算技术的日渐普及,互联网内已有越来越多的Web服务计算资源可供人们使用.如果业务用户...
- 王建武
- 关键词:最终用户编程服务定制
- 文献传递
- 支持虚拟组织的语义基础设施的动态构建方法研究被引量:10
- 2006年
- 提出一种从虚拟组织自治域的资源描述中抽取语义,然后聚合为虚拟组织的语义基础设施的方法.该方法引入了一种领域知识学习算法,用以建立当前语境相关的词法空间,以提高语义抽取和聚合的准确性及自动化程度,并且在语义聚合的过程中隐含了虚拟组织语义到自治域语义的映射,更好的支持了虚拟组织应用的构建和跨自治域资源的透明访问.实验表明,该方法能够适应虚拟组织的动态开放环境、有效支持虚拟组织的语义基础设施构建.
- 陈旺虎刘晨李厚福王建武
- 面向领域的可定制服务模型被引量:3
- 2008年
- 提出一种面向领域、可定制的业务级服务模型,模型利用特征分析技术描述业务领域中相似服务资源及用户需求的变化性。具体领域业务服务由领域专家通过分析领域通用业务活动建模得到,最终用户使用时选择相应领域业务服务并对其进行个性化定制,实现对Web服务资源的自主、有效利用。通过在生物信息领域的试用,初步证明了模型的可行性、有效性。
- 王建武陈旺虎韩燕波
- 关键词:可定制
- 一种适应性web服务匹配方法(英文)
- 2007年
- 为提高服务匹配对请求多样性和服务能力描述差异性的适应能力,提出了一种基于时态逻辑模型检验的适应性服务匹配方法——ASMA.该方法基于一个抽象服务模型ASM-TL,ASM-TL包含了影响服务匹配的服务内部约束和调用约束等重要因素,以及一个描述服务行为属性的虚拟过程模型.ASMA将服务请求统一描述为一种时态约束条件,基于ASM-TL将服务转换为一种时态模型,并引入模型检验的思想进行服务匹配.因此,ASMA可提高服务匹配的准确度,并很好地适应服务请求的多样性和服务能力描述的差异性.该方法已应用到生物信息领域的问题求解环境(PSE)中.应用表明,该方法对动态环境具有良好的适应能力.
- 陈旺虎韩燕波王菁刘晨王建武
- 关键词:时态逻辑
- 一种支持业务用户编程的服务虚拟化技术——VINCA聚合服务机制被引量:24
- 2004年
- 提出一种支持业务用户编程的服务虚拟化技术———VINCA聚合服务机制 ,其核心是VINCA聚合服务模型 该模型从业务与IT两个层面出发并“中间相遇”来实现服务资源的虚拟化 ,从而屏蔽具体服务资源的使用复杂性 ,使得业务用户更易于直接将业务需求映射到虚拟化的服务资源 ,为业务用户编程提供支持 定义了VINCA聚合服务的生命周期模型及使用方式 ,以明确地指导VINCA聚合服务的构造及使用过程 介绍了VINCA聚合服务支撑系统架构 。
- 赵卓峰韩燕波喻坚王建武
- 关键词:服务虚拟化