【文件属性】：
文件名称：论文研究-Ad hoc网络中AODV路由协议优化.pdf
文件大小：791KB
文件格式：PDF
更新时间：2022-09-27 06:52:18
论文研究
针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题，提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中，将Web服务组合的设计方案划分为描述层、抽象层和执行层，并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。