簡(jiǎn)介：在當(dāng)今這個(gè)紛繁復(fù)雜的時(shí)代里多元化建筑思潮廣泛的影響著當(dāng)代的建筑創(chuàng)作改變著人們的生活方式和審美標(biāo)準(zhǔn)。理性主義創(chuàng)作思想被建筑師廣泛應(yīng)用于當(dāng)代建筑創(chuàng)作中并在其不斷發(fā)展中表現(xiàn)出一種全新的理性主義特征。作為當(dāng)今歐洲最著名的建筑師事務(wù)所之一GMP繼承了包豪斯以來現(xiàn)代主義尤其是理性主義的設(shè)計(jì)原則和風(fēng)格并對(duì)其作出了一定的修正與完善從而發(fā)展了一種嚴(yán)謹(jǐn)、有序的設(shè)計(jì)邏輯以及具有浪漫色彩的新理性主義建筑風(fēng)格在建筑界正越來越引人注目。在中國(guó)十五年實(shí)踐中他們創(chuàng)作了大量?jī)?yōu)秀的建筑作品。筆者通過直接或者間接的研究與訪問求證了它的創(chuàng)作思想與設(shè)計(jì)手法。通過對(duì)其在中國(guó)建筑作品的實(shí)地調(diào)研及多層次分析從形式、功能、結(jié)構(gòu)與技術(shù)等方面全方位地展現(xiàn)了其理性的建筑特質(zhì)。本文首先通過對(duì)理性主義設(shè)計(jì)思想的發(fā)展分析力求對(duì)其理論思想和發(fā)展脈絡(luò)有一定清晰而明確的認(rèn)識(shí)。在此基礎(chǔ)之上對(duì)擁有理性思想的GMP建筑師事務(wù)所的創(chuàng)作思想、建筑作品的分析、研究與闡述尤其是它對(duì)于城市與建筑的獨(dú)特理解從中發(fā)現(xiàn)有助于中國(guó)建筑學(xué)習(xí)和發(fā)展的內(nèi)容進(jìn)一步提高我國(guó)建筑創(chuàng)作理論和實(shí)踐水平對(duì)指導(dǎo)未來建筑創(chuàng)作有所裨益進(jìn)而達(dá)到研究的最終目的。

