一种基于有色Petri网的语义Web服务组合验证机制

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行.针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则.在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构.另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败.最后,通过实例直观地描述了建模与验证的工作过程.     

业务过程执行语言流程语义标注方法研究

为提高工作流模型在分布式执行过程中的自动化程度.解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树.针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之问的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系.通过语义消歧过程.消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型.最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估.     

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

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

面向本体的语义服务组合评价模型研究

为提高服务组合的精确性和一致性,提出一种面向本体的语义服务组合评价模型,并采用面向本体的语义服务描述方法来增强服务识别定位能力。建立了一种评价模型来度量服务组合情况,以提高服务组合的鲁棒性。据此建立服务组合评价的多目标优化模型,通过多目标的改进性遗传算法求解服务组合,采用层次模糊评价体系分析各类服务组合,并选择最高的评价结果作为最终服务组合结果。最后通过应用分析表明,克服了传统服务组合的局部性、单一性和评价不对称性,使服务组合更加高效。     

基于云服务的复杂产品协同设计方法

围绕复杂产品设计过程中设计者之间的分布协同以及信息、资源共享和知识重用等问题,提出了一种基于云服务的复杂产品协同设计方法.该方法以云服务中间件技术为主体,通过云服务中构建的领域本体和知识库所包含的语义来描述复杂产品设计过程中的信息、资源和知识,进而提出一种结合事件驱动服务模型和语义服务逻辑图的服务组合方法.在事件驱动下完成任务分解、服务发布等操作,利用语义服务逻辑图表达服务之间的逻辑和时序关系,接着进行服务组合并执行组合服务以完成复杂产品设计任务.以某型航空器总体设计为例验证了该方法的有效件和正确性.     

基于查询重写的数据服务组合方法

为了解决数据聚合的关键技术问题,介绍了一种基于本体的方法来发布与组织数据密集型的Web服务,使用语义Web规范描述Web服务的内容及能力,提出动态演变的Web服务接口技术和一种基于查询重写计划的服务组合算法.该方法的优点是数据服务能够动态适应用户的查询请求,从而提高用户查询请求的满足度.模拟实验表明,该方法能够较好地适应大规模的数据服务组合情况,通过与固定Web服务描述语占接口的数据服务比较,说明该方法更适用于用户查询请求交互度较高的场合.     

基于SWRL的制造系统知识表达与按需服务过程推理框架

为实现协同制造环境下制造系统服务过程的智能性,提出“需求—资源—服务—过程”为主线的按需制造范式,结合本体、语义推理等技术,提出制造系统基于语义网规则语言的服务过程按需推理框架;建立制造需求、资源、服务、过程的本体概念和关系模型,构建该框架的本体知识库;基于服务按需组合生成动态服务过程思想,运用IOPE模型描述语义Web服务功能语义和动态前后件服务交互特征,提取服务过程触发推理的描述逻辑规则,并通过规则到本体知识属性的映射构建语义规则;运用Protégé和Jess推理引擎实现推理的应用模型,通过推理实验证明了该方法的有效性.     

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

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

基于语义标注的Web服务发现组合策略

为Web服务的提供者以及服务请求者在服务描述以及服务请求中加入相应的语义信息能消除Web服务中服务的查找和匹配环节参数的语义上的模糊性.将有助于服务的自动发现和组合.提出通过语义标注的方法在服务发现组合过程中添加语义信息,构建语义Web服务网络.并利用Web服务功能属性之间的语义关联,使用基于反向推理机制的自动组合算法形成语义Web服务组合方案选出能有效满足客户需求的服务组合.     

基于参数推导图自动构建Web服务组合流程

针对目前大多数Web服务组合流程都需要人工设计的问题,提出一种基于参数推导图自动构建Web服务组合流程的方法.该方法给出Web服务的谓词表示形式.通过建立参数推导图中的四种关系和构造算法,实现了Web服务组合的图形建模;然后定义参数推导图的完全关联矩阵,通过对关联矩阵的行实施合并运算,自动将参数推导图转换成以Web服务为节点、以服务间依赖关系为边的服务组合流程图.理论分析和实验结果证明了该方法的有效性和可行性.     

基于面向服务架构的企业间业务协同服务平台及技术研究

借鉴面向服务的架构、业务流程管理和语义Web服务等相关的标准和技术,讨论了面向服务架构的结构、服务类型划分、服务总线,然后利用现有的服务中间件,建立基于面向服务架构的企业间业务协同服务平台.平台采用基于面向服务架构的业务流程管理框架,分离核心业务逻辑和流程控制逻辑,采用面向语义的流程服务模型,构建Web服务的执行环境,以提高业务服务和流程服务的动态发现和建模能力,最后给出了原型.     

