簡(jiǎn)介：事務(wù)處理技術(shù)是保證信息一致性和可靠性的關(guān)鍵技術(shù)。傳統(tǒng)的事務(wù)處理技術(shù)主要應(yīng)用于集中式或分布式數(shù)據(jù)庫系統(tǒng)，具有原子性、持久性、一致性和隔離性的特點(diǎn)。近年來，隨著移動(dòng)通信技術(shù)的發(fā)展，移動(dòng)數(shù)據(jù)庫技術(shù)的研究引起了人們的極大關(guān)注，作為移動(dòng)數(shù)據(jù)庫系統(tǒng)的關(guān)鍵技術(shù)之一，移動(dòng)事務(wù)處理的概念也已被引入到更廣泛的移動(dòng)計(jì)算環(huán)境當(dāng)中，成為移動(dòng)數(shù)據(jù)庫研究領(lǐng)域的熱點(diǎn)問題。但是，由于移動(dòng)計(jì)算環(huán)境的特殊性，移動(dòng)事務(wù)處理技術(shù)仍面臨很多的挑戰(zhàn)。如何有效處理移動(dòng)事務(wù)的移動(dòng)性、頻繁斷接性、一致性以及事務(wù)恢復(fù)等一直是移動(dòng)事務(wù)模型研究中的重點(diǎn)，也正是本文研究的目的。本文首先闡述了移動(dòng)事務(wù)的基本概念，并對(duì)非移動(dòng)事務(wù)和移動(dòng)事務(wù)作了比較，指出移動(dòng)事務(wù)處理的復(fù)雜性和特殊性，然后總結(jié)了移動(dòng)事務(wù)處理技術(shù)的研究現(xiàn)狀，接著研究了幾種典型的移動(dòng)事務(wù)模型，總結(jié)出移動(dòng)事務(wù)模型處理需求目標(biāo)。然后以實(shí)際的移動(dòng)保險(xiǎn)銷售系統(tǒng)為背景，提出了一種支持移動(dòng)性、頻繁斷接性和數(shù)據(jù)一致性的移動(dòng)事務(wù)模型RHMT。該模型吸納了KANGAROO模型及O2PCMT模型的設(shè)計(jì)思想，以事務(wù)隊(duì)列機(jī)制來支持事務(wù)的移動(dòng)性，采用樂觀并發(fā)控制和兩階段提交的策略實(shí)現(xiàn)數(shù)據(jù)的一致性。在文章的最后，我們結(jié)合J2ME和J2EE技術(shù)實(shí)現(xiàn)了一個(gè)基于三層構(gòu)架移動(dòng)終端移動(dòng)事務(wù)協(xié)調(diào)器中心數(shù)據(jù)庫的模擬系統(tǒng)，系統(tǒng)對(duì)移動(dòng)事務(wù)的跨區(qū)切換策略和斷接處理方法進(jìn)行模擬。實(shí)踐證明本文所述的移動(dòng)事務(wù)處理模型是可行和有效的。

簡(jiǎn)介：吐魯番出土西州文書中，保存了許多珍貴的民間工匠資料。通過對(duì)這批數(shù)據(jù)的考索，可以還原出西州民間工匠日常生活及與官府發(fā)生關(guān)系的方方面面，了解西州民間工匠的基本生存狀況。借助西州的例子，也可以管窺整個(gè)唐前期民間工匠的大致面貌。通過討論，還發(fā)現(xiàn)西州民間工匠在諸多方面，都基本與農(nóng)民趨于一致，體現(xiàn)了一定程度上的工農(nóng)合一的歷史趨勢(shì)。第一章，總述研究西州民間工匠的意義與前人的研究成果。第二章，討論西州民間工匠的生業(yè)與組織。認(rèn)為西州的民間工匠除了本色的功作貿(mào)易外，還可能會(huì)占有土地、兼營農(nóng)業(yè)生產(chǎn)。在日常生活中以具有行業(yè)特色的團(tuán)為組織，上役之時(shí)則被編為火。第三章，介紹西州民間工匠的賦役。認(rèn)為其賦役以役和雜徭為主。官府征發(fā)工匠上役有一套完整的程序，而且工匠除了在官府作坊中服役外，也可能會(huì)被配去充驛丁、烽子等徭役性色役。西州民間工匠還要與百姓一同從事力役性的雜徭，而且也經(jīng)常會(huì)被征召雜使。第四章，探討西州民間工匠的兵役和雜任。認(rèn)為他們與農(nóng)民一樣，也會(huì)被揀點(diǎn)成為衛(wèi)士，參與府兵的番上任務(wù)。同時(shí)，還有一些民間工匠也會(huì)承擔(dān)類似里正一類的雜任，表明西州的民間工匠也具有了一定的社會(huì)地位。第五章，在前幾章討論的基礎(chǔ)上，指出西州民間工匠在唐前期的社會(huì)經(jīng)濟(jì)制度下，有趨同于農(nóng)民的歷史現(xiàn)象，并進(jìn)一步討論了這一現(xiàn)象對(duì)于理解唐代工匠的社會(huì)地位及唐前期的社會(huì)結(jié)構(gòu)所具有的重要意義。

