冉梅梅,王曉華,2,楊 敏,侯麗娟

1(貴州大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,貴陽 550025)

2(遵義醫(yī)學(xué)院附屬醫(yī)院 信息科,遵義 563003)

3(遵義醫(yī)學(xué)院 醫(yī)學(xué)信息工程學(xué)院,遵義 563003)

4(沙子坡中學(xué) 教務(wù)處,銅仁 555202)

工作流建模一直是工作流研究領(lǐng)域熱點(diǎn)方向之一.對(duì)工作流的研究,有以活動(dòng)為中心研究工作流的資源管理與配置、動(dòng)態(tài)變更與實(shí)例遷移以及工作流的路徑求取算法等;也有因?yàn)橐曰顒?dòng)為中心缺乏組織人員和角色的重視而提出以角色為中心基于其它建模工具對(duì)工作流進(jìn)行建模.迄今為止,基于Petri Nets、Agent、UML等建模工具產(chǎn)生了許多工作流模型.其中,西安交通大學(xué)的李宗斌、高新勤等人在文獻(xiàn)[1,2]提出了工作流的的動(dòng)態(tài)變更和實(shí)例遷移模型以及工作流區(qū)域識(shí)別算法與排序規(guī)則,并指出動(dòng)態(tài)變更主要是對(duì)工作流模型結(jié)構(gòu)的添加/刪除、結(jié)構(gòu)轉(zhuǎn)換和結(jié)構(gòu)的組合,他們?cè)谖墨I(xiàn)[3]中通過多色集合理論建立相關(guān)的圍道矩陣對(duì)工作流建模并給出了工作流路徑求取算法,并在文獻(xiàn)[4,5]中運(yùn)用提出的離析運(yùn)算為工作流過程推理和配置資源,實(shí)現(xiàn)工作流過程與工作流資源的集成,其中還對(duì)多色圖的邊進(jìn)行了擴(kuò)展,將邊分為連接、與分、或分、與合、或合.北京航空航天大學(xué)軟件工程研究院的徐亮、張莉等人在文獻(xiàn)[6]通過擴(kuò)展UML針對(duì)實(shí)時(shí)系統(tǒng)建立了實(shí)時(shí)工作流元模型,主要考慮了工作流中的時(shí)間約束和異常處理,對(duì)活動(dòng)屬性擴(kuò)展了啟動(dòng)、執(zhí)行時(shí)間與并發(fā)時(shí)間約束,最后還定義了實(shí)時(shí)工作流描述語言.同濟(jì)大學(xué)的楊書新等人在文獻(xiàn)[7]中提出了業(yè)務(wù)流程動(dòng)態(tài)變更模型與業(yè)務(wù)過程實(shí)例動(dòng)態(tài)遷移算法,其目的是解決工作流管理系統(tǒng)中流程柔性演進(jìn)變化問題.南京大學(xué)的葛季棟等在文獻(xiàn)[8]中用Petri Nets對(duì)工作流進(jìn)行了分解并提出了面向交互的Petri Nets模型來對(duì)跨組織的工作流協(xié)同進(jìn)行描述.復(fù)旦大學(xué)的趙靜、趙衛(wèi)東等人在文獻(xiàn)[9,10]中基于角色的視角對(duì)工作流進(jìn)行了研究,它們將提出了工作流日志挖掘與流程分解結(jié)合的角色識(shí)別算法,最終生成與業(yè)務(wù)流程相關(guān)的角色樹,他們?cè)谖墨I(xiàn)[11]中還利用agent技術(shù)基于角色對(duì)工作流進(jìn)行建模形成了一種面向角色的工作流多agent管理系統(tǒng)模型與原型.以上這些研究構(gòu)建的工作流模型體現(xiàn)出了活動(dòng)間的邏輯關(guān)系,缺乏活動(dòng)間交互時(shí)涉及的資源等性質(zhì).

