基于Petri网的Web服务自动组合研究 被引量：60

1

作者 钱柱中 陆桑璐 谢立 《计算机学报》 EI CSCD 北大核心 2006年第7期1057-1066,共10页

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好... 根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式． 展开更多

关键词 web服务 PETRI网 web服务自动组合

在线阅读 下载PDF 职称材料

一种QoS最优的语义Web服务自动组合方法 被引量：16

2

作者 邓水光 黄龙涛 +2 位作者 吴斌 尹健伟 李革新 《计算机学报》 EI CSCD 北大核心 2013年第5期1015-1030,共16页

针对海量的信息提供类(Information Providing)语义Web服务的自动组合问题,提出了一种将正向搜索与逆向搜索相结合并追求QoS最优的快速组合方法.该方法首先根据用户的请求对服务库中的服务进行层次划分,去除无关服务并得到具有并行调用... 针对海量的信息提供类(Information Providing)语义Web服务的自动组合问题,提出了一种将正向搜索与逆向搜索相结合并追求QoS最优的快速组合方法.该方法首先根据用户的请求对服务库中的服务进行层次划分,去除无关服务并得到具有并行调用结构的组合服务原型即规划图;之后,利用得到的参数的服务源信息,计算每个服务的最优组合QoS;最后,以用户请求的输出参数为起点进行逆向搜索,以最优组合QoS为约束条件构造所有可能的最优解.以WS-Challenge 2009提供的竞赛集进行实验,结果表明该方法不仅能够找到组合服务的最优QoS,而且可以获得大量结构不同但QoS均为最优的解,从而为组合服务的执行提供更多的选择. 展开更多

关键词 web服务自动组合 QOS 正向搜索 逆向搜索 规划图

在线阅读 下载PDF 职称材料

基于动态描述逻辑的Web服务自动组合技术 被引量：3

3

作者 陈立民 王竹晓 史忠植 《高技术通讯》 CAS CSCD 北大核心 2011年第1期58-64,共7页

提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合... 提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中涉及的静态知识（如描述逻辑知识库刻画的领域公理、具体环境和用户需求等）和动态知识（DDL中动作刻画的Web服务的功能），将Web服务组合的问题归约为DDL公式的可满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D—ALCHOQ的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。 展开更多

关键词 web服务 web服务自动组合wsc) 语义web 描述逻辑(DL) 动态描述逻辑 (DDL)

在线阅读 下载PDF 职称材料

基于语义关系图的Web服务自动组合方法 被引量：5

4

作者 冯建周 孔令富 王晓寰 《计算机集成制造系统》 EI CSCD 北大核心 2012年第2期427-436,共10页

针对基于图搜索实现Web服务自动组合存在搜索空间太大以及难以表达各种组合结构的问题,提出一种基于语义匹配关系确定组合结构的方法。该方法首先对Web服务进行形式化的语义描述,然后基于语义匹配关系,将服务库中只与用户请求的输入输... 针对基于图搜索实现Web服务自动组合存在搜索空间太大以及难以表达各种组合结构的问题,提出一种基于语义匹配关系确定组合结构的方法。该方法首先对Web服务进行形式化的语义描述,然后基于语义匹配关系,将服务库中只与用户请求的输入输出关联的服务构成语义关系图。在此基础上,基于语义匹配关系定义各种组合结构模型,以综合语义匹配度为寻优目标改进广度优先搜索算法,定义不同结构的语义匹配度计算方法,生成一条综合语义匹配度最优的Web服务组合路径。通过实例验证了该算法的可行性。 展开更多

关键词 语义 自动服务组合 图搜索 匹配 组合结构 web服务

在线阅读 下载PDF 职称材料

一种基于扩展有限自动机验证组合Web服务的方法 被引量：37

5

作者 雷丽晖 段振华 《软件学报》 EI CSCD 北大核心 2007年第12期2980-2990,共11页