面向设计资源协同的服务规划关键技术研究

为了解决分布式设计资源在复杂产品协同工作中的组合重用问题,建立了设计资源的协同服务体系结构,以协同服务封装可被重用的设计资源。面向不同领域建立共享本体,面向领域内设计资源建立私有本体,实现异构资源间功能与数据的互操作。划分了协同服务规划的不同阶段,给出了服务规划方案的生成算法,以获得服务组合的可行规划方案集合。最后以航空发动机中压气机设计为例,给出了原子服务的本体描述实例,并验证了协同服务规划算法的有效性。     

支持约束声明的服务描述技术

现有的研究仅关注描述服务的属性,而未描述服务的行为属性,如属性的取值范围以及属性取值之间的关系。为此,将约束声明引入到服务描述中,将属性的取值范围及其间的关联关系看作服务的约束条件,定义了约束的表达形式和分类,从而有效地描述Web服务的功能和行为特性。在此基础上给出基于约束的匹配算法来度量服务与请求之间的匹配程度。讨论了该模型的体系结构和实现机制,并在实际项目中得到了应用。     

基于多移动代理的物流应用服务代理研究

为了从整体上优化物流服务,高效、实时地支持现代物流集群服务,实现物流服务的“即插即用”,给出了基于多移动代理的物流服务实体的行为交互过程、基于多移动代理的物流应用服务集群的体系结构和物流应用服务代理的结构模型。提出了物流服务集群、物流服务代理、物流服务移动代理的表达和内部结构,以及物流服务移动代理的路由策略和服务搜索与定位策略。通过物流应用服务代理与移动代理,实现服务商“即插即用”的集群服务。最后,通过一个应用原型系统,验证了基于多移动代理的物流服务代理方法实际应用的可行性和有效性。     

制造云服务智能搜索与匹配方法

为高效地从已发布的制造云服务中搜索到满足要求的服务,实现与请求服务的准确匹配,在对制造云服务进行形式化描述的基础上,提出一种智能化的制造云服务搜索与匹配方法。该方法主要包括两部分：根据服务的类型和状态信息,快速过滤发布端服务,得到初步的候选服务集合;通过对请求端与发布端服务进行功能属性、非功能属性匹配,从候选服务集合中筛选出具有最高匹配度的制造云服务。实例分析和比较研究说明,相对于已有的服务匹配方法,该方法可行有效,不仅能实现制造云服务的高效搜索与准确匹配,而且对推动云制造技术的发展与应用具有重要意义。     

教育服务的经济学阐释

教育服务是一种具有价值和使用价值的商品,学校是生产教育服务的“企业”,教育服务的生产、提供和消费构成教育服务产业。教育服务的提供、生产和消费,可以增加人力资本存量,促进学校经济增值,促进经济增长和可持续发展,促进教育服务贸易。将教育服务置于经济学视野,对于教育经济学学科发展、学校发展、教育服务产业发展和国民经济发展具有重要的意义。     

服务工作流中基于资源约束的服务选取方法

在面向服务的工作流管理系统中,目前多采用难以准确获取的服务质量信息来选取服务,忽略了基于业务去选取符合需求的服务。通过对资源约束间的相关性、约束满足的时效性等性质进行分析,提出基于资源约束满足性的服务选取方法,并给出了具体算法。该方法将工作流模型中描述的约束条件分离出来,并在运行时和服务选取之前判定其满足性,从而可以选取满足业务需求的服务。实例分析表明该方法具有很强的通用性和实用性。     

基于信息Hub-服务中心的服务链管理系统的研究和开发

传统的供应链或服务链管理系统中的信息集成结构是链式的，这种模式在信息的传递过程中会存在稳定性和效率上的问题。本文在分析了服务链信息集成的特点后，提出了以信息集线器(信息HUB)为信息集成平台的星型结构的服务链信息网络。而第三方服务模式下的服务中心就是服务网络中的信息HUB。最后，本文给出了一个服务中心的设计实例。     

面向服务系统设计的服务需求模型

为全面、准确地描述顾客日益复杂和个性化的服务需求,支持服务系统半自动化设计,提出一种新的多视图服务需求模型.该模型从交互流程、组织、资源和信息四个方面对服务需求进行抽象,提取出相应的模型要素,给出建模一致性规则和建模过程.通过海运物流服务实例,说明了如何建立服务需求模型.此外,还将该模型与常见服务模型进行了对比分析,并展示了建模工具原型系统.     

煤机产品4S服务

服务已成为产品竞争力的重要因素。专业化服务是产品售后服务的进一步延伸，是一种双赢的服务模式，具有良好的发展前詈。实行专业化服务必须树立正确的服务观。