基于XYZ/ADL的BPEL4WS Web服务组合描述方法

魏慧

首页> 中文期刊>电脑知识与技术 >基于XYZ/ADL的BPEL4WS Web服务组合描述方法

基于XYZ/ADL的BPEL4WS Web服务组合描述方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Web服务组合技术作为实现面向服务体系结构的一项重要技术,已成为当今学术界和工业界共同重视的研究内容之一.基于商业流程的工业化的描述方法BPEL4WS缺乏形式化语义而无法验证描述的正确性.基于此,分析软件体系结构描述语言XYZ/ADL设计元素和BPEL4WS元素之间的语义相似性,建立XYZ/ADL至BPEL4WS的映射规则,从侧面验证BPEL4WS的正确性.

著录项

来源
《电脑知识与技术》|2010年第29期|8243-8244|共2页
作者
魏慧;
展开▼
作者单位

南京铁道职业技术学院苏州校区信息工程系,江苏,苏州,215000;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
XYZ/ADL; BPEL4WS; Web服务; Web服务组合;

相似文献

中文文献
外文文献
专利

1. 基于XYZ/ADL的Web服务组合描述与验证 [J] . 张广泉 ,戎玫 ,朱雪阳 . 电子学报 . 2011,第0z1期
2. 基于XYZ/ADL的Web服务组合描述与验证 [J] . 张广泉 ,戎玫 ,朱雪阳 . 电子学报 . 2011,第A03期
3. 基于XYZ/ADL的异步Web服务组合描述与验证 [J] . 石慧娟 ,戎玫 ,张广泉 . 计算机科学 . 2011,第012期
4. 基于XYZ/ADL的Web服务组合精化检验 [J] . 何亚丽 ,张广泉 ,王昇 . 苏州大学学报（自然科学版） . 2010,第001期
5. 基于XYZ/ADL的Web服务组合形式化描述 [J] . 魏慧 ,张广泉 . 苏州大学学报（工科版） . 2007,第004期
6. 基于XYZ/ADL的Web服务组合描述与验证框架 [C] . 张广泉 ,戎玫 ,朱雪阳 . 2010年全国软件与应用学术会议(NASAC2010) . 2010
7. 基于XYZ/ADL的Web服务组合验证研究 [A] . 何亚丽 . 2010

基于XYZ/ADL的BPEL4WS Web服务组合描述方法

摘要

著录项

相似文献

相关主题

期刊订阅