簡(jiǎn)介：多核處理器的出現(xiàn)，讓單線程應(yīng)用移植到并發(fā)的多線程應(yīng)用變得容易起來。多核之間有效同步問題是并行計(jì)算的一個(gè)挑戰(zhàn)。在過去，鎖作為多線程同步的一種主要的機(jī)制，但使用鎖的系統(tǒng)很容易導(dǎo)致較多的錯(cuò)誤出現(xiàn)和較差的擴(kuò)展性。大量多核處理器出現(xiàn)以后，事務(wù)存儲(chǔ)作為一種替代鎖同步的并行編程模型被提出。事務(wù)存儲(chǔ)可以在訪問共享內(nèi)存時(shí)保持自身的原子性。從實(shí)現(xiàn)方式看，有三種事務(wù)存儲(chǔ)系統(tǒng)分別是軟件、硬件和混合事務(wù)存儲(chǔ)系統(tǒng)。相對(duì)于其它的實(shí)現(xiàn)方式硬件事務(wù)存儲(chǔ)具有強(qiáng)原子性和高性能的優(yōu)點(diǎn)因而是本文的研究重點(diǎn)。和其它實(shí)現(xiàn)方式一樣在硬件事務(wù)存儲(chǔ)系統(tǒng)中也會(huì)因共享存儲(chǔ)發(fā)生事務(wù)沖突，引起系統(tǒng)性能降低甚至死鎖。尤其是在實(shí)際設(shè)計(jì)中，常常使用了容量受限的簽名，會(huì)讓事務(wù)沖突加劇。所以還存在著許多問題亟待解決，為此本文提出了一些解決機(jī)制。問題之一是使用的事務(wù)退避時(shí)間模式單一固定，沒有根據(jù)系統(tǒng)運(yùn)行時(shí)的沖突程度動(dòng)態(tài)的調(diào)整。根據(jù)監(jiān)測(cè)運(yùn)行時(shí)的系統(tǒng)信息，本文提出了自適應(yīng)事務(wù)退避機(jī)制，根據(jù)事務(wù)沖突程度調(diào)整事務(wù)退避時(shí)間的長(zhǎng)度。該機(jī)制通過觀測(cè)在前后兩個(gè)采樣時(shí)的放棄階段的時(shí)間比例的變化和有用事務(wù)的時(shí)間比例的變化，自適應(yīng)地調(diào)節(jié)當(dāng)前放棄事務(wù)采用的退避時(shí)間長(zhǎng)度，從而使退避時(shí)間和沖突程度聯(lián)系起來，解決了退避時(shí)間模式過于單一的問題，減少了執(zhí)行時(shí)間的開銷。實(shí)驗(yàn)數(shù)據(jù)表明，帶有自適應(yīng)退避機(jī)制的系統(tǒng)執(zhí)行時(shí)間減少，退避時(shí)間會(huì)隨著系統(tǒng)中的沖突的程度的改變而變化。問題之二是如何選擇放棄的事務(wù)，盡可能的節(jié)省已有的工作同時(shí)滿足其他事務(wù)對(duì)于資源的需求。本文提出了基于ENEMYQUE隊(duì)列的事務(wù)放棄機(jī)制，根據(jù)事務(wù)的競(jìng)爭(zhēng)事務(wù)的個(gè)數(shù)來確定放棄事務(wù)的選擇順序。這種機(jī)制通過將每個(gè)事務(wù)和它申請(qǐng)資源沖突的事務(wù)設(shè)為競(jìng)爭(zhēng)事務(wù)并統(tǒng)計(jì)競(jìng)爭(zhēng)事務(wù)的個(gè)數(shù)，在放棄事務(wù)時(shí)優(yōu)先選擇競(jìng)爭(zhēng)事務(wù)個(gè)數(shù)多的事務(wù)放棄，讓更多的事務(wù)收益于它釋放的資源。實(shí)驗(yàn)數(shù)據(jù)表明，采用ENEMYQUE事務(wù)放棄機(jī)制后系統(tǒng)的性能得到提高，避免了不必要的已有的工作的損失。問題之三是如何選擇重新啟動(dòng)的事務(wù)。事務(wù)的重新啟動(dòng)操作通常由事務(wù)退避時(shí)間來確定，如果退避時(shí)間用完，即使它所需要的共享資源仍被其他的事務(wù)占用也不得不重新啟動(dòng)，從而給系統(tǒng)引入了新的事務(wù)沖突。本文提出了基于即時(shí)通知的事務(wù)重啟機(jī)制，在事務(wù)完成提交或者放棄以后釋放占有的資源并通知和它競(jìng)爭(zhēng)同一資源的競(jìng)爭(zhēng)事務(wù)重啟。這樣就使事務(wù)的重新啟動(dòng)避免了盲目性。實(shí)驗(yàn)數(shù)據(jù)表明，采用即時(shí)通知重新啟動(dòng)機(jī)制的系統(tǒng)的加速比增加，避免了退避時(shí)間點(diǎn)和重新啟動(dòng)時(shí)間點(diǎn)的不一致性造成的系統(tǒng)性能的下降。并將該機(jī)制應(yīng)用在EL和LL系統(tǒng)中，相應(yīng)的系統(tǒng)也有性能的提升。

簡(jiǎn)介：點(diǎn)擊查看更多基于工程設(shè)計(jì)的事務(wù)管理及研究.pdf精彩內(nèi)容。

