業(yè)務(wù)流程的形式化模型構(gòu)建方法與系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及計(jì)算機(jī)技術(shù)，特別是涉及一種業(yè)務(wù)流程的形式化模型構(gòu)建方法與系統(tǒng)。
【背景技術(shù)】
[0002]每個(gè)企業(yè)或組織都有自己的業(yè)務(wù)，每項(xiàng)業(yè)務(wù)都有它的操作流程，稱為業(yè)務(wù)流程或業(yè)務(wù)進(jìn)程(business process)。業(yè)務(wù)進(jìn)程由固有的若干操作或任務(wù)(task)組成。作為企業(yè)的業(yè)務(wù)，都要逐件處理。例如，保險(xiǎn)公司每天都要簽訂新保單，都要受理索賠。
[0003]進(jìn)行業(yè)務(wù)處理或者審批的過程，均是以流程形式進(jìn)行的。隨著信息技術(shù)的發(fā)展，這些流程也通過信息化處理實(shí)現(xiàn)了組織的日常運(yùn)作和管理。早期采取的信息化方式是采用程序硬編碼的方式對(duì)流程進(jìn)行描述和流轉(zhuǎn)。
[0004]隨著業(yè)務(wù)流程的復(fù)雜程度以及需求的不斷提高，傳統(tǒng)的程序硬編碼的方式無法滿足業(yè)務(wù)流程的構(gòu)建要求。針對(duì)以上問題，目前出現(xiàn)了大量有關(guān)工作流的研究。例如業(yè)務(wù)流程管理聯(lián)盟(Business Process Management Initiative，簡(jiǎn)稱BPMI)提出了業(yè)務(wù)流程建模標(biāo)注(Business Process Modeling Notat1n，簡(jiǎn)稱BPMN)，用于向業(yè)務(wù)分析員和設(shè)計(jì)員提供抽象層次的應(yīng)用，為組合服務(wù)建模提供統(tǒng)一的建模符號(hào)，使建模人員無需關(guān)心底層的實(shí)現(xiàn)細(xì)節(jié)。
[0005]然而，現(xiàn)有技術(shù)中的業(yè)務(wù)流程構(gòu)建仍然是一種全局的設(shè)置，需要流程的設(shè)計(jì)者通曉整個(gè)流程的需求以及運(yùn)轉(zhuǎn)細(xì)節(jié)才能進(jìn)行設(shè)置。而且雖然這種設(shè)置方法是面向業(yè)務(wù)人員的，但仍然需要業(yè)務(wù)人員了解一定的術(shù)語(yǔ)。不僅如此，容易出現(xiàn)因?yàn)樵O(shè)置的繁瑣導(dǎo)致設(shè)置出錯(cuò)，使得流程的暢通性(throughness)不能保證，導(dǎo)致流程中途擱淺或者產(chǎn)生遺留。

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

