讓soa更智慧型
用語義級的本體描述語言（owl）來描述soa的整個過程，可以提高soa的自動化程度，以實現服務的自動發現、自動匹配與自動組裝。
■ 北京地稅個稅soa專案組
soa是近幾年來被頻繁提及的概念，它作為一種架構模型，能夠幫助系統架構者更迅速、更具有重用性地架構整個業務系統。soa的核心是「服務」，而 對服務的描述則是其中的最重要的環節之一。實際上，正是通過對服務介面的標準化描述，才使得服務可以提供給異構平台上的使用者使用。
目前，服務描述最常用的是一種語法級的描述方法，即基於語法對web服務特徵、介面等進行描述，如wsdl。 不過，隨著服務描述研究的發展，現在也出現了一些語義級的描述方法，包括輕量級web服務能力描述語言scdl、規範化描述語義web服務的本體框架 wsmo、基於owl語言的web服務本體owl-s等。本文基於本體描述語言（owl），**如何對soa中的服務從語義角度進行描述。
owl描述語言
owl（web ontology language）是w3c開發的一種網路本體語言，用於對本體進行語義描述。由於owl是在daml+oil 的基礎上改進而開發的，所以一方面要保持對daml+oil/rdfs的相容性，另一方面又要保證更加強大的語義表達能力，同時還要保證描述邏輯 （dl，description logic）的可判定推理，因此，w3c的設計人員針對各類特徵的需求制定了三種相應的owl的子語言，即owl lite、owl dl和owl full，這三種子語言的表達能力遞增。
owl lite是表達能力最弱的子語言。它是owl dl的乙個子集，但是通過降低owl dl中的公理約束，保證了迅速高效的推理。因為owl lite表達能力較弱，為其開發支援工具要比其他兩個子語言容易一些。owl lite主要用於提供給那些僅需要乙個分類層次和簡單約束的使用者。
owl dl（description logic，描述邏輯）將可判定推理能力和較強表達能力作為首要目標，而忽略了對rdfs的相容性。owl dl包括了owl語言的所有語言成分，但使用時必須符合一定的約束，受到一定的限制。owl dl提供了描述邏輯的推理功能，描述邏輯是owl的形式化基礎。
owl full包含owl的全部語言成分並取消了owl dl中的限制，它將rdfs擴充套件為乙個完備的本體語言，支援那些不需要可計算性保證但需要最強表達能力和完全自由的rdfs使用者。在owl full中，乙個類可以看成是個體的集合，也可以看成是乙個個體。由於owl full取消了基數限制中對可傳遞性質的約束，因此不能保證可判定推理。
下面所述方法使用owl dl來描述soa中的服務，具有較強的表達能力和可判定推理能力。
服務描述的關鍵要素
基於owl、使用本體（ontology）對soa中的服務進行描述，可以從語義角度為實施soa提供基礎支援，同時，還可以使用owl在此基礎之上進一步對soa中的服務發現、服務匹配和服務組裝進行描述。
在對soa架構服務進行描述時會涉及以下關鍵要素:
服務（service）: 服務是本文所述本體（ontology）中最基本的概念。比如，個人報稅系統中會有登入頁面，使用者輸入id、密碼，系統檢查資料庫
匹配id、密碼，返回驗證成功或者驗證失敗，這就是乙個登入服務。
服務提供者和服務消費者: 每個服務都有乙個服務提供者，但可能會有多個消費者，產生乙個或多個效果（effect）。服務提供者和消費者都是服務參與者（actor）——參與了某個活動。事實上，除了服務提供者和服務消費者還可能有很多其他種類的參與者。
效果（effect）: 服務會產生效果，效果即為服務對消費者產生的價值。在前面所述的登入服務例子中，登入服務產生了乙個效果（effect）——登入成功進入系統或者登入失敗拒絕進入。
此外，還有資訊條目（information item）、系統和組合（composition）等術語，這裡不再贅述。
地稅對私業務例項
以下結合個人所得稅服務管理系統中的資訊核對服務例項來解析上述基於owl的服務描述方法的語義描述能力。
假設使用者張三使用資訊核對服務，成功核對了個人身份資訊。在資訊核對服務例項中，假設包含以下子服務: 公安資料交換服務、核心資料交換服務、身份核對服務、車船核對服務、房產核對服務。下面來分別描述各個子服務。
在公安資料交換服務中，公安資料交換系統作為服務的提供者，也是服務的參與者，使用者張三作為服務的請求者，也是服 務的參與者。公安資料交換系統「提供」了公安資料交換服務; 張三「消費」了公安資料交換服務。張三使用了公安資料交換服務後，成功完成與公安資料的資料交換，得到身份資訊及與納稅人的身份關係，這是公安資料交換服 務的「效果」。
假設在服務頁面上有如下提示「請輸入18位身份證號」，這就是「information item」，同時「請輸入18位身份證號」描述了乙個操作步驟，是一種「描述」，它「描述」了下乙個步驟。張三在「information item」的提示下輸入了自己的身份證號，成功完成公安資料交換，獲得了相關的身份資訊，成功呼叫了該子服務。
獲得相關個人資訊後，身份核對服務開始執行，同樣，身份核對系統和張三分別是身份核對服務的提供者和請求者。身份 核對服務執行過程中若有相關提示，如「核對中，請稍候」，該提示即為「information item」，是對核對進行狀態的一種描述。核對完成後，系統提示核對成功，於是張三「消費」了身份核對服務，得到了乙個身份核對服務的「效果」，即核對成 功，在身份核對服務中，這個「效果」同時也是一種「修改」，即對於身份核對狀態的一種改變。
核心資料交換服務、車船核對服務、房產核對服務與上述兩服務基本類似，這裡不再加以重複描述。
需要說明的是，本文所述服務描述方法中，owl語言所支援的基數受到限制。在上述例子中體現為，公安資料交換服務 只能有公安資料交換系統乙個提供者，身份核對服務也只能有身份核對系統這樣乙個服務提供者，這由本體（ontology）中對服務的基數限制決定。同樣， 公安資料交換服務至少有乙個「效果」，即交換成功或者交換失敗，本例中交換服務有兩個「效果」。
最後，從資訊核對服務這個整體來看，這些子服務構成了乙個「組合（composition）」，而資訊核對服務由這個組合「提供（produce）」。這個組合「has component」身份核對服務，與之相對，身份核對服務「is component of」這個組合。
限於篇幅，此處只是簡單地描述了幾個服務例項。事實上，本文描述的本體可以作為應用於地稅行業soa的領域本體的核心，並在此基礎之上可以使用owl進一步對soa中的服務發現、服務匹配、服務組裝進行描述，從而完成對soa整個過程的完整語義描述，以實現服務的自動發現、自動匹配與自動組裝。
科技創新如何讓汽車變得更「智慧型」？
科技的不斷創新為我們的生活帶來了翻天覆地的變化，很難想象，在網際網路時代，我們的工作 生活會變得如此豐富多彩。當我們手握智慧型手機，這不僅意味著通訊方式的改變，同時也意味著移動辦公和移動娛樂時代的全面來領。但科技創新並不侷限於網際網路或者數碼層面，在汽車行業我們同樣能看到科技創新的成果。越來越多的廠...
如何讓固定資產管理更智慧型
智慧型時代下的優秀企業，往往在對外的市場拓展 業務營銷等方面做到了近乎極致的高效。但卻忽略了企業內部管理的一些領域，致使原始低效的管理現象屢見不鮮，在企業固定資產管理方面的問題尤其令人擔憂。企業固定資產管理期望實現幾個重要指標 資產管理清晰，賬實相符，責任人明確，資產閒置率可控，無資產流失，管理高效...
讓城市發展更「智慧型」
日前，惠安縣舉辦第三期 大眾講壇 邀請中興通訊 000063,股吧 智慧型城市產品線總經理劉豐作 智慧型城市繪世界 專題講座，推進城市精細化 智慧型化管理。該縣四套班子領導聽取講座。智慧型城市就是運用資訊和通訊技術手段感測 分析 整合城市執行核心系統的各項關鍵資訊，從而對包括民生 環保 公共安全 城...