簡(jiǎn)介：分布式事務(wù)的提交和恢復(fù)機(jī)制是分布式數(shù)據(jù)庫研究中的一個(gè)重要方面。提交協(xié)議負(fù)責(zé)事務(wù)的正確提交，恢復(fù)處理則是在事務(wù)處理系統(tǒng)發(fā)生故障后，使數(shù)據(jù)庫恢復(fù)到某一個(gè)一致的狀態(tài)，它們?cè)诰S護(hù)事務(wù)的原子性和數(shù)據(jù)庫的可靠性方面發(fā)揮著巨大作用。由于網(wǎng)格環(huán)境中資源的異構(gòu)性、動(dòng)態(tài)性、分布性等特點(diǎn)，已有的分布式事務(wù)提交和恢復(fù)機(jī)制不能完全適用于網(wǎng)格環(huán)境，因此，對(duì)網(wǎng)格環(huán)境下的事務(wù)提交和恢復(fù)機(jī)制的研究非常有意義。本文所做的工作主要有1分析網(wǎng)格環(huán)境下事務(wù)的特點(diǎn)，提出了一個(gè)基于AGENT的網(wǎng)格事務(wù)模型。該模型利用AGENT技術(shù)和網(wǎng)格中間件技術(shù)，能夠適應(yīng)網(wǎng)格環(huán)境下事務(wù)的長期性、動(dòng)態(tài)性要求，支持參與者的自治性和彼此間的協(xié)作性，支持網(wǎng)格環(huán)境中資源的異構(gòu)性。模型以基于服務(wù)的方式動(dòng)態(tài)訪問數(shù)據(jù)庫，充分體現(xiàn)了網(wǎng)格的特點(diǎn)。網(wǎng)格中間件服務(wù)提供站點(diǎn)間的通信和協(xié)作。2提出了一個(gè)面向網(wǎng)格的事務(wù)提交協(xié)議EARLYN0PREPAREENPPROTOCOL及相應(yīng)的恢復(fù)處理方法。該協(xié)議取消了兩階段提交協(xié)議2PC中的投票階段，參與者可以自行決定提交或終止，不必等待協(xié)調(diào)者發(fā)來的命令。設(shè)計(jì)了網(wǎng)格環(huán)境下的事務(wù)提交準(zhǔn)則，對(duì)協(xié)議的正確性進(jìn)行了證明，并對(duì)其進(jìn)行了性能分析。通過理論分析表明，本文提出的ENP協(xié)議降低了提交協(xié)議的消息復(fù)雜度和日志復(fù)雜度，同時(shí)參與者站點(diǎn)擁有較高的自治性，能夠滿足網(wǎng)格環(huán)境中各參與者的自治性要求。利用JAVA對(duì)其進(jìn)行模擬試驗(yàn)，驗(yàn)證了協(xié)議的可行性。3提出了網(wǎng)格環(huán)境下的故障恢復(fù)協(xié)議超時(shí)協(xié)議和重啟動(dòng)協(xié)議；使得在等待超時(shí)或站點(diǎn)出現(xiàn)故障時(shí)能及時(shí)有效地恢復(fù)到一個(gè)正確狀態(tài)。分析了網(wǎng)格環(huán)境下特有的故障形式，給出相應(yīng)的處理方式。最后，對(duì)故障恢復(fù)協(xié)議進(jìn)行了簡(jiǎn)要分析。

