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

云制造特征及云服务组合关键问题研究被引量：212: 1; 作者陶飞张霖 +2 位作者郭华罗永亮任磊《计算机集成制造系统》 EI CSCD 北大核心 2011年第3期477-486,共10页; 为实现基于知识的制造资源和制造能力的共享与协同,实现云制造系统中资源服务的增值和增效,在分析云制造典型特征后,对云制造中的资源、制造云服务、制造云的关系进行了阐述。在此基础上,设计了制造云服务管理原型系统功能结构,对基于... 展开更多; 关键词云制造云服务服务组合服务组合网络组合关联关系组合柔性; 在线阅读下载PDF 职称材料

采用动作时序逻辑的Web服务组合方法被引量：2: 2; 作者周宁刘慧 +1 位作者王红兵谢俊元《计算机科学与探索》 CSCD 2011年第3期208-220,共13页; 基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 展开更多; 关键词网络服务组合动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA); 在线阅读下载PDF 职称材料

组合Web服务建模工具的设计与实现被引量：4: 3; 作者崔航马殿富 +1 位作者王勇杜宗霞《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第10期943-946,共4页; 通过分析IBM提出的Web服务流程描述语言 (WSFL) ,设计并实现了一个基于WSFL的组合Web服务建模工具 (CWSMT) .该工具还可与Web服务运行环境相结合 ,将图形化的建模结果转换为可部署、可运行的组合Web服务 ,实现组合Web服务的建模。; 关键词网络服务组合网络服务网络服务流程描述语言建立模型; 在线阅读下载PDF 职称材料

基于AI Planning的Parlay X电信业务设计被引量：1: 4; 作者蒋志华饶东宁 +1 位作者姜云飞江洪《计算机学报》 EI CSCD 北大核心 2011年第2期304-317,共14页; Parlay X是一组电信网络服务(WS)应用程序接口(APIs),智能规划可作为一种WS组合(WSC)方法,所以理论上可基于智能规划设计使用Parlay X APIs的电信业务.但WSC有容错和对动作变化推理的要求,电信业务有多种触发方式和异步响应等特性,智能... 展开更多; 关键词人工智能智能规划网络服务组合 PARLAY X; 在线阅读下载PDF 职称材料

题名云制造特征及云服务组合关键问题研究被引量：212: 1; 作者陶飞张霖郭华罗永亮任磊; 机构北京航空航天大学自动化科学与电气工程学院北京航空航天大学复杂产品先进制造系统教育部工程研究中心; 出处《计算机集成制造系统》 EI CSCD 北大核心 2011年第3期477-486,共10页; 基金国家自然科学基金资助项目(51005012 61074144) +2 种基金国家863计划资助项目~~; 文摘为实现基于知识的制造资源和制造能力的共享与协同,实现云制造系统中资源服务的增值和增效,在分析云制造典型特征后,对云制造中的资源、制造云服务、制造云的关系进行了阐述。在此基础上,设计了制造云服务管理原型系统功能结构,对基于云制造全生命周期运行的云服务组合需求进行了阐述。对云服务组合建模/描述和一致性检查、云服务关联关系、云服务组合柔性、组合网络及其动力学特性、云服务组合建模与评估、组合优选等实现云服务组合的关键问题进行了研究,为未来实现高效智能化的云制造服务管理提供理论支持。; 关键词云制造云服务服务组合服务组合网络组合关联关系组合柔性; Keywords cloud manufacturing cloud service service composition service composition network composition correlation relationship composition flexibility; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名采用动作时序逻辑的Web服务组合方法被引量：2: 2; 作者周宁刘慧王红兵谢俊元; 机构南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系东南大学计算机科学与工程学院; 出处《计算机科学与探索》 CSCD 2011年第3期208-220,共13页; 基金国家自然科学基金国家教育部重点项目江苏省科技支撑计划~~; 文摘基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。; 关键词网络服务组合动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA); Keywords Web services composition temporal logic of action（TLA） Web services description language（WSD L） finite state automata（FSA）; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名组合Web服务建模工具的设计与实现被引量：4: 3; 作者崔航马殿富王勇杜宗霞; 机构北京航空航天大学计算机学院; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第10期943-946,共4页; 基金国家 8 63基金资助项目 ( 2 0 0 1AA113 0 3 0 2 0 0 1AA115 110和 2 0 0 1AA414 0 2 0 ); 文摘通过分析IBM提出的Web服务流程描述语言 (WSFL) ,设计并实现了一个基于WSFL的组合Web服务建模工具 (CWSMT) .该工具还可与Web服务运行环境相结合 ,将图形化的建模结果转换为可部署、可运行的组合Web服务 ,实现组合Web服务的建模。; 关键词网络服务组合网络服务网络服务流程描述语言建立模型; Keywords Computer graphics Computer programming languages Computer simulation Design Information services World Wide Web; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于AI Planning的Parlay X电信业务设计被引量：1: 4; 作者蒋志华饶东宁姜云飞江洪; 机构暨南大学计算机科学系广东工业大学计算机学院中山大学信息科技学院软件研究所中国电信股份有限公司广东研究院家庭客户部; 出处《计算机学报》 EI CSCD 北大核心 2011年第2期304-317,共14页; 文摘 Parlay X是一组电信网络服务(WS)应用程序接口(APIs),智能规划可作为一种WS组合(WSC)方法,所以理论上可基于智能规划设计使用Parlay X APIs的电信业务.但WSC有容错和对动作变化推理的要求,电信业务有多种触发方式和异步响应等特性,智能规划要有确定状态等Parlay X不满足的条件.结合典型Parlay X电信业务模型,基于AI Planning的Parlay X电信业务设计(APBPTSD)方法被提出.APBPTSD用标准后处理动作(SPCA)处理容错,用等待事件动作(WFEA)处理异步响应,用本地动作(LA)处理动作变化推理并对多种触发进行业务分拆.在已有业务上实验表明APBPTSD可有效指导Parlay X电信业务设计.; 关键词人工智能智能规划网络服务组合 PARLAY X; Keywords artificial intelligence automated planning Web service composition Parlay X; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	云制造特征及云服务组合关键问题研究	陶飞张霖郭华罗永亮任磊	《计算机集成制造系统》 EI CSCD 北大核心	2011	212	在线阅读下载PDF 职称材料
2	采用动作时序逻辑的Web服务组合方法	周宁刘慧王红兵谢俊元	《计算机科学与探索》 CSCD	2011	2	在线阅读下载PDF 职称材料
3	组合Web服务建模工具的设计与实现	崔航马殿富王勇杜宗霞	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2003	4	在线阅读下载PDF 职称材料
4	基于AI Planning的Parlay X电信业务设计	蒋志华饶东宁姜云飞江洪	《计算机学报》 EI CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料