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

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:weilai0769
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘要:Web服务组合技术作为实现面向服务体系结构的一项重要技术,已成为当今学术界和工业界共同重视的研究内容之一。基于商业流程的工业化的描述方法BPEL4wS缺乏形式化语义而无法验证描述的正确性。基于此,分析软件体系结构描述语言YXZ/ADL设计元素和BPEL4WS元素之间的语义相似性,建立XYZ/ADL至BPEL4ws的映射规则,从侧面验证BPEL4ws的正确性。 全文查看链接
其他文献
初识Ghost explorer  Ghost explorer界面很简洁,类似于Windows的资源管理器。
笔者前不久买了一款250GB移动硬盘,回家后将它分成了3个分区,平时主要用它存储文档资料、照片、电影等文件,但笔者在存储电影时,只要大于4GB的高清电影都无法存储.……
期刊
在期刊采编自动化的工作中,通过微软公司Office软件提供的VBA二次开发接口,可以实现各类复杂的应用,尤其对于文本编辑软件Word,更可通过编制向导程序的方法来提高期刊采编自
糖萜素是一种从山茶科饼粕中提取的由糖类、配糖体和有机酸组成的天然活性物质,它能提高动物机体神经内分泌免疫功能,具有抗病、抗应激作用,作为一种新型的抗生素替代物,其在水产
1.1.1浮筏贝 选自大连长海县的小长山、哈仙岛、广鹿岛。二龄贝、壳高9~11cm,体重100-130g/个,每立方米培育水体雌贝用量250~300g,雄贝用量约为雌贝用量的1/10。
针对高校毕业班级毕业生实习就业难以管理的现状,提出了基于ajax的实习就业管理系统的分析、设计以及实现系统高用户体验的解决方案,同时对系统进行负压测试。
2009年第5期的《电脑知识与技术》“热点企划”发表了“距离不是问题 远程办公解决方案实战”一文,详细介绍了操作系统的远程协助、“网络人”软件、eyeos操作系统这几种方法来解决远程办公问题。其实除了这些方法之外,还有像是用聊天工具QQ或是一些远程管理软件来远程办公,甚至是管理整个局域网,比如著名的DameWare软件,其实质与木马是完全相同的,但并不在杀毒软件的查杀之列。使用DameWare的优
图形用户界面(GUI)是人机对话的主要接口,合理的GUI界面有助于提高系统的性能和效率。利用Matlab设计的飞机乘坐品质分析软件,该软件设置了大量参数的输入,集合了六个常用的
运行软件后,点击“添加背景”图标,双击“背景”下需要添加的图片,或者点击“浏览”按钮选择自己编辑后的图片,这就将第一张图片加入了彩信制作区。
期刊
随着绿色农业的大力发展,水产动物病害防治中一般抗菌素的使用问题越来越严重,中草药的应用越来越受到重视。本文对中草药和一般抗菌素的特点进行了比较,介绍了常用中草药药性及