文件名称：论文研究-协作通信系统中的LDPC码性能分析研究.pdf
文件大小：563KB
文件格式：PDF
更新时间：2022-10-02 06:53:16
论文研究
针对语义Web服务的组合与验证问题，提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模，使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法，选择可用的子Web服务确定最合适的组合Web服务，并将该组合UML模型转化为可验证的Promela语言，使用SPIN工具进行验证，通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率，保证了组合过程的正确性，还能利用模板与语义匹配度实时发现与选择可用的Web服务。