以活動(dòng)為中心對(duì)工作流交互過程進(jìn)行建模,不僅需要考慮活動(dòng)及其邏輯關(guān)系,還需要考慮活動(dòng)交互間消息的發(fā)送與接收以及相關(guān)資源的交互.多色集合理論是在傳統(tǒng)集合的基礎(chǔ)上與模糊數(shù)學(xué)、數(shù)理邏輯等知識(shí)相結(jié)合形成的.由于多色集合理論中對(duì)象的集合與元素都能被涂上不同的顏色來表示對(duì)象的性質(zhì),用該理論研究工作流的交互過程較易描述工作流中活動(dòng)的靜態(tài)屬性與動(dòng)態(tài)行為,并且通過本文提出的連接運(yùn)算能夠描述活動(dòng)間交互涉及的消息與資源,由矩陣與相關(guān)的規(guī)則構(gòu)成工作流過程交互多色圖模型,使活動(dòng)與交互的消息和資源進(jìn)行良好的整合.

課題組前期在研究系統(tǒng)交互的過程中對(duì)多色集合理論進(jìn)行了擴(kuò)展,為便于描述系統(tǒng)的動(dòng)態(tài)行為,因此提出了圍道分割的思想,將對(duì)象的整體性質(zhì)F(A)分割成靜態(tài)屬性FS(A)與動(dòng)態(tài)行為FD(A),F(A)=FS(A)∪FD(A).并提出了單元素多色集合,其中的對(duì)象集合A僅包含了一個(gè)元素,那么對(duì)象的個(gè)人顏色就與對(duì)象的整體著色相同,并在此基礎(chǔ)上提出了實(shí)體聚合運(yùn)算與功能聚合運(yùn)算.為了用圍道矩陣描述活動(dòng)的交互關(guān)系,在矩陣中使用0、1、-1、2、-2分別表示活動(dòng)間的順序、并分、或分、并合、或合關(guān)系.

本文基于多色集合理論對(duì)工作流過程中活動(dòng)的交互進(jìn)行研究,有助于工作流整體建模.首先提出單元素二元組多色集合與多元素二元組多色集合;其次為了能夠完整地描述一個(gè)對(duì)象的靜態(tài)性質(zhì)與動(dòng)態(tài)行為,對(duì)普通的圍道布爾矩陣進(jìn)行了擴(kuò)展,使圍道的邊不再局限于單個(gè)的元素而是由多元組構(gòu)成,并對(duì)多色圖中的節(jié)點(diǎn)進(jìn)行了區(qū)域的劃分;最后,對(duì)工作流交互過程的步驟進(jìn)行分析,用HIS與RIS間的交互為例驗(yàn)證.

1 基本理論

1.1 多色集合理論

多色集合理論是在傳統(tǒng)集合的基礎(chǔ)上與模糊數(shù)學(xué)、數(shù)理邏輯以及矩陣相關(guān)知識(shí)結(jié)合而成的,它的特點(diǎn)是使用相同的數(shù)學(xué)模型來仿真不同的對(duì)象[12],由多色集合與多色圖兩部分構(gòu)成.

1.1.1 多色集合[13]

多色集合是在傳統(tǒng)集合基礎(chǔ)上對(duì)集合的整體及其元素進(jìn)行著色,用以表示對(duì)象的性質(zhì)、屬性、參數(shù)等特性以及對(duì)象與元素、元素與元素之間的關(guān)系.如果集合中存在著多個(gè)元素,f(ai)表示元素ai∈A的個(gè)人顏色,F(A)表示對(duì)象A的整體著色,F(A)={F1(A),F2(A),…,Fj(A),…,Fp(A)},統(tǒng)一的顏色布爾矢量空間F包含了集合的整體著色F(A)和元素ai的個(gè)人著色f(ai),即F?F(A);F?F(ai),i=1,2,···,n.集合A與集合A的統(tǒng)一著色F(A)構(gòu)成的布爾矩陣如公式(1)所示[14].

