基于Petri网的Web服务组合模型描述和验证 被引量：20

1

作者 张佩云 黄波 孙亚民 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第12期2872-2876,共5页

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向。分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、... Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向。分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析。最后是对一个具体的业务流程的建模和验证分析。由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力。 展开更多

关键词 web服务 服务组合 服务组合验证 PETRI网

在线阅读 下载PDF 职称材料

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

2

作者 雷丽晖 段振华 《软件学报》 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 职称材料

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

3

作者 罗楠 严隽薇 刘敏 《计算机集成制造系统》 EI CSCD 北大核心 2007年第11期2203-2210,共8页

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

关键词 web服务组合 web服务本体描述语言 有色PETRI网 形式化验证

在线阅读 下载PDF 职称材料

语义Web服务自动组合的有色网验证模型(英文) 被引量：3

4

作者 罗楠 严隽薇 刘敏 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第11期2814-2820,共7页

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架。其核心是利用有色Petr... Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架。其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性。另外,该框架采用智能Agent技术,可有效实现组合过程的自动化。 展开更多

关键词 语义web服务 服务组合 有色PETRI网 形式化验证

在线阅读 下载PDF 职称材料

基于功能属性语义的Web服务组合方法 被引量：3

5

作者 曹洪江 聂规划 陈冬林 《计算机应用》 CSCD 北大核心 2010年第9期2344-2347,2373,共5页

Web服务组合方法是Web服务研究领域的热点之一,常用的方法是通过Web服务的input和output参数的匹配,将已有的Web服务组合成满足用户复杂需求的Web服务。但普遍存在缺乏对Web服务功能属性语义的考虑,而且因为随着Web服务的数量上的急剧增... Web服务组合方法是Web服务研究领域的热点之一,常用的方法是通过Web服务的input和output参数的匹配,将已有的Web服务组合成满足用户复杂需求的Web服务。但普遍存在缺乏对Web服务功能属性语义的考虑,而且因为随着Web服务的数量上的急剧增长,如果对每一种可能的组合都进行考虑则会增加组合服务的复杂度。为此提出一种基于Web服务语义图模型的服务组合方法。利用功能参数之间的语义关联,建立一种Web服务语义功能属性描述模型,对那些在功能属性语义上具有关联性的Web服务,采用图路径搜索的方法来完成服务组合,从而在服务组合阶段缩小参与服务组合的范围,提高了组合服务的效率和有效性。 展开更多

关键词 web服务 语义本体 功能属性 服务组合 联系图

在线阅读 下载PDF 职称材料

基于扩展投影时序逻辑的组合Web服务描述与验证 被引量：5

6

作者 雷丽晖 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2007年第10期1155-1159,共5页

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的... 针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据. 展开更多

关键词 组合web服务 投影时序逻辑 形式化验证

在线阅读 下载PDF 职称材料

语义Web服务组合的形式化描述与验证研究 被引量：3

7

作者 程永上 王志坚 《计算机科学》 CSCD 北大核心 2008年第4期40-43,共4页

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务... Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务。然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法。最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模。 展开更多

关键词 web服务 web服务组合 PETRI网 建模 验证

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

基于顺序图的Web组合服务属性验证

10

作者 吉顺慧 李必信 周宇 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第2期305-311,共7页

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相... 为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的. 展开更多

关键词 web组合服务 UML建模 模型验证 SPIN

在线阅读 下载PDF 职称材料

基于服务分组和调用轨迹的Web服务组合验证方案

11

作者 李靖 崔仲远 《现代电子技术》 北大核心 2016年第5期126-130,共5页

针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作... 针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。 展开更多

关键词 web服务组合验证 建模 调用轨迹 线性时序逻辑

在线阅读 下载PDF 职称材料

基于功能划分图的Web服务组合规划和最优选择 被引量：3

12

作者 吴芳 朱尚明 《计算机应用与软件》 CSCD 2016年第9期10-14,19,共6页

扩展Web服务类型的组合方式、实现服务的无缝组合和提高服务组合的可靠性是当今Web服务组合的研究热点。针对Web服务类型组合方式多样性和无缝服务组合问题,根据请求服务的功能划分图来计算可用于服务组合的候选服务类型,动态规划各种... 扩展Web服务类型的组合方式、实现服务的无缝组合和提高服务组合的可靠性是当今Web服务组合的研究热点。针对Web服务类型组合方式多样性和无缝服务组合问题,根据请求服务的功能划分图来计算可用于服务组合的候选服务类型,动态规划各种服务类型的组合方式,并提出第一级服务类型的装配算法。针对服务组合的可靠性问题,将Web服务自身对运行环境的要求和自身的优先条件表示为上下文,并提出相应的局部最优选择算法和全局最优选择算法,以找到真实的、具有高可靠性的服务组合。最后,通过仿真实验验证了第一级服务类型装配算法、局部最优和全局最优选择算法的性能。 展开更多

