基于語義Web的自動服務組合技術的研究.pdf

1、本文對語義Web的自動服務組合的關鍵技術，包括語義Web標記語言、描述模型OWL-S、自動服務組合的模型和方法進行了研究，工作內容主要包括以下幾個方面： 首先，通過閱讀文獻和研究成果，發(fā)現(xiàn)自動服務組合方法必須支持Web服務的語義描述，即通過語義Web標記語言描述服務。本文使用OWL-S標準作為Web服務的描述模型，集中討論了ServiceProfile和ServiceModel這兩類本體。通過對已有的自動服務組合方法的深入分析和

2、比較，結合基于工作流和規(guī)劃方法的優(yōu)點，給出了一個基于語義Web服務的自動服務組合模型SWSCM，并根據該模型給出了一種具體的自動服務組合方法。采用線性邏輯作為模型的內部形式化語言，通過定理證明的形式化方法保證服務組合的正確性與完整性。從得到的證明中直接提取組合服務的過程模型，以過程演算表示，同時還可將其轉換為工作流領域的流程建模標準方便組合服務的調用。通過領域本體的推理為定理證明提供子類型包含關系的公理。本文集中討論了服務描述語言之間的