多色集合的表達(dá)式為公式(2)[15].

若集合中只有一個(gè)元素,那么f(a)=F(A),其多色集合的表達(dá)式為公式(3).

被稱為單元素多色集合.并且還提出了單元素多色集合的析取與合取運(yùn)算.使得在描述單個(gè)元素時(shí)模型更加的簡(jiǎn)化[16].

1.1.2 多色圖[17]

多色圖是在普通圖G=(V,E)上對(duì)其邊與節(jié)點(diǎn)進(jìn)行著色,并且多色圖的邊與節(jié)點(diǎn)都是由多色集合構(gòu)成,豐富了多色圖的表達(dá)能力.PG=(F(G),PSA,PSC),其中F(G)是圖的整體著色,PSA是節(jié)點(diǎn)的多色集合,PSC是邊的多色集合.如果節(jié)點(diǎn)和邊均有顏色,那么F(G)=F(A)∪F(C);如果節(jié)點(diǎn)無顏色,那么F(G)=F(C);反之F(G)=F(A).在某些特殊情況下,節(jié)點(diǎn)與邊均無顏色,那么多色圖就退變?yōu)槠胀▓D,因此,普通圖也是特殊的多色圖.

1.1.3 二元組多色集合

為更好地描述交互對(duì)象,提出二元組多色集合,對(duì)象間只要存在著交互行為,必有一方是調(diào)用方,一方是響應(yīng)方.將對(duì)象、個(gè)人顏色、整體著色都分割成二元組的形式,A=,F(A)=,其中,AI表示對(duì)象的調(diào)用方,AP表示對(duì)象的響應(yīng)方,FI(A)表示對(duì)象調(diào)用方的整體性質(zhì),FP(A)表示響應(yīng)方的特性.多色集合中分割后的元素之間可能存在著某些聯(lián)系,例如,對(duì)象aI可能會(huì)調(diào)用對(duì)象bp,形成調(diào)用-響應(yīng)布爾矩陣[AI×AP]等.

當(dāng)集合A中包含多個(gè)元素時(shí),此時(shí)元素的整體著色就會(huì)與個(gè)人著色有區(qū)別,會(huì)產(chǎn)生冗余的性質(zhì),因此可以將典型的多色集合分割,形成多元素二元組多色集合(Mult-elements Binary Polychromatic Sets,MBPS),見公式(4).

如果A中只有一個(gè)元素,那么F(A)=F(a),多元素二元組多色集合可以簡(jiǎn)縮,稱其為單元素二元組多色集合(Single Binary Polychromatic Sets,SBPS),其表達(dá)式為公式(5).

可以根據(jù)實(shí)際情況對(duì)成分進(jìn)行增加或刪除.

1.1.4K元組圍道矩陣

用典型的圍道矩陣描述對(duì)象的性質(zhì)時(shí),圍道的邊都是對(duì)象的單個(gè)特征,當(dāng)一個(gè)對(duì)象存在著多個(gè)靜態(tài)屬性與動(dòng)態(tài)行為時(shí),就會(huì)加大矩陣規(guī)模.因此在圍道矩陣中引入元組,用元組將對(duì)象的靜態(tài)屬性與動(dòng)態(tài)行為進(jìn)行組合,一方面可以減小矩陣的規(guī)模,另外通過擴(kuò)展的矩陣能夠清楚地了解到對(duì)象的整體性質(zhì).

在K元組圍道矩陣中,矩陣的邊是單個(gè)元素或多元組與多元組構(gòu)成,矩陣的值也不再是單個(gè)的布爾值,也是由K元組組成,并且K元組中的值是由0,1組成,便于矩陣之間進(jìn)行運(yùn)算.其形式為公式(6).

(1)析取計(jì)算

