【摘 要】
：
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的W
论文部分内容阅读
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。
其他文献
针对P2P网络中很难获取资源全局信息的问题,提出一种基于多主题的网络模型构造算法。算法根据网络中主题分布情况,在逻辑上将网络划分为若干主题子网,使具有相似或相同主题的节点聚集在一起,从而可以在子网范围内获取某类资源的近似全局信息。实验结果表明,该算法具有较快的收敛速度和较强的自我修复与扩展能力,能够有效地进行主题子网划分和资源聚集。
SSL(安全套接层)握手协议利用公开密钥体制(RSA)保护通信实体之间传输信息的机密性和完整性,其存在信息处理速度过慢的缺点,基于batch RSA的SSL握手协议能较好地解决这一问题,但当服务器收到大量客户端请求或遭受DoS攻击时,易导致服务器性能下降。为此,提出一种基于批量化密钥重分配(batch key redistribu-tion)的改进协议。协议将密钥分解成两个密钥序列分支,并将一个密
对多核操作系统的发展状况进行了综述,指出了多核操作系统的发展滞后于多核技术发展的现状,介绍了多核操作系统的起源和国内外研究状况,分析了多核操作系统研究中面临的一些主要问题及已有的研究成果。最后,对多核操作系统的一些研究方法进行了总结。
阿曼石油公司首席执行官在马斯喀特表示，阿曼石油公司时下正在与美国西方石油公司就收购后者在这个海湾阿拉伯苏丹国中的资产一事进行谈判，但是，阿曼石油公司仍在等待知道这家美
据新华社报道，国家外汇管理局2008年12月23日下发通知，完善企业货物贸易项下外债登记管理，将一般企业出口贷款预收汇比例和进口贷款延期付汇比例调增至25％。
津巴布韦能源和电力发展部近日发布2011年第144号法令，将乙醇生产许可证费用设定为每年2万美元，以吸引新的乙醇生产者。该法令同时将乙醇燃料生产许可证费用设定为每年5000美元
在探讨了四元数及四元数矩阵奇异值分解性质的基础上,用四元数矩阵来表示彩色图像,彩色图像的每个像素用一个四元数来表示,从而实现了将彩色图像的各个分量作为一个整体进行运算的思想;对彩色图像的四元数矩阵奇异值分解后的性质进行了研究,得出将四元数矩阵分解的方法用于彩色图像水印的嵌入和提取的可行性,并提出一种基于四元数矩阵奇异值分解、旋转和共轭运算的彩色图像盲水印算法进行验证。通过实验和对比表明,该算法具有
据塞拉利昂农业部透露，塞政府已经解除了橡胶出口和加工禁令。
正上周末,节能产品惠民工程家电节能补贴名单全部出炉,而此前中国人民银行宣布自6月8日起下调金融机构人民币存贷款基准利率0.25个百分点。一系列利好能否激活ABS行业呢?吉林