簡(jiǎn)介：互聯(lián)網(wǎng)的普及以及WEBSERVICE技術(shù)的出現(xiàn)使得電子商務(wù)得以迅猛發(fā)展，同時(shí)也激起了日益強(qiáng)烈的對(duì)于跨平臺(tái)自動(dòng)化的需求。人們希望業(yè)務(wù)伙伴之間的系統(tǒng)能夠根據(jù)一定的規(guī)則自動(dòng)完成某個(gè)商業(yè)業(yè)務(wù)流程，而不需要過多的人為操作。因此，各種業(yè)務(wù)流程描述語言和業(yè)務(wù)流程集成架構(gòu)被提出，通過堅(jiān)持不懈的努力合作，IBM、MICROSOFT和BEA共同提出了BPEL4WSWEBSERVICE業(yè)務(wù)流程執(zhí)行語言。該語言結(jié)合了IBM的WSFL以及MICROSOFT的XLANG的優(yōu)點(diǎn)，提供了更多的功能和更強(qiáng)的靈活性以極其自然的方式實(shí)現(xiàn)各種類型的業(yè)務(wù)流程的整合，因此成為了現(xiàn)階段業(yè)務(wù)流程集成領(lǐng)域的標(biāo)準(zhǔn)。本文在BPEL4WS的基礎(chǔ)上，引入分層設(shè)計(jì)的思想，提出相關(guān)的業(yè)務(wù)流程執(zhí)行引擎架構(gòu)。同時(shí)借鑒語義WEB技術(shù)，對(duì)引擎的智能擴(kuò)展進(jìn)行了有益的研究。

簡(jiǎn)介：目前，工作流技術(shù)的研究與應(yīng)用在我國尚處于起步階段，雖然已經(jīng)有不少研究人員從不同的角度開展了工作流管理及其相關(guān)技術(shù)的研究，但是，有關(guān)工作流管理技術(shù)研究和應(yīng)用中的許多關(guān)鍵技術(shù)還處于探索階段。隨著環(huán)境的復(fù)雜化，工作流更需要穩(wěn)定性，可靠性。而事務(wù)管理以提供并發(fā)和失敗處理的形式來確保其正確性，因此事務(wù)模型可應(yīng)用到工作流中以提高可靠性。目前的實(shí)現(xiàn)途徑是試圖將現(xiàn)有的事務(wù)模型映射到工作流的定義之中，或者引進(jìn)新的先進(jìn)事務(wù)模型來滿足復(fù)雜工作流應(yīng)用的要求。然而工作流對(duì)事物處理的需求常常依賴于特定的應(yīng)用，因此我們需要一個(gè)獨(dú)立于已有模型的定義事務(wù)屬性的模型。如何使工作流技術(shù)與事務(wù)處理技術(shù)結(jié)合起來，提高工作流系統(tǒng)的穩(wěn)定性和可靠性，正是本文研究的出發(fā)點(diǎn)。人們?cè)趥鹘y(tǒng)事務(wù)模型的基礎(chǔ)上提出了許多高級(jí)事務(wù)模型，希望能夠?qū)⒏呒?jí)事務(wù)模型應(yīng)用到長時(shí)間運(yùn)行的分布式工作流管理中。但是，許多高級(jí)事務(wù)模型的執(zhí)行結(jié)構(gòu)都很有限，大量研究表明，無論工作流管理系統(tǒng)應(yīng)用傳統(tǒng)事務(wù)模型，或直接采用高級(jí)事務(wù)模型是不可行的。已有的WFMS產(chǎn)品基本上沒有應(yīng)用任何高級(jí)事務(wù)模型，只有少量的原型系統(tǒng)應(yīng)用了高級(jí)事務(wù)模型。于是人們又在對(duì)高級(jí)事務(wù)模型進(jìn)行研究的基礎(chǔ)上提出了事務(wù)性工作流TRANSACTIONALWKFLOW的概念，也就是說工作流也具有事務(wù)性，利用事務(wù)的特性對(duì)工作流進(jìn)行管理。本文闡述了一種在事務(wù)性工作流中建立一種參照高級(jí)事務(wù)模型的兩層次事務(wù)模型，在一定程度上解決傳統(tǒng)事務(wù)模型的一些缺點(diǎn)。本文對(duì)工作流管理系統(tǒng)中的事務(wù)和事務(wù)處理進(jìn)行了深入的研究，分析比較了工作流管理系統(tǒng)中事務(wù)概念與傳統(tǒng)事務(wù)、高級(jí)事務(wù)的不同，從而明確了工作流管理系統(tǒng)中事務(wù)處理需要解決的問題的重點(diǎn)與難點(diǎn)。在此分析的基礎(chǔ)之上，提出了一個(gè)具有事務(wù)支持的工作流模型。為了保證關(guān)鍵業(yè)務(wù)活動(dòng)的正確、可靠執(zhí)行，該模型保留了事務(wù)處理的原子性和隔離性，但是提出了針對(duì)長事務(wù)而放寬原子性，為此提出了事務(wù)范圍和原子范圍的概念。此外，還提出了一組基于兩層次運(yùn)行記錄的事務(wù)恢復(fù)執(zhí)行模式，其目的是為了保證事務(wù)范圍具有放松了的原子性，模型的恢復(fù)處理模式能根據(jù)模型中的事務(wù)語義靈活有效的進(jìn)行失敗恢復(fù)。本文旨在為工作流技術(shù)中事務(wù)處理方面的研究進(jìn)行既有學(xué)術(shù)價(jià)值又有實(shí)用價(jià)值的積極探索。

