基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析.结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网.将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础.     

基于功能本体的Web服务自动组合方法

在基于语义的自动Web服务组合中,往往采用输入输出等静态参数来描述服务功能,但是输入输出等参数由于缺乏动作描述,很难完整地描述服务功能.针对该问题,引入含有动作特征的功能本体来增加对服务功能的描述,并设计了基于功能本体树的功能合并方法.在此基础上,通过构建服务依赖图得到用户期望的输出,然后采用逆向搜索算法实现服务功能到功能本体树的映射,并结合功能本体合并方法验证每条组合路径的功能正确性.通过实例及实验分析证明了所提算法的优越性.     

基于语义Web服务的协同物流与集成技术研究

利用语义Web服务理论,研究了供应链中物流资源管理与集成、物流服务与业务协作的架构和实现方法。讨论了语义Web服务过程,构建了物流资源本体,设计了基于Web服务组件的协同物流集成框架和物流服务智能搜索引擎。提出了面向服务的跨企业业务协作模型,并以订单处理流程为例详细讨论了在Java2平台企业版平台下,生产商、物流企业和客户之间业务协作的实现方法。最终实现了语义本体理论、Web服务设计理论、面向服务的协作理论和基于面向服务的体系架构的协同物流信息系统的集成。     

基于Chord和语义映射的Web服务发现

为了克服集中式的语义Web服务发现的弊端,在分析现有P2P环境下的语义Web服务发现机制的基础上,提出了一种基于Chord和语义映射的服务发现机制,可以根据服务的输入/输出迅速、准确地定位到目标服务,并通过一种语义映射策略克服了Chord网络在对基于语义的模糊检索支持上的不足。此外,根据局部性原理在每一个注册中心上采用了类似于计算机操作系统中快表的策略。研究结果表明,该Web服务发现机制有效提高了服务发现效率。     

基于Web服务技术的工作流管理系统研究

异构环境下的工作流管理系统能否有效集成是网络化协同工作平台成功实施的关键问题。在分析了现有工作流管理系统集成技术不足的基础上,提出了基于web服务技术的工作流管理系统基础结构,该结构不仅方便了异构工作流管理系统之间的互操作,而且有利于集成企业中的现有应用系统。将工作流模型作为一种特殊的服务进行注册,重点研究了该基础结构下工作流模型的服务描述和分布式管理与调用,并讨论了Web服务端的基本结构及Web服务的响应过程。     

基于本体的Web零件库数据描述研究

提出了一种基于本体的Web零件库数据描述方法,结合零件族和事物特性表建立了Web零件库的框架,解决了零件库数据共享和重用的问题。通过扩充零件的事物特性表和本体库实现了零件库动态扩充。     

基于Web服务的企业应用集成

随着企业信息化程度的不断深入，企业不同应用之间的共享和交互问题已成为企业信息化中的一个瓶颈。本文分析了目前企业应用集成的主要方式和类型，提出了基于Web服务的企业应用集成框架，给出了基于Web服务的企业应用集成实现方式与集成模型。最后，面向中小企业整体解决方案，开发了一个基于Web服务的集成平台原型系统，为企业集成提供了一系列使能服务。     

基于Web服务的企业应用集成研究

在企业信息化实施中，企业不同应用之间的共享和交互成为日益迫切的要求。分析了企业已有信息系统的现状，讨论了传统集成技术的局限性，在阐述了Web服务技术的优势后，提出了一种基于Web服务的企业应用集成框架，最后针对企业产品配置器与零件库系统集成的需求，给出了集成实例。     

基于领域本体的Web服务发现研究

随着对Web服务复用、组合研究的不断深入,Web服务发现已成为一个主要面向服务计算领域的研究热点问题,并以查准率、查全率和查询效率作为评价其效能的主要指标.据此本文提出了一个领域本体的构建方法来扩展用户查询端查询的语义精确性,可以提高服务构件的查准率和查全率.另外本文还实现了一个基于领域本体的服务搜索引擎原型系统,可以很好地达到对服务查询效能方面的提高.     

基于Web服务的企业信息集成应用研究

本文分析了几种传统的分布式计算技术,提出了一种比较流行的分布式技术Web服务。在此基础上分析了Web服务的体系结构、集成框架,重点研究了基于Web服务的信息集成架构。在此基础上结合实例验证了Web服务在某制造企业信息集成中应用。     

产品设计知识服务中本体推理技术应用

针对产品设计知识服务过程中服务方案结构的正确性得不到保证以及服务匹配模型不能全面表达用户语义需求等问题,提出了将本体推理技术与产品设计知识服务过程相结合的方法。采用本体公理推理的方法对服务需求层级结构进行一致性检查,保证了服务方案结构的正确性。建立了SWRL规则库并设计了推理机对需求模型中的隐含关系进行推理和挖掘,丰富了服务匹配模型的语义,使得服务匹配模型可以充分全面地表达用户的知识需求。最后,在某军用车辆知识服务系统中对该方法进行了应用,验证了该方法的有效性和可行性。     