K元組矩陣的析取運(yùn)算由原來布爾圍道矩陣中單個(gè)元素的析取轉(zhuǎn)換為元組與元組之間的析取運(yùn)算.如果圍道表示功能元組,那么元素的析取就能表示總體功能,具體運(yùn)算如公式(7).

元素a1與a2具有,,,的性質(zhì).

(2)合取運(yùn)算

ai∧aj表示ai,aj具有的共同性質(zhì),當(dāng)元組中兩個(gè)值同為1時(shí),結(jié)果才為1,否則為0.在工作流活動(dòng)的交互過程中,將每個(gè)活動(dòng)擁有資源、方法用圍道布爾矩陣表示后,對(duì)它們進(jìn)行合取運(yùn)算,可得出兩個(gè)或多個(gè)活動(dòng)間擁有的相同資源、方法等.在信息安全方面,通過該運(yùn)算可表示兩個(gè)角色擁有的共同權(quán)限,數(shù)據(jù)等.

(3)順序連接運(yùn)算

如果兩個(gè)圍道布爾矩陣,[A×F(A)]是i×j的單元素或多元組矩陣,[A×F(B)]也是i×j的單元素或多元組矩陣,F(A),F(B)是單元素或K元組,將F(B的圍道和值分別與[A×F(A)]中的圍道與值連接后構(gòu)成二元組或2K元組,如公式(8)所示.具體矩陣運(yùn)算如公式(9)所示.

(4)自由連接運(yùn)算

在實(shí)際運(yùn)算的過程中,存在著兩個(gè)矩陣的行數(shù)與列數(shù)不相等,此時(shí),順序連接運(yùn)算不適用于該種情況.

兩個(gè)矩陣[A×F(A)]與[B×F(B)]的行對(duì)應(yīng)的運(yùn)算對(duì)象不相同并且行數(shù)也不同時(shí),可以將其中一個(gè)矩陣的行對(duì)象移入另一個(gè)矩陣中,并且列上標(biāo)是兩個(gè)矩陣的對(duì)應(yīng)列組合而成,其值也是兩個(gè)矩陣中對(duì)應(yīng)列的值組合而成.

對(duì)某個(gè)對(duì)象進(jìn)行多色集合表達(dá)時(shí),首先對(duì)該對(duì)象與其相應(yīng)的屬性形成普通的圍道布爾矩陣,然后通過連接運(yùn)算形成多元組圍道布爾矩陣,在最終結(jié)果的圍道元組中,能夠清楚地知道對(duì)象完成某個(gè)功能需要哪些資源、數(shù)據(jù)、方法等.

1.1.5 多色圖節(jié)點(diǎn)的擴(kuò)展

在用多色圖表示工作流中活動(dòng)的交互時(shí),文獻(xiàn)[17]提出對(duì)多色圖的邊進(jìn)行分類,以明確活動(dòng)交互間的關(guān)系,但是活動(dòng)交互所需的數(shù)據(jù)、應(yīng)用程序等資源、時(shí)間約束條件、消息等在圖中不能夠體現(xiàn)出來,因此,對(duì)多色圖中的節(jié)點(diǎn)進(jìn)行區(qū)域劃分,將節(jié)點(diǎn)分為三部分分別表示資源R、消息M、活動(dòng)A,如圖1所示.

圖1 節(jié)點(diǎn)區(qū)域劃分圖

圖1中,M是活動(dòng)A的前驅(qū)活動(dòng)向活動(dòng)A發(fā)送的消息,即活動(dòng)A收到的消息為M,R是活動(dòng)A向其后繼活動(dòng)傳輸?shù)男畔①Y源.可以根據(jù)實(shí)際情況對(duì)多色圖中的節(jié)點(diǎn)進(jìn)行區(qū)域劃分.

2 系統(tǒng)間交互分析

