專利名稱：跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，尤其適用于大 型計算機網(wǎng)絡(luò)商務(wù)平臺下對參與跨組織協(xié)同的協(xié)同者包含的各個任務(wù)的執(zhí)行時序時序 分析。
背景技術(shù)：
隨著Web服務(wù)技術(shù)的發(fā)展，企業(yè)通過Web服務(wù)將自身提供的各種功能對外發(fā)布， 因此傳統(tǒng)的企業(yè)對企業(yè)(B2B)協(xié)同逐步被企業(yè)間的Web服務(wù)整合所替代。目前，領(lǐng) 域內(nèi)對企業(yè)間通過Web服務(wù)協(xié)同的研究主要集中在如何選擇合適的協(xié)同對象、如何將 不同企業(yè)提供的Web服務(wù)組合起來等方面，很少有工作關(guān)注如何在已經(jīng)確定了協(xié)同對 象的情況下根據(jù)各個協(xié)同對象不同任務(wù)的時序來確定整個協(xié)同的時間時序分析問題。
發(fā)明內(nèi)容
發(fā)明目的本發(fā)明所要解決的技術(shù)問題是針對現(xiàn)有技術(shù)的不足，提供了一種跨組 織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法。
技術(shù)方案本發(fā)明公開了一種跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法， 在將業(yè)務(wù)邏輯數(shù)據(jù)存入計算機存儲器后，包括以下步驟
讀取對本次協(xié)同的業(yè)務(wù)邏輯；
分析業(yè)務(wù)邏輯，得到參與本次協(xié)同的所有協(xié)同者及每個協(xié)同者的任務(wù)列表； 取得所有的協(xié)同者之間的任務(wù)時序邏輯關(guān)系；所述時序邏輯關(guān)系 ReKTask-A,Task-B〉為兩個從屬于不同協(xié)同者的任務(wù)之間時間上的相互關(guān)系，式中 Task-A， Task-B分別屬于不同的協(xié)同者，二者之間存在一個任務(wù)時序邏輯關(guān)系Rel;所 述任務(wù)時序邏輯關(guān)系rel取值為BEFORE, MEET, OVERLAP, EQUAL, DURING中的 一個；
對每一個任務(wù)時序邏輯關(guān)系，取得業(yè)務(wù)邏輯數(shù)據(jù)中包含的時序邏輯參數(shù)；所述時 序邏輯參數(shù)包括時間單位、時序關(guān)系、時序關(guān)系間隔數(shù)；
為每個任務(wù)時序邏輯關(guān)系建立時間軸，并根據(jù)時序邏輯參數(shù)定位該任務(wù)時序邏輯 關(guān)系在時間軸上的位置；
合并所有的任務(wù)時序邏輯關(guān)系的時間軸；
在合并后的時間軸上判定每個任務(wù)起始、結(jié)束時間；
得到最終的執(zhí)行邏輯。
本發(fā)明中，所述業(yè)務(wù)邏輯、每個協(xié)同者的任務(wù)列表以及任務(wù)之間的時序邏輯關(guān)系通過建立標(biāo)簽的XML (extensible Markup Language)文件形式提供。本發(fā)明中，所述為每個任務(wù)時序邏輯關(guān)系建立時間軸，并根據(jù)時序邏輯參數(shù)定位 該任務(wù)時序邏輯關(guān)系在時間軸上的位置包括以下步驟(301) 建立一個時間軸，時間單位以任務(wù)時序邏輯關(guān)系規(guī)定的時序邏輯參數(shù)中規(guī) 定的時間單位為準；(302) 根據(jù)時序邏輯參數(shù)中的時序關(guān)系確定任務(wù)時序邏輯關(guān)系中首先執(zhí)行的任務(wù) 并將其起始時間規(guī)定為時間軸的起點；(303) 依據(jù)時序邏輯參數(shù)中的時序關(guān)系間隔數(shù)確定另一個任務(wù)的起始時間；(304) 記錄協(xié)同者在本時間軸上的起始、結(jié)束時間和任務(wù)時序邏輯關(guān)系中包括的 各個任務(wù)的起始、結(jié)束時間。本發(fā)明中，所述合并所有任務(wù)時序邏輯關(guān)系時間軸包括以下步驟 設(shè)已建立的任務(wù)時序邏輯時間軸的集合為忍=/^,^，...;^ pc,EXS f7=< / <="卩表示忍中的一個任務(wù)時序邏輯時間軸；任意Xi包含一個任務(wù)時序邏輯關(guān)系ReKTask-A-i,Task-B-i>; TXS=①用于保存執(zhí)行過程中的臨時信息；(401) 設(shè)/=7; _/=/, A:=7; XS=/3f7，"，…X"入.7XS=";(402) 當(dāng);'<="時轉(zhuǎn)(403)，否則轉(zhuǎn)(407);(403) 取得&代表的任務(wù)時序邏輯關(guān)系ReKTask-A-i， Task-B-i>;(404) 當(dāng)_/<="時轉(zhuǎn)(405)，否則轉(zhuǎn)(406);(405) 若》代表的任務(wù)時序邏輯關(guān)系ReKTask-A-j， Task-B-j〉中任意一個任務(wù)與 x,代表的任務(wù)時序邏輯關(guān)系中的某一個任務(wù)同屬于一個協(xié)同者，則建立二元組6^,a, rfli-Ji^ 7iwA;-lVJ ，其中7i^-X-/、 7i^-}V表示任務(wù)時序邏輯時間軸表述的兩個任務(wù) 時序邏輯關(guān)系中同屬于一個協(xié)同者的兩個任務(wù)，將所述二元組加入至集合7XS中；轉(zhuǎn) 步驟(404);(406) ! = /+/;轉(zhuǎn)步驟(402);(407) 若7XS為空集則退出，否則進行步驟(408);(408) 遍歷rXS中所有屬于同一個協(xié)同者的任務(wù)及屬于同一個協(xié)同者的任務(wù)對應(yīng) 的各個任務(wù)時序邏輯時間軸，按照其執(zhí)行時間的先后，在坐標(biāo)在時間軸上定位；重 復(fù)本步驟直至所有待合并的時間軸合并到同一時間軸為止。有益效果本發(fā)明所述的跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，從建 立對跨組織協(xié)同的業(yè)務(wù)邏輯開始，整個時序分析過程是由計算機實現(xiàn)自動化計算的， 無須人為因素的加入，提高了客觀性和運行效率。采用任務(wù)時序邏輯模型FollowMe， 使選擇結(jié)果相對以往方法也更為客觀，同時使任務(wù)時序分析能更好的滿足業(yè)務(wù)邏輯的需要。
下面結(jié)合附圖和具體實施方式
對本發(fā)明做更進一步的具體說明，本發(fā)明的上述和/ 或其他方面的優(yōu)點將會變得更加清楚。 圖l為本發(fā)明流程圖。圖2為本發(fā)明建立某一任務(wù)時序邏輯關(guān)系時間軸的流程圖。 圖3為本發(fā)明合并多個任務(wù)時序邏輯時間軸的流程圖。圖4a、圖4b、圖4c、圖4d、圖4e為本發(fā)明中各種任務(wù)邏輯時序關(guān)系的示意圖。 圖5a、圖5b、圖5c為實施實例中任務(wù)時序邏輯關(guān)系時間軸。 圖6為實施實例中合并后的時序邏輯關(guān)系時間軸。
具體實施例方式如圖1所示，本發(fā)明公開了跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，在將 業(yè)務(wù)邏輯數(shù)據(jù)存入計算機存儲器后，開始程序運行后，包括以下步驟步驟1， CPU讀取存入計算機存儲器的業(yè)務(wù)過程中的業(yè)務(wù)邏輯；步驟2，分析業(yè)務(wù)邏輯，得到參與本 次協(xié)同的所有協(xié)同者及每個協(xié)同者的任務(wù)列表；步驟3，取得所有的協(xié)同者之間的任務(wù) 時序邏輯關(guān)系；所述時序邏輯關(guān)系<0^1^-人1^^8: rel〉為兩個從屬于不同協(xié)同者的任 務(wù)之間時間上的相互關(guān)系，式中Task-A， Task-B分別屬于不同的協(xié)同者，二者之間存 在一個任務(wù)時序邏輯關(guān)系rel;所述任務(wù)時序邏輯關(guān)系rel取值為BEFORE, MEET, OVERLAP, EQUAL, DURING中的一個；步驟4，對每一個任務(wù)時序邏輯關(guān)系，取得業(yè) 務(wù)邏輯數(shù)據(jù)中包含的時序邏輯參數(shù)；所述時序邏輯參數(shù)包括時間單位、時序關(guān)系、 時序關(guān)系間隔數(shù)；步驟5，為每個任務(wù)時序邏輯關(guān)系建立時間軸，并根據(jù)時序邏輯參數(shù) 在時間軸上描述該任務(wù)時序邏輯關(guān)系；若所有的任務(wù)時序邏輯關(guān)系均已在各自時間軸 上被描述，則進行下一步；步驟6，合并所有的任務(wù)時序邏輯時間軸；步驟7，在合并 后的時間軸上判定每個任務(wù)經(jīng)過時序分析后的起始、結(jié)束時間；步驟8，給出經(jīng)過時序 分析的最終執(zhí)行邏輯描述；所有所述業(yè)務(wù)邏輯、任務(wù)時序邏輯關(guān)系通過建立了標(biāo)簽的 XML文件形式提供。結(jié)束本發(fā)明分析方法的運行程序。如圖2所示，所述為每個任務(wù)時序邏輯關(guān)系建立時間軸、并根據(jù)時序邏輯關(guān)系參數(shù) 在時間軸上描述該任務(wù)時序邏輯關(guān)系包括以下步驟步驟301，建立一個時間軸，時間 單位以任務(wù)邏輯時序關(guān)系規(guī)定的時序邏輯參數(shù)中規(guī)定的時間單位為準；步驟302，根據(jù) 時序邏輯參數(shù)中的時序關(guān)系確定任務(wù)時序邏輯關(guān)系中首先執(zhí)行的任務(wù)并將其起始時間 規(guī)定為時間軸的起點；步驟303，依據(jù)任務(wù)時序邏輯關(guān)系中的時序關(guān)系間隔數(shù)確定另一 個任務(wù)的起始時間；步驟304，記錄協(xié)同者在本時間軸上的起始、結(jié)束時間和任務(wù)時序邏輯中包括的各個任務(wù)的起始、結(jié)束時間。如圖3所示，所述合并協(xié)同中所有任務(wù)邏輯時序關(guān)系時間軸包括以下步驟設(shè)已 建立的任務(wù)時序邏輯時間軸的集合為^=^/,",...;^ a,GXS (7=< / <="卩表示15中的 一個任務(wù)時序邏輯時間軸；任意Xi包含一個任務(wù)時序邏輯關(guān)系〈Task-A-i， Task-B-i: rel>; TXS二O用于保存執(zhí)行過程中的臨時信息；步驟401，設(shè)!'=7,^/=J^ A:=7, XS=/^,JC2,...W, ^Jffi="; 步驟402,當(dāng)/<="時轉(zhuǎn)步驟403，否則轉(zhuǎn)步驟407;步驟403，取得;c;代表 的任務(wù)時序邏輯關(guān)系ReKTask-A-i， Task-B-i>;步驟404，_/=!'+7;當(dāng)_/<="時轉(zhuǎn)步驟405， 否則轉(zhuǎn)步驟406;步驟405，若》代表的任務(wù)時序邏輯關(guān)系ReKTask-A-j， Task-B-j〉中任 意一個任務(wù)與；c,代表的任務(wù)時序邏輯關(guān)系中的某一個任務(wù)同屬于一個協(xié)同者，則建立 二元組6^,J9, 7iwit-Z-" 7iw)WV入其中Tl^-X-i'、 7iw/t-JV表示任務(wù)時序邏輯時間軸表 述的兩個任務(wù)時序邏輯關(guān)系中同屬于一個協(xié)同者的兩個任務(wù)，將所述二元組加入至集 合7XS中；轉(zhuǎn)步驟404;步驟406， / = 轉(zhuǎn)步驟402;步驟407，若7XS為空集則 轉(zhuǎn)步驟409退出，否則進行步驟408;步驟408，遍歷7XS中所有屬于同一個協(xié)同者的 任務(wù)及屬于同一個協(xié)同者的任務(wù)對應(yīng)的各個任務(wù)時序邏輯時間軸，按照其執(zhí)行吋間的 先后，在坐標(biāo)在時間軸上定位；重復(fù)本步驟直至所有待合并的時間軸合并到同一時間 軸為止。業(yè)務(wù)邏輯是對參與本次協(xié)同的所有協(xié)同者執(zhí)行的任務(wù)以及其交互信息的集合。業(yè)務(wù) 邏輯，任務(wù)時序邏輯關(guān)系通過XML文件以如下形式提供 〈business specification>(collaborator name =，C-A， task-list = 'CA-List， duration = '30s,/i>Collaborator name =，C-B， task-list = 'CB-List， duration = '28s，/>(collaborator name =tC-C, task-list = 'CC-List, duration = '35s,/> </business specification)以上文件格式是使用本發(fā)明時必須遵循的格式。business specification表示標(biāo)簽內(nèi)描 述的是業(yè)務(wù)邏輯關(guān)系，collaborator表示參與本次協(xié)同的一個協(xié)同者。其中name表示協(xié) 同者的名稱(在本次協(xié)同中其名稱是唯一的)，task-list表示協(xié)同者自身的任務(wù)列表； duration表示該協(xié)同者執(zhí)行總時長。任務(wù)列表文件通過XML文件以如下形式提供 〈tasklist owner = 'C-A，><task name — 'T-B， collaborator —■■ 'C-B, c-task — 'TB， duration — '5s， starttime — '6s，/> </tasklist>以上文件格式是使用本發(fā)明時必須遵循的格式。tasklist表示標(biāo)簽內(nèi)描述的是某個7協(xié)同者的任務(wù)列表，owner表示該tasklist從屬與的協(xié)同者名稱，task表示每個協(xié)同者 的任務(wù)，其中name表示任務(wù)名稱，collaborator值表示該與該task具有任務(wù)邏輯時序 關(guān)系的task從屬的協(xié)同者名稱，c-task表示與該task具有任務(wù)邏輯時序關(guān)系的task名 稱；duration表示該任務(wù)的執(zhí)行時長，starttime表示該任務(wù)在協(xié)同者中開始執(zhí)行的時間。
任務(wù)時序邏輯關(guān)系通過XML文件以如下形式提供 〈temporary interval = ' ls， relation = 'BEFORE' parameter = '5s， >
<task name = 'T-B， belong = 'C-A， duration = '，/>
<task name - 'T陽B， belong = 'C-B，/> </temporary>
以上文件格式是使用本發(fā)明時必須遵循的格式。Temporary表示標(biāo)簽內(nèi)描述的是任 務(wù)時序邏輯關(guān)系。interval表示了本時序關(guān)系的時間單位；relation表示第一個描述的任 務(wù)與第二個描述的任務(wù)之間的任務(wù)時序關(guān)系(這個關(guān)系不是對稱的)；parameter表示該 任務(wù)時序邏輯關(guān)系的時序關(guān)系間隔數(shù)。Task表示任務(wù)時序邏輯關(guān)系中的一個任務(wù)，name 是其名稱，belong表示其屬于哪一個協(xié)同者。
時序關(guān)系包括以下幾種BEFORE,MEET,OVERLAP,EQUAL,DURING等(J.RAllen 在論文"Maintaining Knowledge about temporal internals"中定義,該論文出自 Communications of the ACM， vol.26，no.11,1983 ).BEFORE(Taski，Taskj)表示Taski于Taskj 之前執(zhí)行。Taski比Taskj提前的時間可在任務(wù)邏輯時序參數(shù)中parameter的值所確定； MEET(Taski，Taskj)表示Taskj在Taski執(zhí)行結(jié)束后開始執(zhí)行；OVERLAP(Taski,Taskj)表 示Taski與Taskj在執(zhí)行時間上有重疊，若時序關(guān)系為OVERLAP,則在任務(wù)時序邏輯 關(guān)系中的parameter值域型為parameter='9s,5s，。其中第一個參數(shù)表示兩個任務(wù)開始重 疊的時間，第二個參數(shù)表示重疊的時長。EQUAL(Taski,Taskj) 表示兩個任務(wù)同時開 始，同時結(jié)束；DURING(Taski,Taskj)表示Taskj包含在Taski的執(zhí)行時長中。圖4a、圖 4b、圖4c、圖4d、圖4e為上述時序關(guān)系的示意圖。
在讀取了業(yè)務(wù)邏輯后，通過對業(yè)務(wù)邏輯的分析可以得到參與本次協(xié)同的協(xié)同者，并 依據(jù)協(xié)同者名稱得到相應(yīng)的協(xié)同者的任務(wù)列表；分析任務(wù)列表，可以得到該協(xié)同者所 有的與其他協(xié)同者具有任務(wù)時序邏輯關(guān)系的任務(wù)。通過對任務(wù)時序邏輯關(guān)系的描述文 件進行分析可以得到各個任務(wù)時序邏輯關(guān)系參數(shù)。
以如下業(yè)務(wù)邏輯為例 〈business specification)
(collaborator name =，C-A， task-list = 'CA-List' duration = ' 10s，/>
(collaborator name =，C-B， task-list = 'CB-List， duration = '9s,/>
(collaborator name ='C-C， task-list = 'CC-List， duration = '8s，></business specification
〈tasklist owner = 'C-A，〉
<task name = T-A， collaborator = 'C-B， c-task = 'T-B， duration = '2s， starttime = ' ls，/> <task name 二 'T-B， collaborator = 'C-B， c-task = 'T-B， duration = '5s， starttime = '3s，/>
</tasklist>
〈tasklist owner = 'C-B，>
<task name = 'T-A， collaborator = 'C墨A， c一task 二 'T隱A， duration = '3s， starttime = ' ls，> <task name = 'T-B， collaborator ='C-A， c-task = 'T-B， duration = '4s， start time = '3s，/> <task name = 'T-C， collaborator 二 'C-C， c-task 二 'T-A， duration = 'ls， starttime- '7.5s，/>
</tasklist>
〈tasklist owner = 'C-C，>
<task name = 'T-A, collaborator = 'C-B， c-task = 'T-B， duration = '4s， starttime = ' ls，/> </tasklist>
〈temporary interval = ' 1 s， relation 二 'MEET， parameter ='， >
<task name = 'T陽A， belong = 'C-A， duration = '2s，/>
<task name = T-A， belong = 'C-B， duration = '3s，/> </temporary>
<temporary interval = 'ls， relation = 'BEFORE' parameter = 'ls， >
<task name = T-B， belong = 'C-A, duration = '5s，/>
<task name = 'T-B' belong = 'C-B， duration = '4s，/> </temporary〉
(temporary interval = 'ls， relation = 'MEET' parameter 二 '5s, >
<task name 二 'T-C， belong = 'C-A， duration = ' ls，/>
<task name = 'T-A, belong = 'C-C， duration = '4s，/> </temporary〉
首先讀取業(yè)務(wù)邏輯文件，得到本次協(xié)同的協(xié)同者C-A和C-B。根據(jù)各個協(xié)同者 的名稱得到其任務(wù)列表文件，分析該文件分別得到各個協(xié)同者使用的任務(wù)列表C-A: T-A， T-B; C-B: T-A,T-B，T-C; C-C: T-A。
并且得到任務(wù)時序邏輯關(guān)系如下
(1) 協(xié)同者C-A的任務(wù)T-A與協(xié)同者C-B的任務(wù)T-A具有任務(wù)邏輯時序關(guān)系， 表示如下MEET(T-Ac.a,T-Ac.b);
(2) 協(xié)同者C-A的任務(wù)T-B與協(xié)同者C-A的任務(wù)T-B具有任務(wù)邏輯時序關(guān)系， 表示如下BEFORE (T-Bc.a， T-BC.B);(3)協(xié)同者C-B的任務(wù)T-C與協(xié)同者C-C的任務(wù)T-A具有任務(wù)邏輯時序關(guān)系， 表示如下MEET (T-Cc-B， T-Ac_c);
步驟5分別建立任務(wù)時序邏輯關(guān)系時間軸描述，如圖5a、圖5b、圖5c所示。在 任務(wù)時序邏輯關(guān)系文件中，得到的任務(wù)時序邏輯關(guān)系分別為 MEET(T陽AC-A,T-AC-B)，BEFORE(T-BC-A,T-BC國B)，MEET(T-CC-B，T-AC-C)，分別表示 T-AC-A任務(wù)與任務(wù)T-AC-B同時發(fā)生，任務(wù)T-BC-A與任務(wù)T-BC-B之前發(fā)生，任務(wù) T-CC-B與任務(wù)T-AC-C同時發(fā)生。具體在時間軸上的表示如圖5a、圖5b、圖5c所示。
步驟6合并上一步驟中得到的所有時序邏輯關(guān)系時間軸，得到的合并后的時間軸 如附圖6所示。
步驟7，在合并后的時間軸上判定每個任務(wù)經(jīng)過時序分析后的起始、結(jié)束時間； 根據(jù)合并后時間軸上各個協(xié)同者的的不同起始、結(jié)束時間，按照如下規(guī)則取得各 個協(xié)同者時序分析后的起始、結(jié)束時間
(1) 對于起始時間，選擇協(xié)同者所有起始時間中最小的；
(2) 對于結(jié)束時間，選擇協(xié)同者所有結(jié)束時間中最大的； 本實施實例中各任務(wù)的起始、結(jié)束時間為
協(xié)同者C-A任務(wù)T-A:開始時間l，結(jié)束時間3;
協(xié)同者C-B任務(wù)T-A:開始時間3，結(jié)束時間6; 協(xié)同者C-A任務(wù)T-B:開始時間3，結(jié)束時間8; 協(xié)同者C-B任務(wù)T-B:開始時間9，結(jié)束時間13; 協(xié)同者C-B任務(wù)T-C:開始時間13.5，結(jié)束時間14.5; 協(xié)同者C-C任務(wù)T-A:開始時間14.5，結(jié)束時間18.5 協(xié)同者C-A起始時間1，結(jié)束時間10; 協(xié)同者C-B起始時間2，結(jié)束時間15; 協(xié)同者C-C起始時間13.5，結(jié)束時間21.5;
步驟8,給出經(jīng)過時序分析的最終執(zhí)行邏輯描述；所有所述業(yè)務(wù)邏輯、任務(wù)時序邏 輯關(guān)系通過建立了標(biāo)簽的XML文件形式提供，本實施實例得到的任務(wù)時序邏輯描述 為
〈temporary logic〉
Collaborator name = 《C-A， stime= "， etime= <10， >
<taskname= <T-A， tstime= M， tetime= <3， />
<taskname= <T-A， tstime= tetime= <8， /> </collaborator>Collaborator name = 'C-B， stime= <2， etime= <15， >
<task name = ' T陽A
<taskname= 'T-B
<taskname= 'T-C </collaborator>
(collaborator name = 'C-C' stime= ， 13.5' etime=， 21.5， >
<taskname= 'T-A， tstime=， 14.5， tetime=， 18.5， /> </collaborator> 〈/temporary logic>
結(jié)束本發(fā)明分析方法的運行程序。
本發(fā)明提供了一種跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法的思路及方 法，具體實現(xiàn)該技術(shù)方案的方法和途徑很多，以上所述僅是本發(fā)明的優(yōu)選實施方式， 應(yīng)當(dāng)指出，對于本技術(shù)領(lǐng)域的普通技術(shù)人員來說，在不脫離本發(fā)明原理的前提下，還 可以做出若干改進和潤飾，這些改進和潤飾也應(yīng)視為本發(fā)明的保護范圍。本實施例中 未明確的各組成部份均可用現(xiàn)有技術(shù)加以實現(xiàn)。
tstime= '3， tetime= <6， /> tstime= <9， tetime= <13， /> tstime=' 13.5' tetime=， 14.5' />
1權(quán)利要求
1、一種跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，其特征在于，在將業(yè)務(wù)邏輯數(shù)據(jù)存入計算機存儲器后，包括以下步驟讀取對本次協(xié)同的業(yè)務(wù)邏輯；分析業(yè)務(wù)邏輯，得到參與本次協(xié)同的所有協(xié)同者及每個協(xié)同者的任務(wù)列表；取得所有的協(xié)同者之間的任務(wù)時序邏輯關(guān)系；所述時序邏輯關(guān)系Rel<Task-A，Task-B>為兩個從屬于不同協(xié)同者的任務(wù)之間時間上的相互關(guān)系，式中Task-A，Task-B分別屬于不同的協(xié)同者，二者之間存在一個任務(wù)時序邏輯關(guān)系Rel；所述任務(wù)時序邏輯關(guān)系rel取值為BEFORE，MEET，OVERLAP，EQUAL，DURING中的一個；對每一個任務(wù)時序邏輯關(guān)系，取得業(yè)務(wù)邏輯數(shù)據(jù)中包含的時序邏輯參數(shù)；所述時序邏輯參數(shù)包括時間單位、時序關(guān)系、時序關(guān)系間隔數(shù)；為每個任務(wù)時序邏輯關(guān)系建立時間軸，并根據(jù)時序邏輯參數(shù)定位該任務(wù)時序邏輯關(guān)系在時間軸上的位置；合并所有的任務(wù)時序邏輯關(guān)系的時間軸；在合并后的時間軸上判定每個任務(wù)起始、結(jié)束時間；得到最終的執(zhí)行邏輯。
2、 根據(jù)權(quán)利要求1所述的跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，其特 征在于，所述業(yè)務(wù)邏輯、每個協(xié)同者的任務(wù)列表以及任務(wù)之間的時序邏輯關(guān)系通過建 立標(biāo)簽的XML文件形式提供。
3、 根據(jù)權(quán)利要求1所述的跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，其特 征在于，所述為每個任務(wù)時序邏輯關(guān)系建立時間軸，并根據(jù)時序邏輯參數(shù)定位該任務(wù) 時序邏輯關(guān)系在時間軸上的位置包括以下步驟(301) 建立一個時間軸，時間單位以任務(wù)時序邏輯關(guān)系規(guī)定的時序邏輯參數(shù)中規(guī) 定的時間單位為準；(302) 根據(jù)時序邏輯參數(shù)中的時序關(guān)系確定任務(wù)時序邏輯關(guān)系中首先執(zhí)行的任務(wù) 并將其起始時間規(guī)定為時間軸的起點；(303) 依據(jù)時序邏輯參數(shù)中的時序關(guān)系間隔數(shù)確定另一個任務(wù)的起始時間；(304) 記錄協(xié)同者在本時間軸上的起始、結(jié)束時間和任務(wù)時序邏輯關(guān)系中包括的 各個任務(wù)的起始、結(jié)束時間。
4、 根據(jù)權(quán)利要求1所述的跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，其特 征在于，所述合并所有任務(wù)時序邏輯關(guān)系時間軸包括以下步驟設(shè)已建立的任務(wù)時序邏輯時間軸的集合為15=/^,&...^ j,eXS (7=< / <="卩表示 義S中的一個任務(wù)時序邏輯時間軸；任意Xi包含一個任務(wù)時序邏輯關(guān)系Rel:<Task-A-i,Task-B-i>; TXS= O用于保存執(zhí)行過程中的臨時信息；(401) 設(shè)zW; yW; A:=7; u"力7XS=,力(402) 當(dāng)/<="時轉(zhuǎn)(403)，否則轉(zhuǎn)(407);(403) 取得&代表的任務(wù)時序邏輯關(guān)系ReKTask-A-i， Task-B-i>;(404) _/=z'+7;當(dāng)_/<="時轉(zhuǎn)(405)，否則轉(zhuǎn)(406);(405) 若》代表的任務(wù)時序邏輯關(guān)系ReKTask-A-j, Task-B-j〉中任意一個任務(wù)與 jc,代表的任務(wù)時序邏輯關(guān)系中的某一個任務(wù)同屬于一個協(xié)同者，則建立二元組6^,》-7iwH" 7^)t-lVJ ,其中7iwiH/、 7iwHV表示任務(wù)時序邏輯時間軸表述的兩個任務(wù) 時序邏輯關(guān)系中同屬于一個協(xié)同者的兩個任務(wù)，將所述二元組加入至集合7XS中；轉(zhuǎn) 步驟(404);(406) / = 轉(zhuǎn)步驟(402);(407) 若7XS為空集則退出，否則進行步驟(408);(408) 遍歷7XS中所有屬于同一個協(xié)同者的任務(wù)及屬于同一個協(xié)同者的任務(wù)對應(yīng) 的各個任務(wù)時序邏輯時間軸，按照其執(zhí)行時間的先后，在坐標(biāo)在時間軸上定位；重復(fù) 本步驟直至所有待合并的時間軸合并到同一時間軸為止。
全文摘要
本發(fā)明公開了一種跨組織協(xié)同環(huán)境下時序邏輯驅(qū)動的任務(wù)協(xié)同方法，在將業(yè)務(wù)邏輯存入計算機存儲器后，包括以下步驟CPU讀取存入計算機存儲器中的業(yè)務(wù)邏輯；取得業(yè)務(wù)邏輯中描述的各個協(xié)同者的任務(wù)列表；取得各個協(xié)同者之間的任務(wù)時序邏輯關(guān)系；對于每一組協(xié)同者之間的任務(wù)時序邏輯關(guān)系，獲得時序邏輯關(guān)系參數(shù)；在時間坐標(biāo)軸中建立對時序邏輯關(guān)系的描述；合并所有任務(wù)時序邏輯時間軸；取得各個協(xié)同者的始、終時間；給出執(zhí)行時序邏輯描述。本發(fā)明從建立對協(xié)同任務(wù)的業(yè)務(wù)邏輯開始，整個時序分析過程都是由計算機實現(xiàn)自動化計算的，提高了運行效率和時序分析結(jié)果的可靠性。
文檔編號G06F9/46GK101615139SQ200910183018
公開日2009年12月30日 申請日期2009年8月4日 優(yōu)先權(quán)日2009年8月4日
發(fā)明者超 呂, 竇萬春 申請人:南京大學(xué)