基于本体的技术创新研究

技术创新所依据的科学原理往往属于其他领域,领域跨度越大,创新等级越高。将致力于实现知识重用、知识共享和机器可懂的本体和语义网技术与发明问题解决理论（TRIZ）相结合,提出了基于本体的技术冲突解决方法,给出了基于本体的技术冲突解决流程,并应用本体构建软件protfigfi、体描述语言OWL,以TRIZ的冲突解决原理为基础构建了技术创新本体。以强夯机脱钩器的技术创新为例,验证了该方法的有效性。     

一种支持Web服务合成的模型定义语言-e_SPDL

Web服务合成是通过合成基本的Web服务为用户提供增值服务的能力。Web服务合成首先要考虑的问题是使用一种有效的建模语言来为服务合成建模，并使用合成服务定义语言来描述它。给出了基于XML的支持服务合成原型系统(e-Scope4WS)的服务合成定义语言——e_SPDL，具体介绍了其主要特点，给出了它的基本结构，并且进行了实例分析。e_SPDL基于BPEL4WS，并在此基础上进行了扩展，对服务参与者引入服务容器的概念来达到动态服务查找和动态服务替换的目的；针对BPEL4WS复杂、难用的特点和本系统的实际需要，对其进行了不失一般性和通用性的简化。     

本体模型及其在质量知识管理中的应用

在分析了质量知识管理的特点和W3C的语义网络技术框架基础上,引入RDF本体建模语言及相关的技术,建立了质量知识本体模型,最后就质量手册编写活动中的两个环节阐述了质量知识本体模型在隐性质量知识显性化和显性质量知识共享的基本思路。     

一个面向企业动态联盟的Web服务合成系统

在网络经济模式下，企业面对市场的不断变化，提出组建动态联盟以共同实现商机的举措。但怎样才能快速、灵活地合成联盟成员间的业务流程，就成为十分关键的问题。Web服务的出现，使企业可以提供“标准的”、Web可访问的业务组件，企业间通过Web服务就可实现有效的业务集成。本文讨论了一个面向企业动态联盟的服务合成系统e_Scope4WS的模型和实现。该系统支持合成服务流程的建模、执行和监控，提供了合成流程中的授权控制和事务处理，并能够根据要求实现合成服务运行中的动态服务查找；同时，还能支持合成服务的快速部署和发布。     

基于本体的企业知识管理平台的构建

研究了知识管理实施中的关键技术———知识的分类、知识的表示、企业知识的构建、知识的共享和集成。在此基础上,图示了成功失败案例的本体定义。采用Protégé2000设计了制造企业的知识管理平台。为制造企业实现基于本体的知识管理平台提供了一种新的理论和方法。     

集成本体的CBR算法及在CAPP应用

虽然CBR(Case-based Reasoning)技术越来越深入地应用到工程领域特别是工艺设计问题,但是传统的CBR系统缺乏语义理解能力,这严重阻碍了CBR系统在CAPP(Computer Aided Process Planning)领域智能性发展。为了进一步提高CBR系统的智能性,本体技术集成到CBR系统是一种趋势。以工艺事例库为例,研究了基于本体事例库的构建技术以及事例检索的相似度算法,并提出了一个新的语义相似度算法即W-IC-CD(Weighted Information Content and Concept Distance)。通过在机械CAPP应用分析,证实了该算法的有效性。     

基于可变粒度的服务工作流系统服务质量可控性研究

通过分析业务频率对服务质量（quality of service,QoS）的影响,以及服务粒度和系统性能之间的关系,提出一种服务质量可控的、多粒度的服务动态组合方法,并给出了相应的算法。该方法在候选服务集少的情况下,根据业务的发生频率,可对系统结构做自适应的调整,进而把系统的整体服务质量控制在一个最优的水平。仿真实验结果表明该方法完全可以持续改善服务工作流系统的运行效率。     

基于本体的制造网格服务自动链接

研究了一种基于本体、面向服务功能自动生成制造网格工作流构架的方法。制造网格本体采用制造领域本体与网格服务本体集成的方法来构建，前者由STEP集成资源、TOVE、PSL以正交方式分别实现产品、企业和制造过程子本体，后者通过扩展Web服务本体OWL—S实现。服务功能采用基于制造对象特征的输入、输出和基于制造任务的前提条件、效果组成的四元组建模，使用制造网格本体描述。在此基础上，提出了一种服务正向递进自动链接算法，它能够依据用户指定的输入和前提条件选择并链接服务，最终达到用户指定的输出和效果。通过一个原型系统和实例验证了方法的有效性，实验结果表明算法具有良好的性能。