在一個(gè)系統(tǒng)中包含許多的類,類是現(xiàn)實(shí)世界中實(shí)體的形式化描述,它將該實(shí)體的數(shù)據(jù)和函數(shù)封裝在一起.因此,類可以表現(xiàn)為靜態(tài)屬性和動(dòng)態(tài)行為,其靜態(tài)屬性可以用一般的布爾矩陣“類—屬性”圍道矩陣描述,其動(dòng)態(tài)行為用以上提出的K元組圍道矩陣對(duì)其進(jìn)行描述.類中的方法M(Method)包含參數(shù)P(Paramater),局部變量LV(Local-Varation),返回的結(jié)果R(Result).

系統(tǒng)間的交互實(shí)際就是類實(shí)例化后產(chǎn)生的對(duì)象間方法的調(diào)用與響應(yīng),那么,方法M就應(yīng)該分割成<調(diào)用方,響應(yīng)方>,即M=,調(diào)用方與響應(yīng)方的個(gè)人性質(zhì)F(m)=,即FI(m)=(PI,LVI,RI),FP(m)= (PP,LVP,RP),多個(gè)方法組合會(huì)產(chǎn)生一些新的功能F(M),用多色集合描述系統(tǒng)間的交互過程步驟如下.

(1)分析系統(tǒng)的某一模塊中包含的類Class,形成一個(gè)類集C;

(2)將類中的靜態(tài)屬性抽象成FS(C),動(dòng)態(tài)性質(zhì)抽象成為FD(C),那么,FD(C)=(,,);

(3)對(duì)步驟(2)中的調(diào)用方和響應(yīng)方的方法M分別進(jìn)行描述,形成“方法—參數(shù)”、“方法—局部變量”、“方法—結(jié)果”的布爾矩陣,即[M×P]、[M×LV]、[M×R];

(4)方法之間的調(diào)用與響應(yīng)形成方法交互布爾矩陣,即[MI×MP];

(5)利用本文提出的連接運(yùn)算對(duì)步驟(3)與步驟(4)中的矩陣進(jìn)行連接運(yùn)算.最終形成[MI×]的矩陣.

因此,系統(tǒng)間交互多色集合SIBPS (System of Interaction between Polychromatic Sets)可以描述為公式(10).

根據(jù)最后得出的4元組矩陣能明確地知道兩個(gè)系統(tǒng)間交互涉及的方法以及調(diào)用方法后產(chǎn)生的結(jié)果.

3 作流過程活動(dòng)交互

以活動(dòng)為研究對(duì)象,工作流過程間的交互表現(xiàn)為活動(dòng)之間消息的發(fā)送與接收以及相關(guān)資源的交互.為了構(gòu)建出工作流過程交互的多色圖模型,首先應(yīng)該分析工作流中的活動(dòng)、消息、資源,然后形成相關(guān)的普通圍道矩陣;其次,對(duì)這些矩陣進(jìn)行連接運(yùn)算得出對(duì)象的完整描述矩陣;最后,利用相關(guān)規(guī)則形成多色圖模型.工作流過程交互分析的流程圖如圖2所示.

3.1 規(guī)則

(1)在矩陣[A×A]中,如果活動(dòng)ai與活動(dòng)aj之間對(duì)應(yīng)的值不為空,則ai是aj前驅(qū)活動(dòng),aj是ai后繼活動(dòng).

(2)如果矩陣中活動(dòng)ai的列的值全為空,則活動(dòng)ai是起始活動(dòng);如果活動(dòng)aj的行的值全為空,則aj是終止活動(dòng).

圖2 工作流交互分析流程圖

3.2 工作流過程交互分析

