使用描述邏輯表達語義Web服務行為

崔冬

摘要：該文重點研究Web服務的行為層面并使用描述邏輯對附加的行為信息進行形式化表達。使用Dl框架來描述順序和平行拆分的交互序列，這些內容對Web服務的發現和組合的研究都提供了一定的參考價值。在不更改代碼的情況下，擴展了Web服務的特征描述；通過與本體語言OWL-DL的結合，在目前語義Web服務研究成果的基礎上增加Web服務行為方面的描述。

關鍵詞：描述邏輯； 服務行為； 自動化

中圖分類號：TP311 文獻標識碼：A 文章編號：1009-3044（2014）27-6334-03

Abstract： This paper focuses on the behavior of Web services and the use of description logic expression level of formal for additional information on the behavior. Interactive sequences using DL framework to describe sequential and parallel split， the content of research on Web service discovery and composition are to provide a certain reference value. Without changing the code， the expansion of the description of the characteristics of Web services； through combining with the ontology language OWL-DL， based on current research results of Semantic Web services on the web service behavior description increase.

Key words： description logic； service behavior； automation

服務計算技術的出現，部分解決了這些發展所帶來的挑戰。結合使用Web服務描述語言（WSDL），簡單對象訪問協議（SOAP），通用描述、發現與集成服務（UDDI），軟件組件可以進行發布或者訪問，并且可以通過標準化的接口和協議進行通信。這增加了公司使用軟件的靈活性 ，但Web服務使用過程仍然不能實現自動化處理。 本文重點研究的是服務的行為方面，也就是，一個服務操作之間的限制決定了它們允許執行的順序。我們選擇DL描述邏輯，因為它基于形式化語義，足夠豐富表達我們的要求，而且DL是可以進行判定的。通過使用OWL-DL，我們證明使用DL作為通用的語義Web服務描述語言，可以保證web服務描述的可擴展性和整體性。

1 行為方面的要素

在本節中我們將對使用DL表述web服務行為時出現的一些基本元素的含義進行解釋，這些元素的含義與它們相關聯的服務行為的含義有直接的聯系，這意味著，每個元素根據消息執行的順序有不同的含義，后面將進行詳細說明?！?br>