簡(jiǎn)介：揚(yáng)州大學(xué)碩士學(xué)位論文北洋政府時(shí)期文書檔案制度及其實(shí)踐姓名張敏申請(qǐng)學(xué)位級(jí)別碩士專業(yè)中國近現(xiàn)代史指導(dǎo)教師周新國華國梁200705012揚(yáng)州大學(xué)碩士學(xué)位論文ABSTRACTTHEORGANIZATIONSANDTHERULESANDREGULATIONSOFTHEARELAIVESWORKOFTHEDOCUMENTWE把SETUPDURINGTHEPERIODOFTLAENORTHERNGOVERNMENTREGARDEDORGANASTHEUNITEVERYCENTRALDEPAR刪HASCONCRETE刪CEANDREGULATIONOFTHESYSTEMONCOLLECTIONARRANGEMENTQUALIFICATIONCUSTODYANDUTILIZATIONSOCIAL刪OIIS趾DTHEINDIVIDUALSALSOTAKEACTIVEPARTINTHEARELAIVESWORKOFTHEDOCUMENTWHIELAOPENSANEWERATHESTUDYOILTHEARCHIVESWORKOFTLAEDOCUMENTDURINGTHEPERIODOFTHENORTHERNGOVERNMENTWOULDOFFERREFERENCEFORPRESENTWORKANDHELPUSCONTINUETHEDEVELOPMENTOFTHEARCHIVESWORKOFTHEDOCUMENTTHIS缸TIELEISMADE叩OFFOURPARTSITELABO眥ESESTABLISHMENTOFTBEORGANIZATIONS棚舊T／AERULESANDREGULATIONSOFTHEARCHIVOSWORKOFTHEDOEUMELATDURINGTHEPEIODOFTHENORTHERNGOVERNMENTITALSOEXPOSITSCONCRETEPRACTICEONEVERYCENTRALD印ARLMENTSOCIALORGANIZATIONSANDTHEINDIVIDUALSTHELASTPARTMAKESOBJECTIVEEXPOSITIONS013THEARCHIVESWORKOFTHEDOCUMENTANDFURTHEREVALUATEITSENLIGHTENMENTANDITSLIMITATIONSSTUDYINGFILEARCHIVESWORKOFLTAEDOCUMENTDURINGTHEPERIODOF伍ENORTHERNGOVERNMENTHASFARREAELAINGMEANINGITHASMADEEONLRIBUTIONSTOTHEARCHIVESWORKOFTHEDOCUMENTINWHICHADVANCESBYLEAPSANDBOUNDSIFTHEREHADNOTDEVELOPED013THEARCHIVESWORKOFTHEDOCUMENTDURINGTHEPERIODOFTHENORFLAERNGOVERNMENTTHEREWOULDNOTHAVEBEENAELAIEVEMENTSDURINGTHENATIONALGOVERNMENTPERIODMEANTIMETHEARCHIVESWORKOFTHEDOCUMENTDURINGTHEPERIODOFFLAENORTHERNGOVERNMENTISTHESIGNOFTHEBEGINNINGOFMELTINGINMODEMTIMESITPLAYSANIRREPLACEABLEFUNCTIONINTHEHIS呻OFTHEARELAIVESWORKOFTHEDOCUMENTITSACDEFIEN∞ANDIESSONSTELLUSTHATTHEARELAIVESWORKOFTHEDOCUMENTISNLAINLYAKINDOFBEHAVIOROFTHEGOVEMMCNTANDVARIOUSCIRCLESOFSOCIETYONLYWETOGETHERMAKECONCERTEDEFFORTSFILEARCHIVESWORKOFLHEDOCUMENTCALLSPLIT鋤DPRESENTRADIANCEKEYWORDSDURINGTHEPERIODOFTHENORTHERNGOVERNMENTTHEARCHIVESWORKOFTHEDOCUMENTTHEREGULATIONS