[0006]本發(fā)明的一個(gè)目的是要提供一種避免使用大量計(jì)算術(shù)語(yǔ)進(jìn)行業(yè)務(wù)流程構(gòu)建。
[0007]本發(fā)明的一個(gè)進(jìn)一步目的是要提供能夠生成保證暢通性的業(yè)務(wù)流程的形式化模型。
[0008]本發(fā)明的一個(gè)方面提供了一種業(yè)務(wù)流程的形式化模型構(gòu)建方法，該業(yè)務(wù)流程的形式化模型構(gòu)建方法包括:利用預(yù)設(shè)的多種同步模式構(gòu)建同步模塊，以利用同步模塊對(duì)外部輸入的任務(wù)集信息進(jìn)行辨別，確定出任務(wù)集之間對(duì)應(yīng)的同步模式，其中多種同步模式根據(jù)業(yè)務(wù)流程中任務(wù)間的依賴關(guān)系的類型抽象得出；構(gòu)建用于描述每種同步模式的同步關(guān)系，以按照同步模塊確定出的同步模式對(duì)應(yīng)的同步關(guān)系生成任務(wù)集對(duì)應(yīng)的執(zhí)行流程。
[0009]可選地，同步模式包括以下一項(xiàng)或多項(xiàng):傳遞模式，在上級(jí)任務(wù)集中的所有任務(wù)完成后，同時(shí)觸發(fā)下級(jí)任務(wù)集的所有任務(wù)；審批模式，根據(jù)上級(jí)任務(wù)集的審批結(jié)果進(jìn)入相應(yīng)的下級(jí)任務(wù)集；投票模式，根據(jù)上級(jí)任務(wù)集中各投票任務(wù)的投票結(jié)果進(jìn)入相應(yīng)的下級(jí)任務(wù)集；以及條件模式，將上級(jí)任務(wù)集的任務(wù)執(zhí)行結(jié)果與預(yù)設(shè)的判定條件進(jìn)行匹配，以確定并進(jìn)入任務(wù)執(zhí)行結(jié)果對(duì)應(yīng)的下級(jí)任務(wù)集。
[0010]可選地，任務(wù)集中包括至少一個(gè)任務(wù)，并且任務(wù)由一個(gè)或多個(gè)子任務(wù)通過同步模塊確定的子任務(wù)之間的同步關(guān)系構(gòu)建。
[0011]可選地，在利用同步模塊對(duì)外部輸入的任務(wù)集信息進(jìn)行辨別的步驟之前還包括:獲取以自然語(yǔ)言輸入的所述任務(wù)集信息。
[0012]可選地，任務(wù)集信息包括以列表形式輸入的任務(wù)集中各任務(wù)的執(zhí)行主體和任務(wù)內(nèi)容。
[0013]根據(jù)本發(fā)明的另一個(gè)方面，還提供了一種業(yè)務(wù)流程的形式化模型構(gòu)建系統(tǒng)。該業(yè)務(wù)流程的形式化模型構(gòu)建系統(tǒng)包括:同步模塊構(gòu)建裝置，配置成:利用預(yù)設(shè)的多種同步模式構(gòu)建同步模塊，以利用同步模塊對(duì)外部輸入的任務(wù)集信息進(jìn)行辨別，確定出任務(wù)集之間對(duì)應(yīng)的同步模式，其中多種同步模式根據(jù)業(yè)務(wù)流程中任務(wù)間的依賴關(guān)系的類型抽象得出；同步關(guān)系構(gòu)建裝置，配置成:構(gòu)建用于描述每種同步模式的同步關(guān)系，以按照同步模塊確定出的同步模式對(duì)應(yīng)的同步關(guān)系生成任務(wù)集對(duì)應(yīng)的執(zhí)行流程。
[0014]可選地，同步模塊包括:模式辨別器，配置成根據(jù)任務(wù)集信息對(duì)任務(wù)集間的關(guān)聯(lián)關(guān)系進(jìn)行模式判斷，確定出任務(wù)集間的同步模式；模式轉(zhuǎn)換器，配置成模式辨別器確定的同步模式轉(zhuǎn)換為任務(wù)集間的同步關(guān)系。
[0015]可選地，同步模式包括以下一項(xiàng)或多項(xiàng):傳遞模式，在上級(jí)任務(wù)集中的所有任務(wù)完成后，同時(shí)觸發(fā)下級(jí)任務(wù)集的所有任務(wù)；審批模式，根據(jù)上級(jí)任務(wù)集的審批結(jié)果進(jìn)入相應(yīng)的下級(jí)任務(wù)集；投票模式，根據(jù)上級(jí)任務(wù)集中各投票任務(wù)的投票結(jié)果進(jìn)入相應(yīng)的下級(jí)任務(wù)集；以及條件模式，將上級(jí)任務(wù)集的任務(wù)執(zhí)行結(jié)果與預(yù)設(shè)的判定條件進(jìn)行匹配，以確定并進(jìn)入任務(wù)執(zhí)行結(jié)果對(duì)應(yīng)的下級(jí)任務(wù)集。
[0016]可選地，形式化模型還包括:輸入模塊，配置成獲取以自然語(yǔ)言輸入的任務(wù)集信息，并且任務(wù)集信息包括以列表形式輸入的任務(wù)集中各任務(wù)的執(zhí)行主體和任務(wù)內(nèi)容。
[0017]可選地，任務(wù)集中包括至少一個(gè)任務(wù)，并且任務(wù)由一個(gè)或多個(gè)子任務(wù)通過所述同步豐吳塊確定的子任務(wù)之間的同步關(guān)系構(gòu)建。
[0018]本發(fā)明的業(yè)務(wù)流程的形式化模型構(gòu)建方法與系統(tǒng)，通過對(duì)業(yè)務(wù)流程中任務(wù)集之間的關(guān)系進(jìn)行抽象處理，總結(jié)出了可以描述各種任務(wù)集之間關(guān)系的多種同步模式。同步模式區(qū)別于現(xiàn)有技術(shù)中的搭建業(yè)務(wù)流程的通用模塊，而是用于辨別任務(wù)間的依賴關(guān)系，通過同步模塊辨別出外部輸入的任務(wù)集信息中任務(wù)之間的同步關(guān)系，保證利用本發(fā)明構(gòu)建方法和構(gòu)建系統(tǒng)生成的形式化模型生成的業(yè)務(wù)流程中任務(wù)之間的暢通性，以保證整個(gè)業(yè)務(wù)流程的暢通性。
[0019]利用本發(fā)明的業(yè)務(wù)流程的形式化模型構(gòu)建方法與系統(tǒng)，構(gòu)建的模型生成的業(yè)務(wù)流程，任務(wù)由一個(gè)或多個(gè)子任務(wù)通過同步模塊確定的子任務(wù)之間的同步關(guān)系構(gòu)建，也就是可以利用同步模式循環(huán)嵌套的過程實(shí)現(xiàn)業(yè)務(wù)流程的生成。
[0020]更進(jìn)一步地，本發(fā)明的業(yè)務(wù)流程的形式化模型構(gòu)建方法與系統(tǒng)，構(gòu)建的模型在進(jìn)行業(yè)務(wù)流程生成過程中，可以對(duì)接收以自然語(yǔ)言輸入的任務(wù)集信息，自動(dòng)辨別出同步關(guān)系，在此過程中無需使用大量的計(jì)算機(jī)術(shù)語(yǔ)，方便操作人員根據(jù)其要實(shí)現(xiàn)的業(yè)務(wù)流程進(jìn)行設(shè)置，屏蔽了現(xiàn)有技術(shù)中流程設(shè)置中需要的信息技術(shù)術(shù)語(yǔ)，簡(jiǎn)化了操作人員的設(shè)置過程。并可以實(shí)現(xiàn)任務(wù)集的并行設(shè)置。
[0021]本發(fā)明的業(yè)務(wù)流程的形式化模型構(gòu)建方法與系統(tǒng)，首次提出了業(yè)務(wù)流程的同步模式，將任務(wù)集之間的關(guān)系抽象為傳遞模式、審批模式、投票模式、以及條件模式四種，涵蓋了業(yè)務(wù)流程的各種執(zhí)行過程，滿足了業(yè)務(wù)流程中各種需求。
[0022]根據(jù)下文結(jié)合附圖對(duì)本發(fā)明具體實(shí)施例的詳細(xì)描述，本領(lǐng)域技術(shù)人員將會(huì)更加明了本發(fā)明的上述以及其他目的、優(yōu)點(diǎn)和特征。
【附圖說明】
[0023]后文將參照附圖以示例性而非限制性的方式詳細(xì)描述本發(fā)明的一些具體實(shí)施例。附圖中相同的附圖標(biāo)記標(biāo)示了相同或類似的部件或部分。本領(lǐng)域技術(shù)人員應(yīng)該理解，這些附圖未必是按比例繪制的。附圖中:
[0024]圖1是根據(jù)本發(fā)明的一個(gè)實(shí)施例的業(yè)務(wù)流程的形式化模型構(gòu)建方法中流程的依賴關(guān)系的不意圖；
[0025]圖2是根據(jù)本發(fā)明的一個(gè)實(shí)施例的業(yè)務(wù)流程的形式化模型構(gòu)建方法中以petri網(wǎng)不