一種資源感知的服務(wù)模式匹配方法
【專利摘要】本發(fā)明公開了一種資源感知的服務(wù)模式匹配方法，包括利用11）將服務(wù)模式轉(zhuǎn)化為依賴積的類型12）將流程中的各個要素類型化13）利用類型論中“組合即證明”的思想；與傳統(tǒng)服務(wù)模式匹配方法相比，考慮了服務(wù)流程中的資源，提升了匹配的精準度，本發(fā)明利用“構(gòu)造及證明”的思路，完成對資源感知的服務(wù)流程的服務(wù)模式匹配，這種方法有著嚴格的形式化證明的基礎(chǔ)，換言之，本方法的匹配結(jié)果一定是絕對準確的。
【專利說明】
一種資源感知的服務(wù)模式匹配方法
技術(shù)領(lǐng)域
[0001] 本發(fā)明屬于服務(wù)計算領(lǐng)域，主要利用了類型論中"構(gòu)造即證明"的方法實現(xiàn)資源感 知的服務(wù)模式匹配，尤其涉及一種資源感知的服務(wù)模式匹配方法。
【背景技術(shù)】
[0002] 在企業(yè)工作流（workflow)，企業(yè)商業(yè)流程管理 Business Process Management， 以及勉強服務(wù)的架構(gòu)SOA (Service-Oriented Architecture)中，復(fù)雜的服務(wù)是通過細粒度 的服務(wù)按照一定服務(wù)流程形式組織起來的。服務(wù)流程就是將細粒度的服務(wù)（也叫做活動） 按照順序、分支、并發(fā)和循環(huán)四種形式組織起來。近年來，針對流程模式挖掘越來越引起了 人們的重視。通過利用已有的服務(wù)流程的模式，新的服務(wù)流程可以更加容易的被設(shè)計出來。 服務(wù)流程的模式被稱為服務(wù)模式。服務(wù)模式匹配則是服務(wù)模式的研究中最為重要的研究 點，對于一個特定的服務(wù)流程，服務(wù)模式匹配是指出其與服務(wù)模式之間的匹配關(guān)系，通常一 個服務(wù)流程會同時使用多種服務(wù)模式，也就是說與多個服務(wù)模式相匹配。資源則是服務(wù)流 程中一個重要的要素。資源的種類很多，主要包括四大類：金融資源、勞動力資源、固定資產(chǎn) 和無形資產(chǎn)。具體而言，企業(yè)提供服務(wù)所欲需要的服務(wù)器是一種資源，企業(yè)購買的授權(quán)的專 利也是一種資源。資源對于服務(wù)流程的順利執(zhí)行至關(guān)重要。資源通過四種基本的操作參與 到流程的執(zhí)行：創(chuàng)造，使用，排他使用和消耗。一個好的服務(wù)流程的設(shè)計，往往需要合理的分 配各種各樣的資源。傳統(tǒng)的服務(wù)模式研究大多側(cè)重于服務(wù)流程的控制流，即活動的先后執(zhí) 行順序，以及這種執(zhí)行順序產(chǎn)生的各種數(shù)值依賴。但是，發(fā)現(xiàn)，這些研究都忽視了資源在服 務(wù)模式中的作用。換句話說，這些服務(wù)模式的研究是沒有考慮資源的。然而，發(fā)現(xiàn)資源的 分配，則恰恰是服務(wù)流程設(shè)計中最為重要的要素之一。因此，一種資源感知的服務(wù)模式匹配 是對于服務(wù)流程設(shè)計的迫切的要求。
【發(fā)明內(nèi)容】
[0003] 針對上述技術(shù)問題，本發(fā)明提出一種資源感知的服務(wù)模式匹配方法。
[0004] 為了解決上述技術(shù)問題，本發(fā)明的技術(shù)方案如下：
[0005] -種資源感知的服務(wù)模式匹配方法，包括如下步驟：
[0006] 11)將服務(wù)模式轉(zhuǎn)化為依賴積的類型：所述服務(wù)模式用商業(yè)規(guī)則表示，所述商業(yè) 規(guī)則表示為一個帶有存在謂詞的一階邏輯即一階謂詞，將這個一階謂詞表達的商業(yè)規(guī)則轉(zhuǎn) 化為一個依賴積的類型，這種類型的定義如下：
[0007] Ψ ： = φ | Σ (χ ：Χ). Ψ (χ) I Π (χ ：Χ). ψ (χ) I ψ χ ψ I ψ + ψ
[0008] 其中：
[0009] Φ表示一個簡單的類型；
[0010] Σ (χ :Χ). Ψ (χ)表示對于任意一個χ，其類型是X，都有Ψ ;
[0011] π (χ :χ) · Ψ (X)表示存在一個X，其類型是X，都有Ψ ;
[0012] Ψ X Ψ表示兩個條件同時存在；
[0013] Ψ + Ψ表不兩個條件至少一個存在；
[0014] 12)將流程中的各個要素類型化：對于流程中的活動，資源，數(shù)據(jù)，參與者，關(guān)口和 事件都表示為各自類型的實例；
[0015] 13)利用類型論中"組合即證明"的思想，利用步驟12)得到的各個類型的實例，去 構(gòu)造步驟11)中的服務(wù)模式的依賴積的類型，如果構(gòu)造成功，則說明該服務(wù)流程匹配該服 務(wù)模式，反正則是不匹配。
[0016] 本發(fā)明的有益效果在于：與傳統(tǒng)服務(wù)模式匹配方法相比，考慮了服務(wù)流程中的資 源，提升了匹配的精準度。本發(fā)明利用"構(gòu)造及證明"的思路，完成對資源感知的服務(wù)流程 的服務(wù)模式匹配，這種方法有著嚴格的形式化證明的基礎(chǔ)，換言之，本方法的匹配結(jié)果一定 是絕對準確的。
【具體實施方式】
[0017] 下面將結(jié)合具體實施例對本發(fā)明做進一步的說明。
[0018] 為了解決資源感知的服務(wù)模式匹配的問題，首先將服務(wù)流程中的資源利用其操作 進行建模，資源操作包含四類：
[0019] 1)創(chuàng)造，活動創(chuàng)造出了這種資源的一個實例，比如汽車生產(chǎn)這個活動就會創(chuàng)造出 一個汽車的實例；
[0020] 2)使用，活動使用這種資源的實例，比如在公園散步這個活動就使用了公園這個 資源的實例（某個具體的公園），需要注意的是這種使用是不排他的，也就是說，你在使用 公園的時候，別人也是可以在公園進行別的活動的；
[0021] 3)排他使用，活動在持續(xù)期間，獨自占用使用資源的實例，并不允許其他的活動使 用，比如播放CD音樂活動就需要使用CD唱片這個資源的實例（某張唱片）；
[0022] 4)消耗，活動完全銷毀了資源的一個實例，比如用蠟燭照明這個活動就完全的消 耗了蠟燭。
[0023] 在加入了資源，以及資源操作的服務(wù)流程就是資源感知的服務(wù)流程。在資源感知 的服務(wù)流程的基礎(chǔ)上進行服務(wù)模式的匹配。包含以下幾個步驟：
[0024] 將服務(wù)模式類型化，服務(wù)模式可以有各種各樣的格式，而商業(yè)規(guī)則（Business Rule)是最常用的一種格式。在以下說明中，也以商業(yè)規(guī)則為例，如果不是商業(yè)規(guī)則描述，則 也可以轉(zhuǎn)化為商業(yè)規(guī)則的格式。在本步驟中，將商業(yè)規(guī)則格式的服務(wù)模式轉(zhuǎn)化為抽象的依 賴積類型。
[0025] 將資源感知的服務(wù)流程進行類型化，將服務(wù)流程中各種要素：活動、參與者、資源 等等都轉(zhuǎn)化為一組類型和實例的對（pair)。用構(gòu)造實例的方法來判斷服務(wù)模式與資源感知 的服務(wù)流程之間的匹配關(guān)系，利用了類型論中"構(gòu)造即證明"的思路，將證明"資源感知的服 務(wù)流程匹配服務(wù)模式"這個命題的證明通過構(gòu)造對應(yīng)的依賴積的類型的實例來實現(xiàn)。
[0026] 在步驟一中，服務(wù)模式需要轉(zhuǎn)化為依賴積的類型。通常而言，服務(wù)模式可以用商業(yè) 規(guī)則表示，一個完整的商業(yè)規(guī)則表示為一個帶有存在謂詞的一階邏輯。以生產(chǎn)模式為例，生 產(chǎn)模式指的是服務(wù)提供者生產(chǎn)了某個資源，并在接下來的銷售環(huán)節(jié)中，將這個資源賣給別 人，收入一定的錢。用一階謂詞表示就是：
[0027] "存在一個參與者p，存在一種資源r，存在兩個活動al和a2，al創(chuàng)造了 r的實例， a2消耗了 r的實例，產(chǎn)生了 Money的實例。"
[0028] 在步驟一中，要將這個一階謂詞表達的商業(yè)規(guī)則轉(zhuǎn)化為一個依賴積的類型。這種 類型的抽象定義如下：
[0029] Ψ ： = φ | Σ (χ ：Χ). Ψ (χ) I Π (χ ：Χ). ψ (χ) I ψ χ ψ I ψ + ψ
[0030] 其中：
[0031] Φ表示一個簡單的類型；
[0032] Σ (χ :Χ) · Ψ (χ)表示對于任意一個χ，其類型是X，都有Ψ ;
[0033] Π (χ :Χ). Ψ (χ)表示存在一個χ，其類型是X，都有Ψ ;
[0034] Ψ X Ψ表示兩個條件同時存在；
[0035] Ψ + Ψ表不兩個條件至少一個存在。
[0036] 例如在做轉(zhuǎn)化之前，提供一組已經(jīng)定義好了的商業(yè)規(guī)則類型：
[0037]
[0038]
[0039]
[0040]
[0041 ]
[0042]
[0043] 利用這組規(guī)則，可以將商業(yè)模式轉(zhuǎn)化為剛才定義的依賴積類型，剛才的生產(chǎn)模式 就是表不為：
[0044] Σ (a" a2:Activity) Σ (ν :Resource) Σ (ρ participant)
[0045] ΦA(chǔ)(ai Provider) X ΦA(chǔ)(a2 ρ)
[0046] X Φ AR (a2 v or (v)) X φ AR (a! v cr (Money))
[0047] X Φ AR (a! v or (Money)) X Φ AR (a! v cr (v))
[0048] 在步驟二中，需要將流程中的各個要素類型化，具體而言，對于流程中的活動，資 源，數(shù)據(jù)，參與者，關(guān)口和事件都表示為各自類型的實例。以生產(chǎn)汽車的流程為例，這個流程 中最重要的活動是生產(chǎn)，其類型化就是標注其類型是
[0049] Activity
[0050] Manufact ：Activty
[0051] 在步驟三中，利用類型論中"組合即證明"的思想。如果一個服務(wù)與一個服務(wù)模式 相匹配，等價于命題"此服務(wù)與此服務(wù)模式匹配"為真，如果此命題在該服務(wù)的上下文環(huán)境 中可以得證，則說明匹配成功，若失敗或者無法證實亦無法證偽則說明匹配失敗。而命題 的證明可以轉(zhuǎn)化為類型論中對應(yīng)的類型實例的組合問題，如果"此服務(wù)與此服務(wù)模式匹配" 這個命題對應(yīng)的類型可以被構(gòu)造出一個實例，則說明該命題成立，也就是說匹配成功，如果 構(gòu)造失敗或者構(gòu)造過程無法停機（即構(gòu)造過程陷入死循環(huán)），則說明匹配失敗。利用步驟二 得到的各個類型的實例，去構(gòu)造步驟一中的服務(wù)模式的依賴積的類型，如果構(gòu)造成功，則說 明該服務(wù)流程匹配該服務(wù)模式，反正則是不匹配。
[0052] 以上所述僅是本發(fā)明的優(yōu)選實施方式，應(yīng)當指出，對于本技術(shù)領(lǐng)域的普通技術(shù)人 員，在不脫離本發(fā)明構(gòu)思的前提下，還可以做出若干改進和潤飾，這些改進和潤飾也應(yīng)視為 本發(fā)明保護范圍內(nèi)。
【主權(quán)項】
1. 一種資源感知的服務(wù)模式匹配方法，其特征在于，包括如下步驟： 11) 將服務(wù)模式轉(zhuǎn)化為依賴積的類型：所述服務(wù)模式用商業(yè)規(guī)則表示，所述商業(yè)規(guī)則 表示為一個帶有存在謂詞的一階邏輯即一階謂詞，將這個一階謂詞表達的商業(yè)規(guī)則轉(zhuǎn)化為 一個依賴積的類型，這種類型的定義如下： Ψ ： = Φ | Σ (χ ：Χ). ψ (χ) I Π (x ：χ). Ψ (χ) I Ψ χ Ψ I ψ+ψ 其中： Φ表示一個簡單的類型； Σ (χ :Χ). Ψ (χ)表示對于任意一個χ，其類型是X，都有Ψ ; Π (χ :χ). Ψ (χ)表示存在一個χ，其類型是X，都有Ψ ; Ψ X Ψ表示兩個條件同時存在； Ψ+Ψ表不兩個條件至少一個存在； 12) 將流程中的各個要素類型化：對于流程中的活動，資源，數(shù)據(jù)，參與者，關(guān)口和事件 都表示為各自類型的實例； 13) 利用類型論中"組合即證明"的思想，利用步驟12)得到的各個類型的實例，去構(gòu)造 步驟11)中的服務(wù)模式的依賴積的類型，如果構(gòu)造成功，則說明該服務(wù)流程匹配該服務(wù)模 式，反正則是不匹配。
【文檔編號】G06Q10/06GK106033557SQ201510100950
【公開日】2016年10月19日
【申請日】2015年3月9日
【發(fā)明人】尹建偉, 羅智凌, 李瑩, 鄧水光, 吳健, 吳朝暉
【申請人】浙江大學(xué)