簡(jiǎn)介：佛道關(guān)系是宗教與歷史研究的一個(gè)熱點(diǎn)問題。敦煌文書道教詮理答難是研究佛道關(guān)系史和敦煌道教的珍貴資料。到目前為止，還沒有對(duì)此件文書?？钡闹靼l(fā)表，只停留在對(duì)它作簡(jiǎn)要介紹的階段。為此，本文首先對(duì)道教詮理答難進(jìn)行校錄，然后結(jié)合佛道論衡史及敦煌道教進(jìn)行研究。本文分上、下兩篇。上篇是研究篇，下篇是校錄篇。研究篇分為四章第一章對(duì)文書的作者、命名和基本特征進(jìn)行探討；第二章闡述文書所反映的道教義理及其特點(diǎn)，并結(jié)合傳世文獻(xiàn)一道教義樞考證出文書最初版本產(chǎn)生年代的大致范圍為唐初至武周時(shí)期；第三章分析文書產(chǎn)生的背景以及在敦煌地區(qū)出現(xiàn)的原因第四章揭示文書對(duì)研究唐代佛道論衡史的價(jià)值。下篇主要是對(duì)文書道教詮理答難進(jìn)行校錄。

簡(jiǎn)介：索取哥』型L且L霄輯二二般一南京旰芤火警碩士學(xué)位論文圄敦煌地理文書匯輯校注校議作者院系指導(dǎo)教師學(xué)科專業(yè)社愛華文學(xué)院黃征教授中國古典文獻(xiàn)學(xué)NOTESOFCOLLATION＆ANNOTATIONOILCOLLECTIONANDCOLLATIONTOTHEABSTRACTDUNHUANGGEOGRAPHICALDOCUMENTSCOLLECTIONANDCOLLATIONTOTHEDUNHUANGGEOGRAPHICALDOCUMENTSWHICHWASREEDITEDBYZHENGBINGLINANDPUBLISHEDBYGANSUEDUCATIONPRESSIN1989，PROVIDESITSREADERSWITHCONVENIENTANDPRACTICALMATERIALSONDUNHUANGGEOGRAPHICALDOCUMENTSBUTBECAUSEOFTHEDIFFICULTIESOFTHETRANSCRIPTIONSANDEXPLANATIONSONDUNHUANGGEOGRAPHICALDOCUMENTS，THEREARESOMEPLACESTHATCANCONTINUETOSTUDYTHISTHESISISBASEDONCOLLECTIONANDCOLLATIONTOTHEDUNHUANGGEOGRAPHICALDOCUMENTSACCORDINGTOTHEPHOTOSOFMANUSCRIPTS，CHARACTERSANDOTHERANCIENTDOCUMENTS，THEAUTHORMADESOMECOLLATIONSANDANNOTATIONSSOMECORRECTIONSANDSUPPLEMENTSTOITSTRANSCRIPTIONSANDEXPLANATIONSAREGIVENHEREFORREFERENCEKEYWORDSDUNHUANGGEOGRAPHICALDOCUMENTS；TRANSCRIPTIONANDEXPLANATIONCORRECTIONANDSUPPLEMENT

簡(jiǎn)介：點(diǎn)擊查看更多唐代河南道研究——以敦煌文書為中心_2225.pdf精彩內(nèi)容。