为简化并自动化组合Web服务验证提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状... 为简化并自动化组合Web服务验证提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误与其他方法相比,该方法更适于验证开放式环境下的组合Web服务. 展开更多

关键词 组合web服务 确定有限自动机 形式化验证

在线阅读 下载PDF 职称材料

BPEL中基于有限状态自动机的Web服务自动组合 被引量：6

6

作者 于守健 李卫民 +1 位作者 吴国文 乐嘉锦 《小型微型计算机系统》 CSCD 北大核心 2007年第4期742-747,共6页

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态... 提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统. 展开更多

关键词 业务流程 web服务组合 有限状态自动机 BPEL

在线阅读 下载PDF 职称材料

业务流程驱动的半自动语义Web服务组合方法研究及应用 被引量：2

7

作者 熊丽荣 余晖 +1 位作者 范菁 董天阳 《计算机科学》 CSCD 北大核心 2013年第11期174-180,196,共8页

随着Web服务数量的不断增多,如何利用Web服务组建松散耦合的应用系统以满足不断变化的业务需求,成为一个研究热点。传统的业务流程驱动的服务组合通常需要预定义组合流程,当业务流程改变时则需重新定义流程,因此不能适应动态业务需求。... 随着Web服务数量的不断增多,如何利用Web服务组建松散耦合的应用系统以满足不断变化的业务需求,成为一个研究热点。传统的业务流程驱动的服务组合通常需要预定义组合流程,当业务流程改变时则需重新定义流程,因此不能适应动态业务需求。针对上述问题,提出了一种业务流程驱动的半自动语义Web服务组合方法。该方法在业务流程驱动的服务组合基础上,将局部动态流程用抽象服务描述,当流程执行阶段不存在能满足抽象服务需求的单个服务时,采用自动服务组合方式将抽象服务替换成组合服务,并执行自动组合方法。该方法由于采用了基于回溯树的服务组合方法,并在回溯树中增加语义信息,还通过计算组合流程的QoS来实现组合服务的选取,因此能有效解决因缺乏语义导致查全率低的问题。最后给出了半自动化的服务组合框架,该框架兼顾了可用性与动态性的需求,具有一定的实用价值。 展开更多

关键词 流程驱动 语义web服务 半自动服务组合 QOS

在线阅读 下载PDF 职称材料

一种基于OWL-S的语义Web服务自动组合方法 被引量：4

8

作者 徐德智 汤益华 《计算机应用研究》 CSCD 北大核心 2010年第10期3767-3770,共4页

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取... 提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。 展开更多

关键词 OWL-S web服务 自动组合

在线阅读 下载PDF 职称材料

图在自动Web服务组合中的应用研究 被引量：4

9

作者 邹金安 杨艳萍 《小型微型计算机系统》 CSCD 北大核心 2008年第11期2020-2026,共7页

随着已有Web服务数量的不断增加,如何自动地根据服务请求组合服务成为当前迫切需要解决的问题.本文对服务组合问题进行规划建模,证明了该问题是NP完全的,提出了一种基于图的自动组合方法ASC-Graph,ASC-Graph分为组合规划图构造阶段和组... 随着已有Web服务数量的不断增加,如何自动地根据服务请求组合服务成为当前迫切需要解决的问题.本文对服务组合问题进行规划建模,证明了该问题是NP完全的,提出了一种基于图的自动组合方法ASC-Graph,ASC-Graph分为组合规划图构造阶段和组合解搜索阶段.通过组合规划图构造,可在多项式级时间内判定服务组合问题的可满足性.在组合解搜索阶段,提出了一种启发式搜索策略.最后,通过模拟实验验证了ASC-Graph在解决大规模服务组合问题上的有效性. 展开更多

关键词 web服务 自动组合 NP完全 启发式

在线阅读 下载PDF 职称材料

基于功能本体的Web服务自动组合方法 被引量：2

10

作者 冯建周 孔令富 《计算机集成制造系统》 EI CSCD 北大核心 2013年第6期1433-1439,共7页

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