工作流過程間的交互從整體上來說表現(xiàn)為角色之間的交互,其可細(xì)化為活動(dòng)之間的直接交互.在工作流過程交互中,以活動(dòng)為研究對(duì)象,用集合A表示,活動(dòng)間交互所需的數(shù)據(jù)、應(yīng)用程序、約束條件等活動(dòng)的性質(zhì)用F(A)描述,用O表示包含活動(dòng)的對(duì)象角色,F(O)描述角色的性質(zhì),其中,角色之間是通過消息的傳遞進(jìn)行交互的,因此,消息集M、部分活動(dòng)集G是角色的性質(zhì).角色與活動(dòng)形成布爾矩陣[O×A],角色與其對(duì)應(yīng)的性質(zhì)用[O×F(O)]描述,工作流中活動(dòng)間的交互表現(xiàn)為矩陣[A×A],活動(dòng)集A與活動(dòng)性質(zhì)形成矩陣[A×F(A)].因此,工作流過程活動(dòng)的交互用交互多色集合IPS (Interaction Polychromatic Sets)描述為公式(11).

可將交互多色圖劃分為三部分,如果存在著分支結(jié)構(gòu),其中,左分支中的活動(dòng)構(gòu)成活動(dòng)集Gi,右分支中的活動(dòng)構(gòu)成活動(dòng)集Gk,剩余除起始邏輯活動(dòng)與結(jié)尾邏輯活動(dòng)外的活動(dòng)構(gòu)成Gj.

3.2.1 工作流過程交互分析步驟

對(duì)工作過程的交互建模不是一蹴而就的,需要先分析交互中涉及的活動(dòng)、消息、資源,然后構(gòu)成相關(guān)的矩陣.

工作流過程交互步驟:

(1)識(shí)別此過程中涉及的對(duì)象角色集O、活動(dòng)集A、消息集M并形成[O×F(O)];

(2)形成活動(dòng)交互矩陣[A×A]以及活動(dòng)交互消息矩陣[A×A×M]、活動(dòng)交互資源矩陣[A×A×R];

(3)運(yùn)用連接運(yùn)算形成過程交互矩陣[A×A×F(A)],最后可形成交互多色圖,并根據(jù)交互多色圖形成部分活動(dòng)集G以及活動(dòng)集矩陣[G×G].

文獻(xiàn)[5,17]中提出了對(duì)多色圖的邊進(jìn)行分類,活動(dòng)間存在著五種關(guān)系:順序、并分、或分、并合、或合.

表1 活動(dòng)間關(guān)系標(biāo)識(shí)

3.2.2 工作流過程交互多色圖建模

建立多色圖模型前,需要完成3.2.1中工作流過程交互分析的前兩步,然后再對(duì)相應(yīng)的矩陣進(jìn)行操作.

交互多色圖的構(gòu)成步驟:

(1)利用3.1中的規(guī)則找到起始活動(dòng)ai;

(2)在活動(dòng)圍道矩陣中找到起始活動(dòng)ai的后繼活動(dòng)aj,如果ai與對(duì)應(yīng)aj的值為0,則用順序關(guān)系進(jìn)行描述;如果有多個(gè)后繼活動(dòng)并且對(duì)應(yīng)的值為1,則用并分關(guān)系進(jìn)行描述;如果有多個(gè)后繼活動(dòng)并且值為-1,則用或分進(jìn)行描述;如果對(duì)應(yīng)的值為2,則用并合描述;如果對(duì)應(yīng)的值為-2,則用或合描述;

(3)根據(jù)矩陣[A×A×M]、[A×A×R]分別找到相應(yīng)活動(dòng)的接收的消息與活動(dòng)發(fā)出的信息流;

(4)如果用3.1中規(guī)則判斷活動(dòng)ak是否是終止活動(dòng),若不是終止活動(dòng),繼續(xù)步驟(2)、(3);反之,結(jié)束.

4 實(shí)例