簡(jiǎn)介：隨著WEB技術(shù)的發(fā)展與普及以及電子商務(wù)的迅速崛起，一種新的基于WEB的應(yīng)用正在迅速發(fā)展，這就是WEBSERVICES技術(shù)。它的出現(xiàn)改變了以往分布式系統(tǒng)間的集成方式，以XML作為數(shù)據(jù)交換標(biāo)準(zhǔn)，使用SOAP，WSDL以及UDDI等協(xié)議來描述、發(fā)布、發(fā)現(xiàn)和調(diào)用服務(wù)，使得運(yùn)用不同分布式集成架構(gòu)的系統(tǒng)之間可以方便的相互溝通。WEB服務(wù)組合是將網(wǎng)絡(luò)中存在的WEB服務(wù)按照一定的業(yè)務(wù)規(guī)則組合起來，相互協(xié)同執(zhí)行，為網(wǎng)絡(luò)中的用戶提供更可靠、靈活、有價(jià)值的服務(wù)。在實(shí)際商業(yè)應(yīng)用中這類組合過程必須能夠保證多個(gè)WEB服務(wù)運(yùn)行結(jié)果的可靠性和一致性，并能及時(shí)解決運(yùn)行時(shí)的各種異常，因此WEB服務(wù)組合技術(shù)體系需要事務(wù)技術(shù)的支持。但是，目前的WEB服務(wù)體系只提出基本的組合事務(wù)模型和部分事務(wù)規(guī)范，很少對(duì)服務(wù)的組合事務(wù)處理進(jìn)行深入的研究。然而，事務(wù)處理作為WEB服務(wù)的關(guān)鍵技術(shù)之一，決定著WEB服務(wù)組合技術(shù)是否能被企業(yè)廣泛地采用。OASIS、IBM和微軟等公司在近幾年連續(xù)推出了有關(guān)WEB服務(wù)的事務(wù)規(guī)范，主要包括BTP、WEB服務(wù)原子事務(wù)規(guī)范和WEB服務(wù)業(yè)務(wù)活動(dòng)規(guī)范等，但是這些規(guī)范中制定的規(guī)則是泛化的，實(shí)現(xiàn)起來有一定困難，同時(shí)并沒有考慮WEB服務(wù)組合的特點(diǎn)。在上述情況下，本文首先介紹了目前WEB服務(wù)與WEB服務(wù)組合的概念以及發(fā)展現(xiàn)狀，然后對(duì)目前WEB服務(wù)事務(wù)所面臨的問題做了介紹，并從學(xué)術(shù)界與工業(yè)界兩個(gè)不同的角度，即WEB服務(wù)事務(wù)模型與WEB服務(wù)事務(wù)規(guī)范兩方面，對(duì)WEB服務(wù)事務(wù)的研究現(xiàn)狀進(jìn)行了綜述。其次，在現(xiàn)有的WEB服務(wù)事務(wù)規(guī)范的基礎(chǔ)上，結(jié)合WEB服務(wù)組合事務(wù)的特點(diǎn)設(shè)計(jì)符合WSC規(guī)范的支持組合事務(wù)的事務(wù)處理系統(tǒng)模型。其中的工作包括分析WEB服務(wù)事務(wù)的特點(diǎn)，構(gòu)建WEB服務(wù)組合的事務(wù)模型，針對(duì)不同組合事務(wù)模型的特點(diǎn)對(duì)其事務(wù)提交協(xié)議進(jìn)行優(yōu)化。針對(duì)原子事務(wù)模型，提出了基于權(quán)值的原子事務(wù)提交協(xié)議并進(jìn)行了實(shí)驗(yàn)，針對(duì)業(yè)務(wù)活動(dòng)事務(wù)模型，提出了一種新的業(yè)務(wù)活動(dòng)事務(wù)提交協(xié)議。另外，根據(jù)事務(wù)處理模型在處理過程中對(duì)于事務(wù)性QOS的需求，建立了在WEB服務(wù)組合平臺(tái)上有廣泛應(yīng)用前景的可擴(kuò)展的QOS管理框架，并進(jìn)行了模擬實(shí)驗(yàn)予以驗(yàn)證。最后，在上述構(gòu)建的系統(tǒng)模型與優(yōu)化協(xié)議的基礎(chǔ)上實(shí)現(xiàn)原型系統(tǒng)，得出實(shí)驗(yàn)數(shù)據(jù)驗(yàn)證系統(tǒng)的效果，并指出了在進(jìn)一步的研究中需要完善的問題。