关键词 web服务 语义 自动组合 服务依赖图 功能本体树

在线阅读 下载PDF 职称材料

虚拟行业联盟中的自动Web服务组合 被引量：1

11

作者 李晖 隋琪 王海洋 《计算机科学》 CSCD 北大核心 2005年第7期116-118,共3页

在网络经济模式下,为了应对不断变化的市场,企业提出在行业内组建虚拟联盟的思想。Web服务的出现,使得一个行业内部的复杂任务可以通过 Web服务的动态组合得以实现。本文提出虚拟行业联盟平台模型和Web服务动态组合的算法,考虑到Web服... 在网络经济模式下,为了应对不断变化的市场,企业提出在行业内组建虚拟联盟的思想。Web服务的出现,使得一个行业内部的复杂任务可以通过 Web服务的动态组合得以实现。本文提出虚拟行业联盟平台模型和Web服务动态组合的算法,考虑到Web服务组合的执行过程中的异常情况,给出了Web服务操作的语义等价概念。 展开更多

关键词 服务组合 行业 联盟 虚拟 web服务 自动 动态组合 经济模式 平台模型 异常情况 执行过程 算法

在线阅读 下载PDF 职称材料

基于有限状态自动机的Web服务组合(英文) 被引量：1

12

作者 闫新庆 李文锋 陈定方 《计算机工程与设计》 CSCD 北大核心 2007年第23期5624-5627,5725,共5页

Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示... Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。 展开更多

关键词 web服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性

在线阅读 下载PDF 职称材料

多Web服务组合兼容性的自动化验证 被引量：1

13

作者 贾志淳 邢星 《计算机工程与应用》 CSCD 北大核心 2016年第7期67-73,共7页

Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论... Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论的基础上,给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法,通过将多Web服务组合自动转化为Pi演算中的组合进程,实现多Web服务组合的自动化验证。 展开更多

关键词 PI演算 web服务组合 行为兼容性 web服务行为 自动化验证

在线阅读 下载PDF 职称材料

基于接口自动机的混合Web服务组合方法 被引量：1

14

作者 马昌威 马洪江 《计算机应用》 CSCD 北大核心 2014年第6期1774-1778,共5页

在Web服务描述语言（WSDL）与网络服务的本体语言（OWL-S）共存的环境中难以实现Web服务混合组合,为此提出一种以接口自动机为基础的混合Web服务组合方法.分析和描述WSDL与OWL-S间的关系后,在服务组合过程中用接口自动机实现WSDL与OWL-... 在Web服务描述语言（WSDL）与网络服务的本体语言（OWL-S）共存的环境中难以实现Web服务混合组合,为此提出一种以接口自动机为基础的混合Web服务组合方法.分析和描述WSDL与OWL-S间的关系后,在服务组合过程中用接口自动机实现WSDL与OWL-S自动识别和组合;并将服务组合结果与预先设定好的服务质量进行优化对比,选择服务质量最优的来实现不同的业务逻辑.最后通过一组旅游消费服务实验分析验证表明,该方法可行、有效,服务组合效率提高了5％～10％. 展开更多

关键词 接口自动机 混合web服务 web服务描述语言 服务组合 服务质量

在线阅读 下载PDF 职称材料

基于HTN规划的语义Web服务自动组合

15

作者 郭广军 陈代武 +1 位作者 郭育青 贺文华 《华中师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第2期205-210,共6页