簡(jiǎn)介：聯(lián)邦數(shù)據(jù)庫(kù)提供了對(duì)多種數(shù)據(jù)源進(jìn)行統(tǒng)一訪問的界面和方法針對(duì)傳統(tǒng)事務(wù)模型在聯(lián)邦數(shù)據(jù)庫(kù)的缺陷給出了聯(lián)邦數(shù)據(jù)庫(kù)系統(tǒng)的事務(wù)模型并使用數(shù)學(xué)的方法對(duì)其適宜性進(jìn)行了評(píng)價(jià)這個(gè)模型為建立聯(lián)邦數(shù)據(jù)庫(kù)設(shè)計(jì)了靈活的分布式體系結(jié)構(gòu)可以不使用全局鎖協(xié)議而顯式地識(shí)別和處理事務(wù)的并行性該模型適用于聯(lián)邦數(shù)據(jù)庫(kù)事務(wù)、非傳統(tǒng)數(shù)據(jù)庫(kù)事務(wù)模型和復(fù)雜的分布式信息系統(tǒng)在有大量的成員數(shù)據(jù)庫(kù)參與的情況下比如有1000個(gè)參與的數(shù)據(jù)庫(kù)依賴于兩階段提交2PC和封鎖協(xié)議的事務(wù)模型幾乎只會(huì)使事務(wù)失敗或死鎖使用分布式對(duì)象核心DOK技術(shù)來研究聯(lián)邦數(shù)據(jù)庫(kù)事務(wù)的訪問控制方法是一個(gè)合適的選擇基于分布式對(duì)象核心技術(shù)給出了一種適用于聯(lián)邦數(shù)據(jù)庫(kù)的安全體系結(jié)構(gòu)使得DOK系統(tǒng)在自治的、分布的、異構(gòu)的數(shù)據(jù)庫(kù)環(huán)境中能夠加強(qiáng)其聯(lián)邦安全策略將數(shù)據(jù)倉(cāng)庫(kù)的方法引入聯(lián)邦事務(wù)處理會(huì)有許多優(yōu)點(diǎn)數(shù)據(jù)倉(cāng)庫(kù)的聯(lián)機(jī)事務(wù)處理OLTP和聯(lián)機(jī)分析處理OLAP技術(shù)可以加強(qiáng)聯(lián)邦數(shù)據(jù)庫(kù)的事務(wù)處理能力基于時(shí)間戳排序的事務(wù)管理算法和調(diào)度算法可以實(shí)現(xiàn)簡(jiǎn)單的聯(lián)邦數(shù)據(jù)庫(kù)事務(wù)處理最后給出了這些算法的性能分析和評(píng)價(jià)

簡(jiǎn)介：基于AS5643協(xié)議的IEEE1394總線網(wǎng)絡(luò)中主要包括CC節(jié)點(diǎn)控制計(jì)算機(jī)節(jié)點(diǎn)和RN節(jié)點(diǎn)遠(yuǎn)程節(jié)點(diǎn)“三節(jié)點(diǎn)CC仿真卡”作為一款多節(jié)點(diǎn)、高速率、高性能的基于AS5643協(xié)議的IEEE1394總線通信接口設(shè)備除了具有CC節(jié)點(diǎn)的功能外還具有仿真RN節(jié)點(diǎn)及總線通信情況的能力。CC仿真卡符合IEEE1394總線的三層體系結(jié)構(gòu)本課題主要以CC仿真卡的事務(wù)層為研究對(duì)象利用FPGA來實(shí)現(xiàn)CC仿真卡事務(wù)層的基本功能。本文首先對(duì)CC仿真卡進(jìn)行簡(jiǎn)要介紹明確了CC仿真卡事務(wù)層應(yīng)實(shí)現(xiàn)哪些功能。其次論文重點(diǎn)對(duì)CC仿真卡事務(wù)層的FPGA設(shè)計(jì)進(jìn)行了詳細(xì)描述采用了自頂向下的FPGA設(shè)計(jì)方法并對(duì)各個(gè)功能子模塊的設(shè)計(jì)作了詳細(xì)介紹。最后對(duì)FPGA設(shè)計(jì)結(jié)果進(jìn)行了仿真驗(yàn)證通過對(duì)傳統(tǒng)仿真平臺(tái)的優(yōu)化高效可靠的實(shí)現(xiàn)了代碼正確性和功能符合性驗(yàn)證。通過以上過程CC仿真卡事務(wù)層的FPGA實(shí)現(xiàn)達(dá)到了預(yù)期研究成果數(shù)據(jù)傳輸速率達(dá)到了預(yù)期的IOOMBITS符合AS5643協(xié)議對(duì)CC節(jié)點(diǎn)的功能要求包括發(fā)送STOF包功能、發(fā)送異步流功能、接收異步流功能、縱向奇偶校驗(yàn)功能、對(duì)鏈路層和物理層的配置功能等具有注錯(cuò)、容錯(cuò)等仿真驗(yàn)證RN節(jié)點(diǎn)和總線行為的能力。

