技術(shù)編號：6540166
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。本發(fā)明提供一種語義Web服務(wù)組合的自動驗證方法及其系統(tǒng)，將OWL-S描述的Web服務(wù)轉(zhuǎn)化為一臺原子過程自動機，將原子過程自動機組合為組合過程自動機；消除組合過程自動機的冗余并發(fā)和同步遷移，獲得優(yōu)化模型；依據(jù)用戶限定的相容性要求，確定組合過程自動機的可接受位置集合；依據(jù)用戶限定的有效性要求，確定邏輯公式CSV；將優(yōu)化模型轉(zhuǎn)換為UPPAAL的建模語言；將可接受位置集合和邏輯公式CSV表示為CTL公式；將建模語言描述的組合服務(wù)模型與CTL公式輸入UPPAAL進行...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學習研究技術(shù)思路。