面向服务体系结构(SOA)逐渐成为企业信息集成的主流技术,面对不断变更的用户需求和集成困难问题,自动化的服务组合是实现SOA的关键技术。语义Web服务使用本体描述语言对Web服务进行语义标注,使Web服务的自动发现、自动调用和自动组合成... 面向服务体系结构(SOA)逐渐成为企业信息集成的主流技术,面对不断变更的用户需求和集成困难问题,自动化的服务组合是实现SOA的关键技术。语义Web服务使用本体描述语言对Web服务进行语义标注,使Web服务的自动发现、自动调用和自动组合成为可能。探讨了OWL-S和HTN规划等相关技术,给出了基于规划的语义Web服务组合方法,使用OWL-S API、JSHOP2规划器和JESS知识库,设计了一个基于HTN规划的语义Web服务自动组合系统。该系统由服务抽取器、服务编辑器、转换器、规划器、知识库和执行引擎等模块组成,实现了Web服务组合的自动化,并利用模糊约束表达用户偏好,使用分支限界法对HTN进行分解,实测结果表明用户满意度有显著提高。 展开更多

关键词 OWL-S 语义web服务 HTN规划 自动组合

在线阅读 下载PDF 职称材料

基于接口自动机的BPEL4WS Web服务组合形式化模型 被引量：4

16

作者 苏焕程 黄志球 刘林源 《计算机应用研究》 CSCD 北大核心 2009年第5期1774-1777,共4页

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映... 介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。 展开更多

关键词 接口自动机 web服务 web服务组合 web服务商业流程执行语言

在线阅读 下载PDF 职称材料

基于有限状态自动机的组合Web服务性能优化 被引量：1

17

作者 陈宁 于守健 乐嘉锦 《计算机应用与软件》 CSCD 2011年第10期97-99,126,共4页

组合Web服务的业务流程可以通过有限状态自动机来描述。传统的组合Web服务采用集中式的执行方式,它会带来不必要的网络流量和数据堵塞,造成大量的通信开销。提出一种基于有限状态自动机的非集中式的执行策略,在自动机的状态空间中运用... 组合Web服务的业务流程可以通过有限状态自动机来描述。传统的组合Web服务采用集中式的执行方式,它会带来不必要的网络流量和数据堵塞,造成大量的通信开销。提出一种基于有限状态自动机的非集中式的执行策略,在自动机的状态空间中运用启发式搜索算法执行总体代价最优的路径,从而有效减少消息传递数量,提高系统吞吐量。基于该方案设计了一个原型系统来验证系统整体性能的最优化。 展开更多

关键词 组合web服务 有限状态自动机 非集中式 性能优化

在线阅读 下载PDF 职称材料

基于PDDL的Web服务自动组合的描述 被引量：3

18

作者 林川 《计算机应用与软件》 CSCD 北大核心 2008年第1期138-139,161,共3页

在Web环境下,如何有效地根据用户请求,进行Web服务的自动组合,成为一个迫切需要解决的问题。提出了一种利用人工智能的规划问题,对Web服务及其组合进行形式化描述以实现服务自动组合的方法。说明了基于智能规划实现服务自动组合的思想,... 在Web环境下,如何有效地根据用户请求,进行Web服务的自动组合,成为一个迫切需要解决的问题。提出了一种利用人工智能的规划问题,对Web服务及其组合进行形式化描述以实现服务自动组合的方法。说明了基于智能规划实现服务自动组合的思想,讨论了智能规划的标准描述语言PDDL与Web服务的对应关系,最后建立了一个实际的模型。 展开更多

关键词 语义web web服务 服务自动组合OWL-S

在线阅读 下载PDF 职称材料

用描述逻辑进行语义Web服务组合 被引量：34

19

作者 王杰生 李舟军 李梦君 《软件学报》 EI CSCD 北大核心 2008年第4期967-980,共14页

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑... 针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs,precondilions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点. 展开更多

关键词 语义网 web服务 描述逻辑 服务组合 自动推理

在线阅读 下载PDF 职称材料

基于概率模型检测的Web服务组合验证 被引量：15

20

作者 王晶 戎玫 +1 位作者 张广泉 祝义 《计算机科学》 CSCD 北大核心 2012年第1期120-123,共4页

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采... Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。 展开更多

关键词 web服务组合 有限自动机 MARKOV模型 概率模型检测

在线阅读 下载PDF 职称材料