用于檢測(cè)事件日志和過(guò)程模型之間的區(qū)別的方法和裝置的制造方法
【技術(shù)領(lǐng)域】
[0001] 本發(fā)明的各實(shí)施方式涉及數(shù)據(jù)處理，更具體地，涉及用于檢測(cè)事件日志（event log)和過(guò)程模型（process model)之間的區(qū)別（deviation)的方法和裝置。
【背景技術(shù)】
[0002] 隨著計(jì)算機(jī)硬件和軟件技術(shù)的發(fā)展，計(jì)算機(jī)輔助系統(tǒng)已經(jīng)能夠針對(duì)人們生活的各 個(gè)方面提供管理和支持。例如，計(jì)算機(jī)輔助軟件已經(jīng)進(jìn)入到諸如生產(chǎn)管理、辦公自動(dòng)化等越 來(lái)越多的領(lǐng)域。多種領(lǐng)域中可以存在自定義的規(guī)范，目前已經(jīng)開(kāi)發(fā)出了以過(guò)程模型來(lái)描述 規(guī)范，并基于該過(guò)程模型來(lái)管理和控制諸如生產(chǎn)管理等事務(wù)的流程的技術(shù)方案。在這些技 術(shù)方案中，可以利用過(guò)程模型來(lái)描述流程中的各個(gè)階段之間關(guān)系，并基于該過(guò)程模型來(lái)監(jiān) 視實(shí)際運(yùn)行流程中的各個(gè)事件序列是否符合預(yù)定義的過(guò)程。
[0003] 在各種規(guī)范中還可以存在階段之間的額外的時(shí)間約束關(guān)系，例如，只有執(zhí)行階段1 之后才能執(zhí)行階段2,等等。然而，目前的解決方案并不能檢查各個(gè)事件日志中的事件序列 是否滿(mǎn)足階段之間的時(shí)間約束關(guān)系。
[0004] 另一方面，由于在不同階段中可能會(huì)執(zhí)行相同的活動(dòng)（activity)。假設(shè)在治療糖 尿病的過(guò)程期間，在不同的治療階段中有可能都會(huì)檢驗(yàn)糖化血紅蛋白HbAlc，現(xiàn)有的解決方 案并不能區(qū)分檢驗(yàn)HbAlc屬于哪個(gè)階段，因而在驗(yàn)證事件序列是否符合醫(yī)療規(guī)范期間可能 會(huì)出現(xiàn)錯(cuò)誤。因而，如何以更加準(zhǔn)確、有效的方式來(lái)檢測(cè)事件日志和過(guò)程模型之間的區(qū)別， 已經(jīng)成為一個(gè)關(guān)注的焦點(diǎn)。

【發(fā)明內(nèi)容】

