检索结果-内蒙古大学图书馆

计算机科学 2007年第9期34卷 5-11页

作者：辜希武卢正鼎华中科技大学计算机科学技术学院武汉430074

web服务编排描述语言WS-CDL从全局的角度定义了一组web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局... 详细信息

web服务编排描述语言WS-CDL从全局的角度定义了一组web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。

关键词： web服务编排描述语言 web服务 web服务组合

来源：评论

学校读者我要写书评

暂无评论

web服务编排语言的分析与测试

Web服务编排语言的分析与测试

引用

第一届全国服务计算学术会议

作者：肖浩周镭平静王政蒲戈光计算机理论研究所软件学院华东师范大学，上海 200062

web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅助程序设计者设计高质量的 WS-CDL程序．其一是在设计阶段对WS... 详细信息

web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅助程序设计者设计高质量的 WS-CDL程序．其一是在设计阶段对WS-CDI程序进行分析从而帮助服务组合设计者尽早地发现程序的缺陷：其二是通过自动覆盖全路径测试帮助WS-CDL程序设计者在部署前有效地发现缺陷。其中分析方法中提出了一种通用的基于关系演算的性质检验方法,该方法适用于类似于XML的程序的分析．我们已经将本文提出的方法实现了开源工具CDLChecker。

关键词：服务组合 web服务编排描述语言 XML定义语言

来源：评论

学校读者我要写书评

暂无评论

web服务业务流程一致性验证

引用

计算机应用研究 2010年第10期27卷 3758-3762页

作者：吴明晖熊向辉应晶浙江大学城市学院计算机科学与工程学系杭州310015

在web服务业务流程建模和实现过程中,web服务编排从全局角度描述了web服务参与者之间的协作和交互过程;web服务编制描述了单个web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决web... 详细信息