簡(jiǎn)介：事務(wù)處理和并發(fā)控制一直是數(shù)據(jù)庫(kù)研究和實(shí)踐的重要組成部分之一而事務(wù)調(diào)度可序列化理論無疑是事務(wù)處理和并發(fā)控制的核心理論該文開創(chuàng)性地提出了從更小粒度的操作層面來研究事務(wù)原子性和事力調(diào)度的本質(zhì)內(nèi)涵歸納了嵌套事務(wù)模型上合理調(diào)度所需要遵循的自然約束和原子性約束并以此為基礎(chǔ)建立了嵌套事務(wù)模型上面向操作的調(diào)度可序列化理論在此基礎(chǔ)上該文進(jìn)一步研究了事務(wù)之間的邏輯執(zhí)行序與嵌套事務(wù)調(diào)度可序列化之間的關(guān)聯(lián)并指出邏輯事務(wù)序只能夠表達(dá)事務(wù)模型中的原子性約束卻無法體現(xiàn)自然約束為此該文將嵌套事務(wù)模型所特有的自然約束和原子性約束的混合效應(yīng)提取出來稱之為隱式約束并進(jìn)一步分析了其觸發(fā)條件以將其結(jié)合到邏輯事務(wù)序的推演當(dāng)中在該文提出的各種邏輯事務(wù)序當(dāng)中表征事務(wù)序具有實(shí)現(xiàn)簡(jiǎn)便、維護(hù)代價(jià)小等優(yōu)點(diǎn)而適用于調(diào)度器部件的實(shí)現(xiàn)或調(diào)度協(xié)議的實(shí)現(xiàn)進(jìn)一步借助表征事務(wù)序及其推導(dǎo)過程所具有的良好的局部化特征并引入代理事務(wù)來消除跨系統(tǒng)邊界部分對(duì)調(diào)度可序列化的影響該文最終提出了實(shí)現(xiàn)嵌套事務(wù)模型的分散式調(diào)度的可行方法為其在復(fù)合系統(tǒng)中的應(yīng)用提供了理論基礎(chǔ)

簡(jiǎn)介：主動(dòng)實(shí)時(shí)數(shù)據(jù)庫(kù)完善集成了傳統(tǒng)數(shù)據(jù)庫(kù)、實(shí)時(shí)系統(tǒng)及主動(dòng)規(guī)則的技術(shù)和機(jī)制。該文研究主動(dòng)實(shí)時(shí)數(shù)據(jù)系統(tǒng)中事務(wù)及其處理，文中首先介紹了篤于數(shù)據(jù)庫(kù)提出的一些要求，為了滿足這要求實(shí)時(shí)數(shù)據(jù)庫(kù)系統(tǒng)必須具備的功能。然后討論了實(shí)時(shí)數(shù)據(jù)庫(kù)系統(tǒng)中事務(wù)及數(shù)據(jù)特征，討論了它與主動(dòng)數(shù)據(jù)庫(kù)的聯(lián)系。主動(dòng)數(shù)據(jù)庫(kù)系統(tǒng)的數(shù)據(jù)和事務(wù)都可能有顯式的定時(shí)限制，系統(tǒng)的正確性不僅依賴于事務(wù)執(zhí)行的邏輯結(jié)果，而且與結(jié)果產(chǎn)生的時(shí)間緊密相關(guān)。主動(dòng)實(shí)時(shí)數(shù)據(jù)庫(kù)系統(tǒng)追求的目標(biāo)不再是系統(tǒng)的吞吐量及平均響應(yīng)時(shí)間，而是系統(tǒng)中滿足定時(shí)限制典型地為截止期的事務(wù)的比率。這就要求解決在事務(wù)模型、特征、正確性標(biāo)準(zhǔn)、并發(fā)控制、高度等方面的一系列的理論與關(guān)鍵技術(shù)問題。

