语义Web服务组合的模型转换及形式化验证方法

摘要

语义Web服务组合的模型转换及形式化验证方法属于语义网及Web服务领域，其特征在于，在计算机上建立语义Web服务组合存储单元、模型转换子模块、语义Web服务着色Petri网存储子模块、正确性验证子模块和本体工具Protégé；该方法通过模型转换子模块将OWL-S形式的语义Web服务组合模型转换为语义Web服务着色Petri网模型，转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系，而且能够用着色Petri网的形式化方法进行服务组合的正确性验证。根据本发明，能够通过形式化方法验证语义Web服务组合的正确性，从而保证服务组合的正确执行。