簡(jiǎn)介：本文主要圍繞WEB服務(wù)組合及WEB服務(wù)事務(wù)處理的形式化描述而展開。首先，對(duì)WEB服務(wù)的概念、體系結(jié)構(gòu)及其特征做了簡(jiǎn)單描述。列舉了WEB服務(wù)的基本技術(shù)數(shù)據(jù)交換標(biāo)準(zhǔn)XML，簡(jiǎn)單對(duì)象訪問協(xié)議SOAP，WEB服務(wù)描述語言WSDL，統(tǒng)一描述、發(fā)現(xiàn)與集成協(xié)議UDDI。比較了編排CHEOGRAPHY與編制CHESTRATION之間的差異，并且也指出它們之間應(yīng)該是一種協(xié)作的關(guān)系。分析了WEB服務(wù)事務(wù)諸如長運(yùn)行時(shí)間、自治性、松耦合、異構(gòu)性等特點(diǎn)，介紹了現(xiàn)有方案BTP、WSCT、WSTXM的事務(wù)處理機(jī)制。對(duì)所要用到的形式化工具Π演算進(jìn)行了基本語法、操作語義的介紹。在此基礎(chǔ)上，采用擴(kuò)展的Π演算建立獨(dú)立于具體編排CHEOGRAPHY、編制CHESTRATION語言方案的形式化模型，以用來刻畫WEB服務(wù)事務(wù)的處理機(jī)制。在不考慮時(shí)間因素的前提下，用抽象事務(wù)等結(jié)構(gòu)對(duì)標(biāo)準(zhǔn)的Π演算進(jìn)行擴(kuò)展，并用來描述WEB服務(wù)的組合機(jī)制。隨后，用擴(kuò)展的實(shí)時(shí)REALTIMEΠ演算來刻畫WEB服務(wù)事務(wù)的時(shí)間特性，重點(diǎn)討論了WEB服務(wù)事務(wù)的強(qiáng)時(shí)間互模擬關(guān)系、弱時(shí)間互模擬關(guān)系及基于時(shí)間粒的互模擬關(guān)系。研究成果主要包括以下兩個(gè)方面通過事件進(jìn)程PQT、WEB事務(wù)結(jié)構(gòu)⊿PQT；R⊿X及消息進(jìn)程SIGNALT對(duì)標(biāo)準(zhǔn)的Π演算進(jìn)行擴(kuò)展，定義其結(jié)構(gòu)同余關(guān)系及操作語義。給出了它的轄域律、事務(wù)律、浮動(dòng)律。通過該模型對(duì)WEB服務(wù)組合實(shí)例的形式化的描述，充分體現(xiàn)了其靈活性及表達(dá)能力。對(duì)實(shí)時(shí)Π演算進(jìn)行了事務(wù)描述等擴(kuò)展。為了刻畫動(dòng)作的執(zhí)行時(shí)間，給出了動(dòng)作執(zhí)行時(shí)間算子TΑ的定義。針對(duì)實(shí)時(shí)系統(tǒng)持久性的性質(zhì)，提出了事務(wù)閥值THRED的概念。從延時(shí)和非延時(shí)動(dòng)作兩個(gè)方面，闡述了該模型的操作語義。進(jìn)而，論證了強(qiáng)弱互模擬關(guān)系。最后，從WEB服務(wù)事務(wù)響應(yīng)時(shí)間的角度討論了WEB服務(wù)事務(wù)基于時(shí)間粒的互模擬關(guān)系。

簡(jiǎn)介：WEB服務(wù)事務(wù)處理必須保證多個(gè)WEB服務(wù)運(yùn)行結(jié)果的可靠性和一致性，并能及時(shí)解決運(yùn)行時(shí)發(fā)生的各種異常。目前已有的WEB服務(wù)事務(wù)協(xié)議均不能提供確切的事務(wù)處理語義定義，嚴(yán)重阻礙了事務(wù)的實(shí)現(xiàn)，例如由IBM和MICROSOFT制定的WSCODINATION、WSAT和WSBA協(xié)議，以及由OASIS組織制定的BTP。這些規(guī)范放松了傳統(tǒng)事務(wù)中的ACID屬性的限制，重新定義了松耦合環(huán)境下的事務(wù)性質(zhì)。但是，這些規(guī)范中存在一些問題，比如描述的不詳細(xì)，有歧義等。因此，在規(guī)范的實(shí)施中，迫切需要對(duì)這些事務(wù)協(xié)議進(jìn)行形式化分析及驗(yàn)證，進(jìn)一步完善這些規(guī)范，保證協(xié)議的正確實(shí)施。本文基于多元Л演算，對(duì)WEB服務(wù)事務(wù)協(xié)議WSAT和WSBA進(jìn)行了深入的研究，并提出了一個(gè)事務(wù)工作流的實(shí)現(xiàn)框架。1分析了事務(wù)的分類，按時(shí)間順序可分為傳統(tǒng)事務(wù)、移動(dòng)事務(wù)和WEB服務(wù)事務(wù)等；總結(jié)了事務(wù)的形式化研究現(xiàn)狀，根據(jù)采用的語言可以分為三大方法基于PETRI網(wǎng)的形式化方法、基于進(jìn)程代數(shù)的形式化方法和基于時(shí)序邏輯的形式化方法，并總結(jié)了每一種方法的優(yōu)缺點(diǎn)；對(duì)WEB服務(wù)事務(wù)實(shí)現(xiàn)的研究現(xiàn)狀也作了深入地調(diào)查。2由于WSAT采用簡(jiǎn)單的狀態(tài)轉(zhuǎn)換圖和狀態(tài)轉(zhuǎn)換表，無法描述協(xié)調(diào)者和多個(gè)參與者的復(fù)雜協(xié)調(diào)活動(dòng)，因此為規(guī)范協(xié)調(diào)行為，用Л演算給出了WSAT的形式化描述，并采用MWB工具的弱互模擬檢驗(yàn)命令證明了WSAT滿足原子性。3由于WSBA也是采用簡(jiǎn)單的狀態(tài)轉(zhuǎn)換圖和狀態(tài)轉(zhuǎn)換表，并且沒有給出內(nèi)部狀態(tài)的轉(zhuǎn)變，導(dǎo)致當(dāng)有多個(gè)參與者時(shí)，協(xié)調(diào)者不知如何協(xié)調(diào)它們的輸出結(jié)果，為此提出了WSBA中參與者主動(dòng)提交協(xié)議的擴(kuò)展BAPC。用多元Л演算建立了BAPC協(xié)議的形式化模型，并證明了BAPC協(xié)議滿足長事務(wù)協(xié)議所具有的持久性、可終止性和局部原子性。4根據(jù)WSAT和WSBA的形式化分析，在已有WEB服務(wù)組合工作流引擎WEBJETFLOW上提出了事務(wù)工作流實(shí)現(xiàn)框架TXWEBJETFLOW。通過擴(kuò)展業(yè)務(wù)流程可執(zhí)行語言BPEL和WEBJEFFLOW的原有數(shù)據(jù)結(jié)構(gòu)，加入原子事務(wù)和長事務(wù)協(xié)調(diào)機(jī)制，保證了組合WEB服務(wù)的事務(wù)性質(zhì)。綜上所述，本文通過形式化方法來完善WEB服務(wù)事務(wù)協(xié)議，提出了一個(gè)事務(wù)工作流的實(shí)現(xiàn)架框，對(duì)發(fā)展WEB服務(wù)組合開發(fā)及運(yùn)行平臺(tái)具有重要的理論意義和實(shí)用價(jià)值。

