WSDL表示模型与实现方法

来源 :北京航空航天大学学报 | 被引量 : 0次 | 上传用户:xiaolianzhang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
WSDL(Web Services Description Language)是Web Services技术的重要组成部分.由于WSDL通常采用协议描述,缺乏严格性和准确性.从逻辑上看,实现技术缺乏一致性.首次提出WSDL形式化模型,提出一种新的集合--Services集,该集合采用严格的数学方法来定义WSDL文档,采用Services集合可以作为WSDL表示模型,严格、准确地形式化表示WSDL文档结构和实现WSDL机制的程序语义.基于Services集给出了一种实现WSDL表示模型的算法.
其他文献
在动态构造的网络管理中,管理功能与被管对象的关联机制是核心关键技术.这种关联机制采用被管对象集MOS(Managed Objects Sets)的思想.MOS提供对协议、设备及应用相关的被管
为了增强视觉沉浸感,虚拟场景中存在着大量的树木、火焰、烟尘等半动态对象.针对这类对象进行运动描述时计算开销大,严重影响仿真的实时性能的问题,提出一种层次运动模型LOM(
2005年《京都议定书》生效以来,我国一直是全球CDM开发的重要国家之一,在CDM开发方面取得显著成就。但是由于信息流通、项目规模以及市场因素的影响,我国小型CDM项目在开发范围
为了解决机翼的扭转发散、载荷重新分布及操纵反效和操纵效率等问题,基于非对称复合材料的各向异性及相对于普通复合材料更好的可设计性,以几种典型非对称复合材料层板的试验
本系统根据葫芦岛市环境保护的需要,整合各种环境保护建设项目审批数据,建立Oracle数据仓库,利用PowerBuilder技术完成对环境保护建设项目数据的管理、统计与发布。
对绿色校园建设的必要性从高校的优势和学校管理要求方面进行了论述。以辽宁大学为例,探讨了其进行绿色校园建设的主要内容,并提出了污染预防、实施生态工程和进行可持续发展管
在一定缓冲溶液介质条件下,通过盐类在溶液中的离子交换对分子筛进行改性处理,制备H2S在线分析仪中进口SCRUBBER替代材料。结果表明200μg/L下SO2的滤除效率〉99.9%、200mg/L
结合沈阳市环保局电子政务网络,介绍在网络信息系统安全性和保密性方面采取的一些方法和策略,主要包括网络安全的物理隔离和逻辑隔离,网络边界安全控制,集中网络安全管理,数据安全
给出了修正的MPS(Moving Particle Semi-implicit)无网格方法,指出恰当选取权函数可避免使用虚节点来处理边界,从而解决复杂边界处虚节点难设定的问题.以非线性Burgers方程为
提出了一种新的发动机优化调整方法.这一方法以多自由度多目标优化理论为基础,利用发动机性能仿真模型和故障诊断模型,在对故障发动机进行故障诊断的基础上,通过调整发动机可