论文部分内容阅读
Web服务的相容性分析是为了保证多个Web服务之间的正确交互.基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义.同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义.
Web服务相容性的形式化描述与分析
【摘 要】
：
Web服务的相容性分析是为了保证多个Web服务之间的正确交互.基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义.同时定义了二个
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年27期
其他文献
流量分配是影响并行入侵检测系统实时性的重要因素。首先提出了一种以局部时间内探测节点的负载平衡为目标,综合考虑探测节点的负载和处理能力的动态流量分配策略;然后通过引
提出了基于无线传感器网络的分布递阶信息融合方法,下层源节点采用卡尔曼滤波及基于减少能耗和网络冲突的数据处理方法,上层汇聚节点采用方差最小的加权信息融合方法,该方法
提出了一种基于傅里叶变换特征遗传算法的人脸识别方法。首先对人脸图像进行傅里叶变换,并去掉不包含识别信息的零频率分量。然后以人脸图像傅里叶变换的模作为描述人脸模式的特征,考虑到并不是所有傅里叶特征都包含较好的分类信息,应用遗传算法进行特征选取。实验结果表明:给出的方法不仅具有较好的识别性能,而且可以在一定程度上减少人脸模式的存储空间。
大部分陆地油田经过几十年的开发生产，油层压力下降，产能降低。对于地质岩石胶结致密的老井，侧钻井水平井分段压裂完井工艺不失为一种很好的经济有效的恢复其产能的技术。本文介
基于网络的空间矢量信息发布,仍存在大数据集浏览效果差强人意的问题,渐进传输是解决该问题的关键技术之一。在对空间矢量信息渐进传输的内在条件进行分析后,认为基于空间多