簡(jiǎn)介：工作流管理一直是企業(yè)界和學(xué)術(shù)界關(guān)注的領(lǐng)域但是目前許多工作流模型在正確性和可靠性方面都有很大不足并不能適應(yīng)實(shí)際應(yīng)用的需要該文將事務(wù)性質(zhì)引入工作流中提出了一種嵌套的具有事務(wù)特性的工作流模型這個(gè)模型包含嵌套任務(wù)和任務(wù)間的依賴并具有高級(jí)事務(wù)模型的一些屬性比如松散的隔離性和原子性我們又進(jìn)一步在這個(gè)模型的基礎(chǔ)上利用這些事務(wù)性質(zhì)提出了有關(guān)工作流的執(zhí)行機(jī)制、系統(tǒng)恢復(fù)和錯(cuò)誤處理等問題的解決方法通過定義一致性單元和執(zhí)行單元放松了事務(wù)的失敗原子性、并發(fā)工作流的可串行化要求以及任務(wù)間的隔離性使工作流在具可靠性和正確性的前提下更靈活地滿足實(shí)際應(yīng)用語義的要求

簡(jiǎn)介：點(diǎn)擊查看更多虹橋商務(wù)區(qū)公共事務(wù)中心大廈智能照明系統(tǒng)設(shè)計(jì).pdf精彩內(nèi)容。

簡(jiǎn)介：點(diǎn)擊查看更多分布式實(shí)時(shí)數(shù)據(jù)庫(kù)的事務(wù)恢復(fù)機(jī)制.pdf精彩內(nèi)容。

簡(jiǎn)介：電子政務(wù)提供的平臺(tái)上有相當(dāng)多的重要公文在流轉(zhuǎn)，因此，保證其中的信息安全非常重要。政務(wù)機(jī)關(guān)內(nèi)部具有嚴(yán)格的辦事流程和程序規(guī)定，一旦違反了業(yè)務(wù)程序和流程，會(huì)造成嚴(yán)重后果。通常的數(shù)字簽名提供了信息發(fā)送者的身份驗(yàn)證，但卻無法保證事務(wù)處理流程的正確。本文介紹了一種事務(wù)數(shù)字簽名算法，該算法能夠驗(yàn)證整個(gè)事務(wù)處理流程的正確性。事務(wù)數(shù)字簽名算法的安全性建立在橢圓曲線離散對(duì)數(shù)問題的難解性之上。作者以橢圓曲線密碼體制為基礎(chǔ)，完成了該事務(wù)數(shù)字簽名算法的實(shí)現(xiàn)。事務(wù)數(shù)字簽名協(xié)議包括生成事務(wù)簽名，和對(duì)接收到的簽名進(jìn)行驗(yàn)證兩部分。目前，對(duì)定義在特征值為2或者大素?cái)?shù)的有限域上的橢圓曲線計(jì)算已經(jīng)有了比較深入的研究，因此本文討論了定義在特征3的有限域上的橢圓曲線運(yùn)算，采用多項(xiàng)式基表示法實(shí)現(xiàn)。作者對(duì)定義在有限域F_32，F(xiàn)_33，F(xiàn)_34上的橢圓曲線，詳細(xì)分析了曲線上的點(diǎn)構(gòu)成的循環(huán)群結(jié)構(gòu)。橢圓曲線點(diǎn)群中元素之間的運(yùn)算構(gòu)成了事務(wù)數(shù)字簽名算法的基本運(yùn)算。