醫(yī)院HIS與RIS的門診過程中,病人首先到掛號(hào)處排隊(duì)掛號(hào),然后到門診分診臺(tái)分診,門診醫(yī)生利用門診醫(yī)生工作站根據(jù)需要開出放射檢查醫(yī)囑,收費(fèi)處根據(jù)檢查醫(yī)囑進(jìn)行劃價(jià)收費(fèi),檢查科醫(yī)生根據(jù)檢查申請(qǐng)信息進(jìn)行檢查預(yù)約安排,最后病人根據(jù)時(shí)間安排到放射科做檢查,放射科醫(yī)生根據(jù)放射科醫(yī)生工作站對(duì)檢查影像進(jìn)行讀片,并書寫檢查診斷報(bào)告,同時(shí)檢查完后,影像圖片會(huì)自動(dòng)上傳至PACS,門診醫(yī)生可以通過醫(yī)生工作站查看病人影像檢查報(bào)告并進(jìn)一步作出治療方案.

此過程中,對(duì)象角色包含病人Patient,HIS,LIS,即O=(Patient,HIS,LIS).

活動(dòng)集A=(b1,a11,a12,a13,a14,a21,a22,a23,a24,b2),其中,b1,b2是無意義的活動(dòng),只是表示活動(dòng)的開始與結(jié)束.

消息集M=(M1,M2,M3,M4,M5,M6,M7,M8).

資源集R=(R1,R2,R3,R4,R5,R6,R7,R8,R9,R10).

三個(gè)集合中元素含義見表2至表4.用0、1、-1、2、-2分別標(biāo)識(shí)活動(dòng)間的順序、并分、或分、并合、或合,可以構(gòu)建出活動(dòng)關(guān)系矩陣[A×A],見圖3.若活動(dòng)ai與aj無任何關(guān)系,則其對(duì)應(yīng)的值為空;若為0,表示存在順序關(guān)系;若為1,表示并分關(guān)系;若為-1,表示或分關(guān)系;若為2,表示并合關(guān)系;若為-2,表示或合關(guān)系.

表2 活動(dòng)集A各元素含義

表3 消息集M各元素含義

表4 資源集R各元素含義

如果活動(dòng)aj收到ai的消息Mk,則矩陣中對(duì)應(yīng)的值為1,否則,值為0,見圖4.

通過前面所提出的自由連接運(yùn)算,將活動(dòng)間事件關(guān)系矩陣與活動(dòng)間信息流關(guān)系矩陣整合成一個(gè)矩陣,能夠清楚地知道活動(dòng)間交互的消息與所需要的信息資源,如圖5所示.根據(jù)圖5以及3.1中的規(guī)則和表1可以形成工作流過程交互多色圖模型,如圖6所示.

由圖7可知,G1與G2對(duì)應(yīng)的值為1,G3與G1對(duì)應(yīng)的值為1,HIS與RIS之間工作流交互.圖8矩陣中,若活動(dòng)ai與aj之間存在信息流,則值為1,反之,為0.

圖3 活動(dòng)交互矩陣[A×A]

圖4 活動(dòng)間消息關(guān)系矩陣[A×A×M]

圖5 活動(dòng)過程交互矩陣[A×A×F(A)]

圖6 工作流過程交互多色圖

圖7 矩陣[G×G]

圖8 活動(dòng)間信息流關(guān)系矩陣[A×A×R]

5 總結(jié)

本文采用多色集合理論對(duì)不同系統(tǒng)間工作流過程的交互進(jìn)行了研究,將元組與多色集合相結(jié)合,提出K元組圍道矩陣以及它的析取、合取與連接運(yùn)算,有利于描述對(duì)象的整體性質(zhì),通過擴(kuò)展的K元組圍道矩陣能夠同時(shí)描述對(duì)象的靜態(tài)屬性與動(dòng)態(tài)行為.運(yùn)用該運(yùn)算對(duì)工作流交互中的消息以及資源進(jìn)行整合,建立了工作流交互多色圖模型.該模型中不僅體現(xiàn)了活動(dòng)及其邏輯關(guān)系,還描述了與活動(dòng)相關(guān)的性質(zhì)與行為.但是,有關(guān)工作流過程活動(dòng)間交互產(chǎn)生的安全問題沒有進(jìn)行考慮,下一步將對(duì)工作流交互中涉及的安全問題展開研究.

