检索结果-维普期刊中文期刊服务平台

基于服务分组和调用轨迹的Web服务组合验证方案: 1; 作者李靖崔仲远《现代电子技术》北大核心 2016年第5期126-130,共5页; 针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作... 展开更多; 关键词 web服务组合验证建模调用轨迹线性时序逻辑; 在线阅读下载PDF 职称材料

Web服务的颜色Petri网模型及验证: 2; 作者李景霞赵慧娟《计算机应用与软件》 CSCD 2011年第3期80-82,88,共4页; 利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组... 展开更多; 关键词颜色PETRI网模型驱动体系结构形式化描述模型 web服务组合验证; 在线阅读下载PDF 职称材料

一种验证Web服务流程的新方法被引量：1: 3; 作者王晨王红兵许迅《计算机应用研究》 CSCD 北大核心 2008年第12期3785-3789,共5页; 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可... 展开更多; 关键词时序逻辑语言 web服务本体描述语言 web服务业务流程执行语言 web服务组合验证工作流模型分析; 在线阅读下载PDF 职称材料

基于多元Pi-演算的Web服务形式化描述模型及其验证被引量：2: 4; 作者胡静冯志勇《计算机应用研究》 CSCD 北大核心 2011年第8期2999-3003,共5页; Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生... 展开更多; 关键词 web服务 web服务组合功能验证类型化的形式化描述模型多元Pi-演算; 在线阅读下载PDF 职称材料

题名基于服务分组和调用轨迹的Web服务组合验证方案: 1; 作者李靖崔仲远; 机构周口师范学院计算机科学与技术学院; 出处《现代电子技术》北大核心 2016年第5期126-130,共5页; 基金国家青年基金项目(61300124) 河南省科技厅项目:面向航空港区的物流Web服务动态优化组合问题研究(132400411365) +2 种基金河南省教育厅项目:面向云计算基于隐私保护的信任模型研究(15B520045)资助; 文摘针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。; 关键词 web服务组合验证建模调用轨迹线性时序逻辑; Keywords verification of web service composition modeling invocation track linear temporal logic; 分类号 TN911-34 [电子电信—通信与信息系统] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Web服务的颜色Petri网模型及验证: 2; 作者李景霞赵慧娟; 机构同济大学计算机科学与工程系上海海洋大学信息学院; 出处《计算机应用与软件》 CSCD 2011年第3期80-82,88,共4页; 基金国家高技术研究发展计划项目(2007AA01Z136) 国家重点基础研究发展规划项目(2010CB328100); 文摘利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。; 关键词颜色PETRI网模型驱动体系结构形式化描述模型 web服务组合验证; Keywords Coloured Petri net Model driven architecture Formal description model Validation of web service composition; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种验证Web服务流程的新方法被引量：1: 3; 作者王晨王红兵许迅; 机构东南大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2008年第12期3785-3789,共5页; 基金国家自然科学基金资助项目(60673175); 文摘在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。; 关键词时序逻辑语言 web服务本体描述语言 web服务业务流程执行语言 web服务组合验证工作流模型分析; Keywords temporal logic of action ontology web language for services business process execution language for web services（BPEIAWS） verification of web services composition analysis of workflow model; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于多元Pi-演算的Web服务形式化描述模型及其验证被引量：2: 4; 作者胡静冯志勇; 机构天津大学计算机科学与技术学院; 出处《计算机应用研究》 CSCD 北大核心 2011年第8期2999-3003,共5页; 基金天津市科技支撑计划重点资助项目(08ZCKFGX00700) 应用基础及前沿技术研究计划资助项目(08JCZDJC19800); 文摘 Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。; 关键词 web服务 web服务组合功能验证类型化的形式化描述模型多元Pi-演算; Keywords web service web service composition function verification typed formal description model polyadic Pi-calculus; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于服务分组和调用轨迹的Web服务组合验证方案	李靖崔仲远	《现代电子技术》北大核心	2016	0	在线阅读下载PDF 职称材料
2	Web服务的颜色Petri网模型及验证	李景霞赵慧娟	《计算机应用与软件》 CSCD	2011	0	在线阅读下载PDF 职称材料
3	一种验证Web服务流程的新方法	王晨王红兵许迅	《计算机应用研究》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
4	基于多元Pi-演算的Web服务形式化描述模型及其验证	胡静冯志勇	《计算机应用研究》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料