簡(jiǎn)介：點(diǎn)擊查看更多分布式計(jì)算環(huán)境下工作流事務(wù)完整性研究.pdf精彩內(nèi)容。

簡(jiǎn)介：分布式數(shù)據(jù)庫(kù)系統(tǒng)中，數(shù)據(jù)分布在計(jì)算機(jī)網(wǎng)絡(luò)各物理站點(diǎn)上，所以要求把分布式事務(wù)分解成若干子事務(wù)，在不同的站點(diǎn)上對(duì)相應(yīng)的本地?cái)?shù)據(jù)庫(kù)進(jìn)行操作，由此引發(fā)了分布式事務(wù)提交的原子性問題。目前主要采用分布式事務(wù)提交協(xié)議來保證其原子特性。兩階段提交協(xié)議為解決分布式事務(wù)的原子性提交問題而提出，要求在事務(wù)提交的過程中，所有的子事務(wù)全部提交或全部撤銷。兩階段提交協(xié)議因其提交過程簡(jiǎn)單目前被廣泛的應(yīng)用，但其存在易于阻塞和信息成本大的缺點(diǎn)。一階段提交協(xié)議對(duì)通信速率要求高，并且對(duì)數(shù)據(jù)庫(kù)系統(tǒng)有一定的要求和限制，故適用范圍有限，但事務(wù)在整個(gè)提交過程中，消息復(fù)雜度和強(qiáng)制寫日志的次數(shù)較少，分布式事務(wù)整體的執(zhí)行效率高。三階段提交協(xié)議在一定程度上解決了兩階段提交協(xié)議的阻塞性問題，提高了系統(tǒng)資源的利用率，但同時(shí)進(jìn)一步增加了信息通信成本，整體上降低了事務(wù)的執(zhí)行效率。因此，如何在保證分布式事務(wù)原子性的同時(shí)，降低分布式事務(wù)阻塞問題發(fā)生，并進(jìn)一步提高事務(wù)執(zhí)行的效率是分布式數(shù)據(jù)庫(kù)系統(tǒng)中研究的熱點(diǎn)問題。本文首先對(duì)分布式事務(wù)的相關(guān)知識(shí)和現(xiàn)有的分布式事務(wù)提交協(xié)議如兩階段事務(wù)提交協(xié)議、一階段事務(wù)提交協(xié)議、三階段事務(wù)提交協(xié)議以及基本的12PC協(xié)議等進(jìn)行研究和優(yōu)缺點(diǎn)的分析，并重點(diǎn)介紹了基本的12PC協(xié)議。其次，針對(duì)提交協(xié)議中存在的阻塞問題，本文提出一種新的協(xié)議，該協(xié)議以基本的12PC協(xié)議為基礎(chǔ)，通過“多站點(diǎn)備份”技術(shù)和“心跳檢測(cè)”技術(shù)來減少當(dāng)故障發(fā)生時(shí)分布式事務(wù)發(fā)生阻塞的幾率，并縮短參與者正常終止事務(wù)的時(shí)間。然后對(duì)新協(xié)議從消息復(fù)雜度和強(qiáng)制寫日志次數(shù)兩個(gè)方面進(jìn)行優(yōu)化，提高分布式事務(wù)執(zhí)行的效率。最后，本文給出了新協(xié)議的故障處理與恢復(fù)方法，并通過與已有的分布式事務(wù)提交協(xié)議在消息復(fù)雜度、時(shí)間延遲復(fù)雜度、事務(wù)發(fā)生阻塞的幾率以及發(fā)生阻塞后參與者的等待時(shí)間這四個(gè)方面進(jìn)行性能比較和分析，說明了新協(xié)議的優(yōu)勢(shì)所在。

