论文研究协作通信系统中的LDPC码性能分析研究.pdf

针对语义Web服务的组合与验证问题，提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模，使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法，选择可用的子Web服务确定最合适的组合Web服务，并将该组合UML模型转化为可验证的Promela语言，使用SPIN工具进行验证，通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率，保证了组合过程的正确性，还能利用模板与语义匹配度实时发现与选择可用的Web服务。