关键词 web服务组合 功能划分图 第一级服务装配算法 局部最优选择算法 全局最优选择算法

在线阅读 下载PDF 职称材料

基于多元Pi-演算的Web服务形式化描述模型及其验证 被引量：2

13

作者 胡静 冯志勇 《计算机应用研究》 CSCD 北大核心 2011年第8期2999-3003,共5页

Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生... Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。 展开更多

关键词 web服务 web服务组合功能验证 类型化的形式化描述模型 多元Pi-演算

在线阅读 下载PDF 职称材料

模型驱动架构的语义组合Web服务的验证

14

作者 蓝荣贵 王勇 +1 位作者 朱正东 李增智 《计算机工程与应用》 CSCD 北大核心 2011年第8期51-55,共5页

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的... 针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。 展开更多

关键词 语义web服务 组合验证模型 模型驱动架构(MDA) 语义匹配度

在线阅读 下载PDF 职称材料

基于可达图的Web服务组合验证

15

作者 乔彬 吴国文 葛孝堃 《计算机应用与软件》 CSCD 2009年第9期203-205,共3页

针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方... 针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用。 展开更多

关键词 web服务组合 验证 PETRI网 可达图

在线阅读 下载PDF 职称材料

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

16

作者 周女琪 周宇 《计算机科学》 CSCD 北大核心 2018年第8期288-294,共7页

Web服务组合是服务计算领域的重要研究内容。用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点。为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法。... Web服务组合是服务计算领域的重要研究内容。用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点。为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法。首先,将Web服务组合过程建立为定量多目标马尔可夫决策过程,并将该模型转换为PRISM模型。同时,将不同的用户需求建模成多目标时序逻辑公式,使用概率模型检测器PRISM对其进行验证,获得多个目标约束下关键目标的期望值,并导出相关策略。最后,通过实例来进一步说明该方法的有效性与可行性。 展开更多

关键词 web服务组合 概率模型检测 多目标验证 用户需求

在线阅读 下载PDF 职称材料

Web服务组合技术框架及其研究进展 被引量：38

17

作者 邓水光 黄龙涛 +2 位作者 尹建伟 李莹 吴健 《计算机集成制造系统》 EI CSCD 北大核心 2011年第2期404-412,共9页

为了研究Web服务组合技术,以促使服务计算从概念走向应用,提出了Web服务组合的技术框架,该框架涵盖了服务组合过程涉及的主要关键技术。讨论了该研究框架中的服务发现、服务组合、服务验证三大关键问题,对当前国内外的主要方法和研究成... 为了研究Web服务组合技术,以促使服务计算从概念走向应用,提出了Web服务组合的技术框架,该框架涵盖了服务组合过程涉及的主要关键技术。讨论了该研究框架中的服务发现、服务组合、服务验证三大关键问题,对当前国内外的主要方法和研究成果进行了分类和比较。最后指出了服务组合面临的问题和未来的发展方向。 展开更多

关键词 web服务 面向服务的计算 服务发现 服务组合 服务验证

在线阅读 下载PDF 职称材料

广义随机Petri网下的组合Web服务建模与评价 被引量：9

18

作者 门鹏 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第8期967-971,共5页

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则... 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策. 展开更多

关键词 语义web服务标记语言 广义随机PETRI网 组合web服务 性能评价 形式化验证

在线阅读 下载PDF 职称材料

着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 被引量：8

19

作者 门鹏 段振华 《计算机研究与发展》 EI CSCD 北大核心 2009年第8期1294-1303,共10页

Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模... Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模型检测工具——CPNTools——中使用ML(metalanguage)语言实现了这些算法,然后将扩展后的CPN模型检测工具应用在Web服务组合的验证问题中.该方法不仅可以验证Web服务组合是否存在逻辑错误,还能告诉用户发生错误的原因,为Web服务组合的验证提供了技术上的保障.实验表明对着色Petri网的模型检测工具的扩展是正确、有效的. 展开更多

关键词 着色PETRI网 web服务组合 形式化验证 模型检测 时序逻辑

在线阅读 下载PDF 职称材料

Web服务过程建模及其逻辑正确性验证 被引量：5

20

作者 李喜彤 范玉顺 《计算机集成制造系统》 EI CSCD 北大核心 2008年第4期675-682,共8页

为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义。为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性... 为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义。为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性判定定理。另外,为了简化组合服务逻辑正确性的验证过程,阐述了组合服务与其子服务之间的内在关系。最后,通过一个应用实例验证了方法的可用性。 展开更多

关键词 web服务 着色PETRI网 服务组合 正确性验证

在线阅读 下载PDF 职称材料