簡(jiǎn)介：為了解決分布式結(jié)構(gòu)異構(gòu)性問題提出的一種新的計(jì)算模型WEB服務(wù)，目標(biāo)是使不同平臺(tái)的應(yīng)用程序具有互操作性。分布式環(huán)境中的WEB服務(wù)需要相互協(xié)同工作，保證組合服務(wù)執(zhí)行結(jié)果的一致性和可靠性是WEB服務(wù)面臨的重要挑戰(zhàn)之一，事務(wù)機(jī)制是解決此類問題的重要手段。由于WEB服務(wù)自治、松散耦合以及長(zhǎng)周期等特點(diǎn)使得傳統(tǒng)事務(wù)技術(shù)無法直接應(yīng)用到WEB服務(wù)中來。WEB服務(wù)事務(wù)處理規(guī)范WEBSERVICESTRANSACTIONSWSTX描述了一個(gè)為協(xié)調(diào)分布式應(yīng)用程序行為提供協(xié)議支持的可擴(kuò)展框架，可被用于支持多個(gè)業(yè)務(wù)流程實(shí)例的運(yùn)行。但目前的這些協(xié)調(diào)框架中都缺乏對(duì)組合服務(wù)的流程語義的刻畫機(jī)制，用戶在考慮事務(wù)協(xié)調(diào)時(shí)，需要手動(dòng)編寫復(fù)雜代碼界定業(yè)務(wù)流程。標(biāo)準(zhǔn)業(yè)務(wù)流程執(zhí)行語言BUSINESSPROCESSEXECUTIONLANGUAGEBPEL是用來描寫業(yè)務(wù)流程的編程語言，基于工作流的BPEL雖然能夠靈活定義業(yè)務(wù)流程，但是在事務(wù)方面缺乏靈活性，如BPEL并不支持原子事務(wù)和跨流程事務(wù)，也不支持重試等向前恢復(fù)策略。本文通過對(duì)BPEL進(jìn)行事務(wù)描述能力擴(kuò)展，并將其與WSTX規(guī)范相結(jié)合，給出一種可靠的WEB服務(wù)組合協(xié)調(diào)框架，支持靈活的事務(wù)協(xié)調(diào)和流程定義。主要工作分為以下三個(gè)方面1針對(duì)BPEL業(yè)務(wù)流程缺乏靈活事務(wù)語義，給出了事務(wù)語義擴(kuò)展機(jī)制。首先介紹了WEB服務(wù)組合的事務(wù)流定義，在此基礎(chǔ)上提出了基于BPEL語言的組合服務(wù)事務(wù)語義擴(kuò)展方法。在BPEL中定義的事務(wù)語義將用于業(yè)務(wù)流程的協(xié)調(diào)。2給出基于BPEL和WSTX的WEB服務(wù)組合事務(wù)協(xié)調(diào)框架。結(jié)合BPEL在業(yè)務(wù)流程定義方面和WSTX在WEB服務(wù)事務(wù)協(xié)調(diào)方面的優(yōu)勢(shì)，提出了一種基于兩者的WEB服務(wù)組合協(xié)調(diào)框架。研究了框架的體系結(jié)構(gòu)、異常處理策略、協(xié)調(diào)算法和業(yè)務(wù)流程的執(zhí)行、協(xié)調(diào)過程等。3設(shè)計(jì)實(shí)現(xiàn)原型系統(tǒng)。基于AXIS2和APACHEODE設(shè)計(jì)實(shí)現(xiàn)了原型系統(tǒng)，并通過一個(gè)WEB組合服務(wù)的實(shí)例應(yīng)用說明框架的可行性。

簡(jiǎn)介：點(diǎn)擊查看更多事務(wù)間量化關(guān)聯(lián)規(guī)則挖掘的研究及應(yīng)用.pdf精彩內(nèi)容。