簡(jiǎn)介：WEB服務(wù)通過開放協(xié)議，使得運(yùn)用不同分布式集成架構(gòu)的系統(tǒng)之間可以容易地相互溝通，然而WEB服務(wù)只有通過組合成為更大粒度的服務(wù)，才能充分發(fā)揮WEB服務(wù)的潛力和作用。在WEB服務(wù)組合中，常常需要處理多個(gè)成員WEB服務(wù)之間的交互過程和組合過程，這類過程必須保證多個(gè)WEB服務(wù)運(yùn)行結(jié)果的可靠性和一致性，并能及時(shí)解決運(yùn)行時(shí)發(fā)生的各種異常，在WEB服務(wù)組合處理環(huán)境中需要提供事務(wù)處理技術(shù)的支持。傳統(tǒng)協(xié)議規(guī)范已經(jīng)能夠支持WEB服務(wù)下的事務(wù)處理，但仍然存在許多問題，比如不同的事務(wù)處理規(guī)范之間很難統(tǒng)一起來、不同格式的信息之間不能相互識(shí)別、嵌套事務(wù)補(bǔ)償機(jī)制的正確處理、超時(shí)問題和如何確定一個(gè)最合適的事務(wù)范圍等問題還有待解決。這種WEB服務(wù)事務(wù)處理的模型化方法將WEB服務(wù)系統(tǒng)分為四層進(jìn)行設(shè)計(jì)事務(wù)模型、結(jié)構(gòu)模型、安全模型和工作流模型。每層采用UML圖進(jìn)行設(shè)計(jì)規(guī)劃，對(duì)不同層模型可以采用專門的架構(gòu)師對(duì)其進(jìn)行設(shè)計(jì)。這樣更清楚的分析和描述了WEB服務(wù)系統(tǒng)，并使每層的功能和層與層之間的通信清晰的展現(xiàn)在開發(fā)者和用戶的面前，使開發(fā)的系統(tǒng)更加靈活，更加便于維護(hù)和升級(jí)。該方法中，首先根據(jù)WEB服務(wù)系統(tǒng)的功能需求建立結(jié)構(gòu)模型，然后將事務(wù)從結(jié)構(gòu)模型中抽取出來，最后采用UML的類圖對(duì)事務(wù)層進(jìn)行建模。并通過跨國企業(yè)ERP系統(tǒng)RHOMBUS2系統(tǒng)中的一段業(yè)務(wù)流程來驗(yàn)證這種WEB服務(wù)事務(wù)處理的模型化方法，在設(shè)計(jì)初期就對(duì)事務(wù)的補(bǔ)償機(jī)制、超時(shí)和事務(wù)范圍這些問題進(jìn)行考慮和解決，使事務(wù)處理過程更加符合系統(tǒng)要求，更加清晰和直接，并且隨著技術(shù)的發(fā)展可以很容易對(duì)此模型進(jìn)行擴(kuò)展。

簡(jiǎn)介：點(diǎn)擊查看更多一種信息網(wǎng)格事務(wù)處理框架的研究和實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：點(diǎn)擊查看更多原生XML數(shù)據(jù)庫的事務(wù)管理與并發(fā)控制的研究.pdf精彩內(nèi)容。