1高新勤,李宗斌,杜軒.工作流管理系統(tǒng)動(dòng)態(tài)變更模型與實(shí)例遷移方法研究.計(jì)算機(jī)集成制造系統(tǒng),2008,14(8):1521-1528.

2Gao XQ,Wang XP,Li Y,et al.Workflow dynamic change and instance migration approach based on polychromatic sets theory.International Journal of Computer Integrated Manufacturing,2016,29(4):386-405.[doi:10.1080/095119 2X.2015.1034181]

3朱景,李宗斌,高新勤.基于多色集合的工作流建模及路徑求取算法.西安交通大學(xué)學(xué)報(bào),2006,40(3):348-352.

4高新勤,李言,楊明順,等.基于多色集合離析運(yùn)算的工作流資源管理與配置方法.計(jì)算機(jī)集成制造系統(tǒng),2011,17(9):1905-1912.

5Gao XQ,Xu LD,Wang XP,et al.Workflow process modelling and resource allocation based on polychromatic sets theory.Enterprise Information Systems,2013,7(2):198-226.[doi:10.1080/17517575.2012.745617]

6徐亮,張莉,樊志強(qiáng).一種基于UML的實(shí)時(shí)工作流建模方法研究.計(jì)算機(jī)研究與發(fā)展,2010,47(7):1184-1191.

7楊書新,王堅(jiān),馬福民.工作流管理系統(tǒng)的流程柔性動(dòng)態(tài)變更研究.計(jì)算機(jī)應(yīng)用,2006,26(11):2736-2738.

8葛季棟,胡海洋,周宇,等.一種基于不變量的工作流協(xié)同模型分解方法.計(jì)算機(jī)學(xué)報(bào),2012,35(10):2169-2181.

9趙靜,趙衛(wèi)東.基于工作流日志挖掘的流程角色識(shí)別.計(jì)算機(jī)集成制造系統(tǒng),2006,12(11):1916-1920.[doi:10.3969/j.issn.1006-5911.2006.11.032]

10趙衛(wèi)東,戴偉輝.基于角色的跨組織工作流研究.系統(tǒng)工程與電子技術(shù),2003,25(8):954-958.

11趙衛(wèi)東,黃麗華.面向角色的多agent工作流模型研究.管理科學(xué)學(xué)報(bào),2004,7(2):55-62.

12高新勤,李宗斌,趙姍姍.基于多色集合理論的概念設(shè)計(jì)建模和推理技術(shù)研究.中國機(jī)械工程,2006,17(3):255-259.

13Li ZB,Xu LD,Zhao SS.Polychromatic sets theory and its application in enterprise information systems.In:Tjoa AM,Xu L,Chaudhry SS,eds.Research and Practical Issues of Enterprise Information Systems.IFIP International Federation for Information Processing.Boston,MA:Springer,2006.721-728.

14維·維·巴伏洛夫,李宗斌,高峰.多色集合在加工系統(tǒng)建模與分析時(shí)的應(yīng)用.西安交通大學(xué)學(xué)報(bào),2001,35(9):926-929,986.

15李丹.基于多色集合的冷鏈物流倉儲(chǔ)流程優(yōu)化研究[碩士學(xué)位論文].西安:陜西科技大學(xué),2014.

16楊敏,王曉華,冉梅梅.基于多色集合理論的兩系統(tǒng)間互操作方法.計(jì)算機(jī)系統(tǒng)應(yīng)用,2017,26(9):128-134.[doi:10.15888/j.cnki.csa.005930]

17李春玲.基于多色圖理論的離散制造企業(yè)生產(chǎn)物流系統(tǒng)建模與優(yōu)化[碩士學(xué)位論文].沈陽:沈陽大學(xué),2014.

18王頌,李云龍,陳富民.基于多色集合的飛機(jī)連接裝配工藝規(guī)劃與資源配置.計(jì)算機(jī)集成制造系統(tǒng),2013,19(2):411-420.