论文研究-Ad hoc网络中AODV路由协议优化.pdf

【文件属性】：

文件名称：论文研究-Ad hoc网络中AODV路由协议优化.pdf

文件大小：791KB

文件格式：PDF

更新时间：2022-09-27 06:52:18

论文研究

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题，提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中，将Web服务组合的设计方案划分为描述层、抽象层和执行层，并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。