在web服务业务流程建模和实现过程中,web服务编排从全局角度描述了web服务参与者之间的协作和交互过程;web服务编制描述了单个web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的web服务编排语言WS-CDL(web service choreography description lan-guage)和web服务编制规范WS-BPEL(web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。

关键词： web服务编排 web服务编制 web服务编排描述语言 web服务业务流程执行语言通信序列进程一致性

来源：评论

学校读者我要写书评

暂无评论

WS-CDL的形式化模型和执行过程研究

引用

计算机科学 2009年第5期36卷 151-153,162页

作者：梁智远张为群黄娟西南大学计算机与信息科学学院重庆400715

WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。提出了一种为WS-CDL建立全局模型的方法,定义了语法和语义,... 详细信息

WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。提出了一种为WS-CDL建立全局模型的方法,定义了语法和语义,然后将全局模型映射到局部模型,并且定义了全局执行过程,最后讨论了一致性问题。

关键词： web服务编排描述语言 web服务组合一致性

来源：评论

学校读者我要写书评

暂无评论

面向跨企业多方协同应用的web服务安全模型

引用

计算机工程 2013年第2期39卷 55-60,66页

作者：阮彤金志超华东理工大学计算机科学与技术系上海200237

现有的web服务安全工具仅提供单个服务的安全策略配置功能,忽略了业务流程层面的安全需求。为此,提出一种面向跨企业多方协同应用的web服务安全模型,将web服务安全建模、部署与监控过程,融合到企业业务流程管理过程中。在此基础上构造基... 详细信息

现有的web服务安全工具仅提供单个服务的安全策略配置功能,忽略了业务流程层面的安全需求。为此,提出一种面向跨企业多方协同应用的web服务安全模型,将web服务安全建模、部署与监控过程,融合到企业业务流程管理过程中。在此基础上构造基于Secure-WSCDL的建模工具、转换工具和监控工具,实现SOA架构下业务模型与安全建模在软件工程生命周期中的同步。通过简化的国际贸易进出口流程实例,验证了该模型与相应工具的有效性。

关键词： web服务 web服务编排描述语言消息交换模式 web服务安全策略 web服务安全联邦电子商务

来源：评论

学校读者我要写书评

暂无评论

一种基于带条件的轨迹的WS-CDL形式化模型研究

一种基于带条件的轨迹的WS-CDL形式化模型研究

引用

作者：梁智远西南大学

学位级别：硕士

随着因特网的不断发展,web服务已成为了人们日益关注的焦点。然而,功能单一的web服务已经不能胜任企业的应用。web服务组合研究如何将众多相关的web服务有机集成,形成功能强大的企业级服务,以完成商业目标。目前,关于web服务组合方法有... 详细信息

随着因特网的不断发展,web服务已成为了人们日益关注的焦点。然而,功能单一的web服务已经不能胜任企业的应用。web服务组合研究如何将众多相关的web服务有机集成,形成功能强大的企业级服务,以完成商业目标。目前,关于web服务组合方法有一种全新的观点叫做编排,用于从更高的层次描述一些参与方的点对点协作。关于编排的规范是WS-CDL,它以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。当今很多对WS-CDL进行形式化的建模研究都不完善,或是建模之后没有讨论执行过程以及一致性问题。因此完善对WS-CDL的模型化相关工作具有十分重要的意义。本文总结并扩展了已有的建模方法,提出了一种带条件的轨迹的概念,并在此基础之上为WS-CDL规范建立了一种语法和语义规则(又称作全局模型)。为了讨论编排的执行过程,本文在每一个角色上为WS-CDL规范建立了语法和语义规则(又称作局部模型),并给出了从全局模型到局部模型的映射过程,然后严格定义了编排的执行过程,并给出了一种在各角色之间执行编排的算法,接着讨论了在该模型下编排执行的一致性问题。最后,列出了实现这些算法的数据结构和程序代码,论证了算法的有效性。

关键词： web服务组合 web服务编排描述语言形式化模型带条件的轨迹执行过程

来源：评论

学校读者我要写书评

暂无评论

基于随机Petri网的WS-CDL服务组合服务质量评估研究

基于随机Petri网的WS-CDL服务组合服务质量评估研究

引用

作者：薛红超重庆大学

学位级别：硕士

随着web服务技术越来越广泛的使用,web服务组合技术也引起了关注和研究。web服务组合技术选取服务组件组成新服务,满足客户动态变化的需求。但是,单个web服务具有的分布性、异构性、自治性和动态变化的特点,对组合服务的服务质量产生了... 详细信息

随着web服务技术越来越广泛的使用,web服务组合技术也引起了关注和研究。web服务组合技术选取服务组件组成新服务,满足客户动态变化的需求。但是,单个web服务具有的分布性、异构性、自治性和动态变化的特点,对组合服务的服务质量产生了影响。所以,服务组合的量化分析变得越来越重要,工业界和学术界各方面都需要建立一套建模、分析、评估、检验和优化web服务组合服务质量的方法。本文主要研究了WS-CDL服务组合规范和随机Petri网,提出了基于随机Petri网的WS-CDL服务组合建模、性能和可靠性分析、量化指标的求解等。主要工作如下: ①对服务组合规范WS-CDL进行了深入的研究,实现了使用随机Petri网对WS-CDL文档的完整转换,对影响服务组合质量的流程控制、进程调用、消息交互、异常处理等重要方面进行了完整详细的描述,全面的实现了WS-CDL规范的细粒度建模。 ②在使用随机Petri网建模的基础上,对建模得到的中间模型进行服务组合控制流程的状态分析,并运用连续时间马尔科夫链得到其变迁强度矩阵,通过算法对变迁强度矩阵计算得到文章提出的三个服务质量分析指标:服务正常结束时间期望(性能指标)EPNCT,服务正常结束概率(可靠性指标)PNCP和服务正常结束代价期望(执行代价指标)EONC。 ③使用WS-CDL+执行引擎实际运行WS-CDL实例,并从日志文件中提取出需要的和服务质量指标相关的实测数据,把这些数据作为样本,运用置信区间分析方法得到三种分析指标的95%置信区间。将通过随机Petri网方法分析得到的理论结果和置信区间进行比较,得到理论结果和置信区间的一致性,证明了基于随机Petri网的转换、建模和量化分析方法的正确性和有效性。

关键词： web服务编排描述语言随机Petri网服务组合服务质量评估

来源：评论

学校读者我要写书评

暂无评论

基于编排和编制的web服务组合技术研究

引用

电脑开发与应用 2009年第5期22卷 1-3,7页

作者：王鑫谢红薇太原理工大学计算机与软件学院太原030024

介绍了web服务编排和编制的概念,分析现行web服务组合技术标准,并结合使用web服务编排和编制在不同层次组合业务服务的思想,给出了编制和编排的层次关系,最后说明如何在实际应用中运用WS-CDL和WS-BPEL进行web服务组合。以期通过这些技... 详细信息

介绍了web服务编排和编制的概念,分析现行web服务组合技术标准,并结合使用web服务编排和编制在不同层次组合业务服务的思想,给出了编制和编排的层次关系,最后说明如何在实际应用中运用WS-CDL和WS-BPEL进行web服务组合。以期通过这些技术组合web服务来创建更高层次、跨组织的业务流程。

关键词： web服务组合编排编制 web服务编排描述语言 web服务业务流程执行语言

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：