国家高技术研究发展计划(2007AA04Z150) 作品数:13 被引量:81 H指数:4 相关作者: 范玉顺 姜峰 孙红俊 褚伟杰 李伟平 更多>> 相关机构: 清华大学 桂林空军学院 北京大学 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 欧盟第六框架计划 更多>> 相关领域: 自动化与计算机技术 机械工程 理学 更多>>
一种柔性的文档工作流设计方法 2008年 针对工作流软件在文档处理方面的柔性不足,提出一套灵活的文档工作流设计.系统从文档的分类、版本管理、存储结构等角度,规范了文档管理在工作流系统中的应用.给出了文档管理整体实现架构和案例验证,从而将工作流系统中的文档管理功能丰富为一个完整而灵活的系统模块,填补了工作流管理系统在文档处理功能方面的缺陷,增强了工作流系统文档的柔性处理能力. 曾维江 范玉顺关键词:工作流 文档管理 基于SOA的RFID中间件集成应用 被引量:23 2008年 RFID中间件的出现有助于实现RFID设备与企业应用系统之间的集成。该文提出一种基于面向服务体系架构的RFID集成应用方案,使企业应用系统能够通过服务接口层调用RFID中间件提供的服务,实现应用系统与RFID系统的松耦合集成。应用实例验证了该项方案的可行性。 褚伟杰 田永民 李伟平关键词:无线射频识别 中间件 基于着色Petri网的语义Web服务组合形式化验证 被引量:13 2010年 为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色Petri网组合模型的转换方法,定义了语义Web服务着色Petri网(SWS-net)。转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系,而且能用着色Petri网的形式化方法进行服务组合正确性验证。给出了组合服务的语义一致性验证算法,最后以一个协同设计过程为例对组合服务流程进行仿真验证并在工作流引擎中部署执行。仿真及执行结果表明,服务组合后的流程无死锁并且能够顺利执行。 倪悦 范玉顺关键词:语义WEB服务 着色PETRI网 BPEL组合服务流程动态性能的定量预测方法 2010年 针对服务质量研究在流程模型相关性和流程性能动态性方面存在的不足,将吞吐量和响应时间引入到组合服务流程性能评估的流程级指标中,借助排队网络系统的相关结论,研究了组合服务流程动态性能的定量预测方法,给出了针对组合服务流程执行语言(BPEL)的动态性能临界值计算方法,并通过一个示例介绍了该方法在BPEL组合服务流程的动态性能定量预测和组合方案优化中的应用。 姜峰 范玉顺 曾森关键词:动态性能 排队网络 面向服务环境下基于本体映射的多领域业务过程协同 2010年 为解决面向服务环境下多领域业务过程协同中的语义不一致问题,使不同领域提供的Web服务实现无障碍交互以及数据和知识共享,提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体,然后根据各领域的参考本体生成领域间的协同本体,最后将协同本体通过映射转换到BPEL和WSDL文件。该方法能够保留流程与Web服务中的原始语义信息,从而保证不同领域业务过程协同地顺利进行。原型系统在欧盟ImportNET项目中得到了验证。 倪悦 范玉顺关键词:WEB服务 本体 映射 可扩展的集成化业务服务模型 被引量:6 2011年 为了对面向服务的企业(service oriented enter-prise,SOE)中的业务服务提供全面的、有业务含义的、可扩展的描述,并支持SOE的业务构建及运行,从业务角度入手,在提出一个SOE运行框架并进行分析的基础上,以业务服务和业务过程为核心,定义了一种多视图的集成化业务服务模型(integrated business service model,IBSM),给出了建模框架和模型元素定义,以可扩展标记语言(XML)文本对模型进行了描述。IBSM模型既对业务服务进行了全面的静态表达并突出其业务含义,又为SOE的动态运行提供了基础,并且符合元对象机制(MOF)规范,具备较强的可扩展性。 王伟然 范玉顺关键词:计算机集成制造 元模型 Web服务流程相容性和相似性分析 被引量:29 2009年 服务组合和服务替换是面向服务计算的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构性的概念,证明良构性能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足. 李喜彤 范玉顺关键词:WEB服务 相容性 一种支持SOA系统开发的服务注册库 被引量:1 2011年 为了支持SOA系统开发,需要对各种形式的服务进行有效地管理.在前期工作的基础上,提出了一个语义增强服务库,用于基于语义的服务注册、搜索和组装.重点介绍其中的服务注册库部分,包括服务注册库的功能、所用的服务描述规范,并用一个实例说明了服务注册、发布的整个过程.该服务库通过支持多种形式的服务,可以有效地管理企业现有的各种软件资源,并为基于SOA的系统开发提供支持. 李伟平 褚伟杰 杨维强 刘诗童关键词:服务注册 服务搜索 本体 基于生态模式的服务管理系统及其形式化构建 被引量:3 2009年 针对制约面向服务架构发展的Web服务管理瓶颈问题,从服务管理的角度提出一种以服务为中心的面向服务架构,把服务资源系统的管理和演化作为核心,着重研究系统中服务的能力描述和服务间关系的维护。给出了系统基于生态模式的形式化描述方法和构建算法,可由计算机自动构建服务资源系统的全局模型,并实现服务个体及个体间关系的自动维护。实验表明,以服务为中心的面向服务架构的服务系统具有较好的运行稳定性和检索查全率。 姜峰 范玉顺关键词:生态模式 服务管理 面向服务架构 基于覆盖度函数的概念格约简 被引量:3 2010年 该文针对基于概念格的大规模数据和规则挖掘中,概念节点数呈指数爆炸的问题,提出了概念覆盖度函数和概念格度量模型,进行概念格约简,从而使生成的标示概念格具有线性空间复杂度。给出了概念格约简的直求法、同步法和提取法3种算法。时空复杂度分析和仿真试验表明,所提方法可以大幅约简概念格规模,从而显著提高建格和规则挖掘效率。标示概念还具有特殊含义,在Web服务关系挖掘中有很好的应用。 姜峰 范玉顺关键词:数据挖掘 形式概念分析 概念格