云南高校图书馆联盟文献共享服务平台- WS-CDL

WS-CDL: 作品数：18被引量：18H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：周洁颖赵文卓陈凤强代飞卢正鼎更多>>; 相关机构：华东理工大学云南大学重庆大学东南大学更多>>; 相关期刊：《中国机械工程》《东南大学学报（自然科学版）》《Computers, Materials & Continua》《计算机工程与应用》更多>>; 相关基金：国家自然科学基金国家科技支撑计划国家教育部博士点基金重庆市自然科学基金更多>>

基于服务编排的云制造服务协同被引量：2: 《中国机械工程》2021年第7期849-859,共11页陆剑峰韩调娟俞耀平; 国家重点研发计划(2017YFE0100900);上海市科委社发项目(19DZ1206800);工信部2018年工业互联网创新发展工程项目(用友精智工业互联网平台试验测试项目)。; 制造产品价值创造已演变为跨组织的协同,基于业务流程执行语言等服务编制的方法难以应对多主体、多样化和动态化的服务组合流程管理需求。提出了一种基于WS-CDL的云制造服务编排方法,对云制造服务协同流程进行预先定义并在执行过程中遵...; 关键词：云制造 Web服务编排描述语言(WS-CDL) 服务编排接口规范

A Formal Method for Service Choreography Verification Based on Description Logic: 《Computers, Materials & Continua》2020年第2期893-904,共12页Tingting Zhang Yushi Lan Minggang Yu Changyou Zheng Kun Liu; This work is supported by the National Natural Science Fund number 61802428.; Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approa...; 关键词：Service choreography WS-CDL meta-concept model description logic formal verification

基于Petri网的挖掘WS-CDL编排并行性的方法: 《计算机应用研究》2017年第6期1750-1755,1761,共7页陈凤强赵文卓代飞; 国家自然科学基金资助项目(61462095);云南省自然科学基金资助项目(2016FB102);云南省中青年学术和技术带头人后备人才培养项目(C6143002);云南省软件工程重点实验室开放基金面上资助项目(2017SE201;2016SE202;2015SE102);云南省教育厅科学研究基金重大专项项目(ZD2014001); 挖掘WS-CDL(Web services choreography description language)编排中的并行性,使其中的交互任务尽量并行执行,是缩短业务过程执行时间,提高业务过程效率的重要手段。现有针对WS-CDL编排的研究主要是集中在编排的可实现性方面,没有关注...; 关键词：业务过程挖掘 WS-CDL PETRI网

基于进程代数WS-CDL交互模式建模研究被引量：1: 《江西科学》2014年第6期878-883,共6页袁晓月万珍珍冯星; 基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对...; 关键词：WS—CDL 进程代数形式化方法

一个基于WS-CDL的服务编排行为模型及角色映射被引量：2: 《小型微型计算机系统》2014年第7期1561-1566,共6页尤殿龙申利民王辉耿大伟; 国家自然科学基金项目(61272125;61300193)资助;教育部高等学校博士学科点专项科研基金项目(20121333110014)资助;河北省自然科学基金项目(F2011203234)资助;河北省高等学校科学技术研究重点项目(ZH2011115)资助;河北省科技支撑计划项目(11213562)资助; Web服务组合的服务编制过程需要遵守服务编排协议.针对将服务编排协议映射到分散式服务编制这一难点问题,提出了面向角色的WS-CDL映射模型,建立了服务编排协议的行为模型;给出了服务编排协议的行为模型的角色映射规则及实现算法.该模型...; 关键词：WEB服务组合服务编排协议行为模型 WS-CDL 角色映射

多方协同应用中基于编排模型的业务流程监控技术的研究与实现被引量：2: 《计算机应用与软件》2013年第3期165-169,共5页张敬谊陈诚童庆刘龙; 当前SOA架构已经广泛地应用于各种跨系统、跨组织的电子商务。对多方协同中所涉及到的业务数据进行跟踪与监控的需求日益增长。业务活动监控的主要难点是如何从商业应用中获取数据以及定义跟踪目标。提出基于WS-CDL模型对监控目标进行定...; 关键词：编排多方协同 WS-CDL 网络包截获

一种模型驱动的WS-CDL服务组合性能预测方法: 《世界科技研究与发展》2013年第1期56-61,共6页夏云霓王秀武蒋传建; 中国博士后面上项目一等资助金(20090450091);重庆市自然科学基金(2009BB2203)资助; 提出了一种模型驱动的方法来预测基于WS-CDL的组合服务的性能。该方法首先引入一系列的转换规则,将WS-CDL中的各种活动和结构转换为等效的随机PETRI网描述。在生成的随机PETRI网进基础上,引入了一个预测算法以分析组合服务的"流程正常...; 关键词：服务组合性能 WS—CDL 一般随机PETRI网置信区间分析模型驱动

WS-CDL测试路径的生成与排序: 《东南大学学报（自然科学版）》2012年第3期428-434,共7页刘翠翠邱栋李必信; 国家自然科学基金资助项目(60973149);教育部博士点基金资助项目(20100092110022);江苏省高校科研成果产业化推进资助项目; 为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源...; 关键词：WS—CDL 控制流图测试路径排序

WS-CDL编排到BPEL编制的转换与实现: 《华东理工大学学报（自然科学版）》2012年第2期239-246,共8页周洁颖阮彤张弘; 国家科技支撑项目(2009BAH46B03;2009BAH46B05); Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范WS-CDL与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换...; 关键词：WS-CDL 编排流程编制流程

From WS-CDL to OWL： Mapping Choreography to ITs Corresponding Ontology: 《通讯和计算机（中英文版）》2011年第6期443-453,共11页Saeid Kamari Mohammad Zahiri; 关键词：WEB本体语言 CDL 映射猫头鹰面向服务的架构语义WEB 面向服务架构描述语言

WS-CDL