[0005] 因而，期望能夠開(kāi)發(fā)出一種檢測(cè)事件日志和過(guò)程模型之間的區(qū)別的技術(shù)方案，期 望該技術(shù)方案能夠處理過(guò)程模型中的附加的約束關(guān)系，并且還期望該技術(shù)方案能夠明確地 區(qū)分事件序列中的各個(gè)事件與過(guò)程模型中的各個(gè)階段中的活動(dòng)之間的對(duì)應(yīng)關(guān)系，以便進(jìn)一 步提高驗(yàn)證過(guò)程的準(zhǔn)確性。
[0006] 根據(jù)本發(fā)明的一個(gè)方面，提供了一種用于檢測(cè)事件日志和過(guò)程模型之間的區(qū)別 的方法，包括：將過(guò)程模型轉(zhuǎn)換為概率過(guò)程模型，概率過(guò)程模型包括多個(gè)層級(jí)中的多個(gè) 節(jié)點(diǎn)以及與多個(gè)節(jié)點(diǎn)相關(guān)聯(lián)的概率分布，多個(gè)節(jié)點(diǎn)中的葉節(jié)點(diǎn)對(duì)應(yīng)于過(guò)程模型中的活 動(dòng)；按照對(duì)應(yīng)關(guān)系檢測(cè)事件日志中包括的至少一個(gè)事件序列與概率過(guò)程模型之間的差異 (difference);以及響應(yīng)于差異超過(guò)預(yù)定閾值，將差異標(biāo)識(shí)為區(qū)別，其中所述對(duì)應(yīng)關(guān)系描述 所述至少一個(gè)事件序列中的一個(gè)事件序列中的事件與所述概率過(guò)程模型中的葉節(jié)點(diǎn)之間 的對(duì)應(yīng)關(guān)系。
[0007] 根據(jù)本發(fā)明的一個(gè)方面，按照對(duì)應(yīng)關(guān)系檢測(cè)事件日志中包括的至少一個(gè)事件序列 與概率過(guò)程模型之間的差異包括：針對(duì)至少一個(gè)事件序列中的當(dāng)前事件序列，基于概率分 布將當(dāng)前事件序列中的每個(gè)事件與概率過(guò)程模型中的葉節(jié)點(diǎn)對(duì)準(zhǔn)；記錄與每個(gè)事件對(duì)準(zhǔn)的 葉節(jié)點(diǎn)在概率過(guò)程模型中的路徑，以將當(dāng)前事件序列轉(zhuǎn)變?yōu)槁窂叫蛄?；以及基于概率過(guò)程 模型和路徑序列以確定差異。
[0008] 根據(jù)本發(fā)明的一個(gè)方面，提供了 一種用于檢測(cè)事件日志和過(guò)程模型之間的區(qū)別的 裝置，包括：轉(zhuǎn)換模塊，配置用于將過(guò)程模型轉(zhuǎn)換為概率過(guò)程模型，概率過(guò)程模型包括多個(gè) 層級(jí)中的多個(gè)節(jié)點(diǎn)以及與多個(gè)節(jié)點(diǎn)相關(guān)聯(lián)的概率分布，多個(gè)節(jié)點(diǎn)中的葉節(jié)點(diǎn)對(duì)應(yīng)于過(guò)程模 型中的活動(dòng)；檢測(cè)模塊，配置用于按照對(duì)應(yīng)關(guān)系檢測(cè)事件日志中包括的至少一個(gè)事件序列 與概率過(guò)程模型之間的差異；以及標(biāo)識(shí)模塊，配置用于響應(yīng)于差異超過(guò)預(yù)定閾值，將差異標(biāo) 識(shí)為區(qū)別，其中所述對(duì)應(yīng)關(guān)系描述所述至少一個(gè)事件序列中的一個(gè)事件序列中的事件與所 述概率過(guò)程模型中的葉節(jié)點(diǎn)之間的對(duì)應(yīng)關(guān)系。
[0009] 根據(jù)本發(fā)明的一個(gè)方面，檢測(cè)模塊包括：對(duì)準(zhǔn)模塊，配置用于針對(duì)至少一個(gè)事件序 列中的當(dāng)前事件序列，基于概率分布將當(dāng)前事件序列中的每個(gè)事件與概率過(guò)程模型中的葉 節(jié)點(diǎn)對(duì)準(zhǔn)；路徑生成模塊，配置用于記錄與每個(gè)事件對(duì)準(zhǔn)的葉節(jié)點(diǎn)在概率過(guò)程模型中的路 徑，以將當(dāng)前事件序列轉(zhuǎn)變?yōu)槁窂叫蛄?；以及確定模塊，配置用于基于概率過(guò)程模型和路徑 序列以確定差異。
[0010] 根據(jù)本發(fā)明的一個(gè)方面，提供了一種用于更新過(guò)程模型的方法，包括：基于根據(jù)上 文所述的方法，檢測(cè)事件日志和過(guò)程模型之間的區(qū)別；以及基于區(qū)別來(lái)更新過(guò)程模型。
[0011] 根據(jù)本發(fā)明的一個(gè)方面，提供了一種用于更新過(guò)程模型的裝置，包括：根據(jù)上文所 述的裝置，配置用于檢測(cè)事件日志和過(guò)程模型之間的區(qū)別；以及更新模塊，配置用于基于區(qū) 別來(lái)更新過(guò)程模型。
[0012] 采用本發(fā)明所述的方法和裝置，可以在盡量不改變現(xiàn)有技術(shù)方案的前提下，以更 加準(zhǔn)確、有效的方式來(lái)檢測(cè)事件日志和過(guò)程模型之間的區(qū)別。此外，還可以隨著時(shí)間的推 移，基于所檢測(cè)到的區(qū)別來(lái)更新過(guò)時(shí)的過(guò)程模型。
【附圖說(shuō)明】
[0013] 通過(guò)結(jié)合附圖對(duì)本公開(kāi)示例性實(shí)施方式進(jìn)行更詳細(xì)的描述，本公開(kāi)的上述以及其 他目的、特征和優(yōu)勢(shì)將變得更加明顯，其中，在本公開(kāi)示例性實(shí)施方式中，相同的參考標(biāo)號(hào) 通常代表相同部件。
[0014] 圖1示出了適于用來(lái)實(shí)現(xiàn)本發(fā)明實(shí)施方式的示例性移動(dòng)設(shè)備12的框圖；
[0015] 圖2示意性示出了過(guò)程模型的框圖；
[0016] 圖3示意性示出了根據(jù)本發(fā)明一個(gè)實(shí)施方式的用于檢測(cè)事件日志和過(guò)程模型之 間的區(qū)別的方法的流程圖；
[0017] 圖4示意性示出了根據(jù)本發(fā)明一個(gè)實(shí)施方式的概率過(guò)程模型的框圖；
[0018] 圖5A-圖5C示意性示出了根據(jù)本發(fā)明一個(gè)實(shí)施方式的構(gòu)造符合所述概率過(guò)程模 型中的約束關(guān)系的自動(dòng)機(jī)的過(guò)程的示意圖；
[0019] 圖6A-圖6C示意性示出了根據(jù)本發(fā)明一個(gè)實(shí)施方式的利用自動(dòng)機(jī)來(lái)檢測(cè)事件序 列是否符合約束關(guān)系的示意圖；以及
[0020] 圖7示意性示出了根據(jù)本發(fā)明一個(gè)實(shí)施方式的用于檢測(cè)事件日志和過(guò)程模型之 間的區(qū)別的裝置的框圖。
【具體實(shí)施方式】
[0021] 下面將參照附圖更詳細(xì)地描述本公開(kāi)的優(yōu)選實(shí)施方式。雖然附圖中顯示了本公開(kāi) 的優(yōu)選實(shí)施方式，然而應(yīng)該理解，可以以各種形式實(shí)現(xiàn)本公開(kāi)而不應(yīng)被這里闡述的實(shí)施方 式所限制。相反，提供這些實(shí)施方式是為了使本公開(kāi)更加透徹和完整，并且能夠?qū)⒈竟_(kāi)的 范圍完整地傳達(dá)給本領(lǐng)域的技術(shù)人員。
[0022] 所屬技術(shù)領(lǐng)域的技術(shù)人員知道，本發(fā)明可以實(shí)現(xiàn)為系統(tǒng)、方法或計(jì)算機(jī)程序產(chǎn)品。 因此，本公開(kāi)可以具體實(shí)現(xiàn)為以下形式，即：可以是完全的硬件、也可以是完全的軟件(包括 固件、駐留軟件、微代碼等)，還可以是硬件和軟件結(jié)合的形式，本文一般稱(chēng)為"電路"、"模 塊"或"系統(tǒng)"。此外，在一些實(shí)施方式中，本發(fā)明還可以實(shí)現(xiàn)為在一個(gè)或多個(gè)計(jì)算機(jī)可讀介 質(zhì)中的計(jì)算機(jī)程序產(chǎn)品的形式，該計(jì)算機(jī)可讀介質(zhì)中包含計(jì)算機(jī)可讀的程序代碼。
[0023] 可以采用一個(gè)或多個(gè)計(jì)算機(jī)可讀的介質(zhì)的任意組合。計(jì)算機(jī)可讀介質(zhì)可以是計(jì) 算機(jī)可讀信號(hào)介質(zhì)或者計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)。計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)例如可以是--但不限 于--電、磁、光、電磁、紅外線(xiàn)、或半導(dǎo)體的系統(tǒng)、裝置或器件，或者任意以上的組合。計(jì)算 機(jī)可讀存儲(chǔ)介質(zhì)的更具體的例子(非窮舉的列表）包括：具有一個(gè)或多個(gè)導(dǎo)線(xiàn)的電連接、便 攜式計(jì)算機(jī)磁盤(pán)、硬盤(pán)、隨機(jī)存取存儲(chǔ)器（RAM)、只讀存儲(chǔ)器（ROM)、可擦式可編程只讀存儲(chǔ) 器（EPROM或閃存)、光纖、便攜式緊湊磁盤(pán)只讀存儲(chǔ)器（CD-ROM)、光存儲(chǔ)器件、磁存儲(chǔ)器件、 或者上述的任意合適的組合。在本文件中，計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)可以是任何包含或存儲(chǔ)程 序的有形介質(zhì)，該程序可以被指令執(zhí)行系統(tǒng)、裝置或者器件使用或者與其結(jié)合使用。
[0024] 計(jì)算機(jī)可讀的信號(hào)介質(zhì)可以包括在基帶中或者作為載波一部分傳播的數(shù)據(jù)信號(hào)， 其中承載了計(jì)算機(jī)可讀的程序代碼。這種傳播的數(shù)據(jù)信號(hào)可以采用多種形式，包括--但 不限于--電磁信號(hào)、光信號(hào)或上述的任意合適的組合。計(jì)算機(jī)可讀的信號(hào)介質(zhì)還可以是 計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)以外的任何計(jì)算機(jī)可讀介質(zhì)，該計(jì)算機(jī)可讀介質(zhì)可以發(fā)送、傳播或者 傳輸用于由指令執(zhí)行系統(tǒng)、裝置或者器件使用或者與其結(jié)合使用的程序。
[0025] 計(jì)算機(jī)可讀介質(zhì)上包含的程序代碼可以用任何適當(dāng)?shù)慕橘|(zhì)傳輸，包括--但不限 于--無(wú)線(xiàn)、電線(xiàn)、光纜、RF等等，或者上述的任意合適的組合。
[0026] 可以以一種或多種程序設(shè)計(jì)語(yǔ)言或其組合來(lái)編寫(xiě)用于執(zhí)行本發(fā)明操作的計(jì)算機(jī) 程序代碼，所述程序設(shè)計(jì)語(yǔ)言包括面向?qū)ο蟮某绦蛟O(shè)計(jì)語(yǔ)言一諸如Java、Smalltalk、C++， 還包括常規(guī)的過(guò)程式程序設(shè)計(jì)語(yǔ)言一諸如"C"語(yǔ)言或類(lèi)似的程序設(shè)計(jì)語(yǔ)言。程序代碼可以 完全地在用戶(hù)計(jì)算機(jī)上執(zhí)行、部分地在用戶(hù)計(jì)算機(jī)上執(zhí)行、作為一個(gè)獨(dú)立的軟件包執(zhí)行、部 分在用戶(hù)計(jì)算機(jī)上部分在遠(yuǎn)程計(jì)算機(jī)上執(zhí)行、或者完全在遠(yuǎn)程計(jì)算機(jī)或服務(wù)器上執(zhí)行。在 涉及遠(yuǎn)程計(jì)算機(jī)的情形中，遠(yuǎn)程計(jì)算機(jī)可以通過(guò)任意種類(lèi)的網(wǎng)絡(luò)--包括局域網(wǎng)（LAN)或 廣域網(wǎng)（WAN) -連接到用戶(hù)計(jì)算機(jī)，或者，可以連接到外部計(jì)算機(jī)(例如利用因特網(wǎng)服務(wù)提 供商來(lái)通過(guò)因特網(wǎng)連接)。