眾賞文庫
全部分類
  • 抗擊疫情 >
    抗擊疫情
    病毒認知 防護手冊 復工復產(chǎn) 應急預案 防控方案 英雄事跡 院務工作
  • 成品畢設 >
    成品畢設
    外文翻譯 畢業(yè)設計 畢業(yè)論文 開題報告 文獻綜述 任務書 課程設計 相關資料 大學生活 期刊論文 實習報告
  • 項目策劃 >
    項目策劃
    土地準備 規(guī)劃設計 開工開盤 項目綜合 竣工移交 售后移交 智慧方案 安全專項 環(huán)境影響評估報告 可行性研究報告 項目建議書 商業(yè)計劃書 危害評估防治 招投標文件
  • 專業(yè)資料 >
    專業(yè)資料
    人文法律 環(huán)境安全 食品科學 基礎建設 能源化工 農(nóng)林牧畜 綜合待分類 教育經(jīng)驗 行政人力 企業(yè)管理 醫(yī)學衛(wèi)生 IT技術 土木建筑 考研專題 財會稅務 公路隧道 紡織服裝
  • 共享辦公 >
    共享辦公
    總結匯報 調(diào)研報告 工作計劃 述職報告 講話發(fā)言 心得體會 思想?yún)R報 事務文書 合同協(xié)議 活動策劃 代理加盟 技術服務 求職簡歷 辦公軟件 ppt模板 表格模板 融資協(xié)議 發(fā)言演講 黨團工作 民主生活
  • 學術文檔 >
    學術文檔
    自然科學 生物科學 天文科學 醫(yī)學衛(wèi)生 工業(yè)技術 航空、航天 環(huán)境科學、安全科學 軍事 政學 文化、科學、教育、 交通運輸 經(jīng)濟 語言、文字 文學 農(nóng)業(yè)科學 社會科學總論 藝術 歷史、地理 哲學 數(shù)理科學和化學 綜合性圖書 哲學宗教
  • 經(jīng)營營銷 >
    經(jīng)營營銷
    綜合文檔 經(jīng)濟財稅 人力資源 運營管理 企業(yè)管理 內(nèi)控風控 地產(chǎn)策劃
  • 教學課件 >
    教學課件
    幼兒教育 小學教育 初中教育 高中教育 職業(yè)教育 成人教育 高等教育 考研資源 試題真題 作業(yè)習題 課后答案 綜合教學
  • 土木建筑 >
    土木建筑
    專項施工 應急預案 建筑規(guī)范 工藝方案 技術交底 施工表格 圖片圖集
  • 課程導學 >
    課程導學
    醫(yī)學綜合 中醫(yī)養(yǎng)生 醫(yī)學研究 身心發(fā)展 醫(yī)學試題 影像醫(yī)學 醫(yī)院辦公 外科醫(yī)學 老年醫(yī)學 內(nèi)科醫(yī)學 婦產(chǎn)科 神經(jīng)科 醫(yī)學課件 眼鼻喉科 皮膚病科 腫瘤科 兒科醫(yī)學 康復醫(yī)學 全科醫(yī)學 護理學科 針灸學科 重癥學科 病毒學科 獸醫(yī) 藥學
    • 簡介:事務處理技術是保證信息一致性和可靠性的關鍵技術。傳統(tǒng)的事務處理技術主要應用于集中式或分布式數(shù)據(jù)庫系統(tǒng),具有原子性、持久性、一致性和隔離性的特點。近年來,隨著移動通信技術的發(fā)展,移動數(shù)據(jù)庫技術的研究引起了人們的極大關注,作為移動數(shù)據(jù)庫系統(tǒng)的關鍵技術之一,移動事務處理的概念也已被引入到更廣泛的移動計算環(huán)境當中,成為移動數(shù)據(jù)庫研究領域的熱點問題。但是,由于移動計算環(huán)境的特殊性,移動事務處理技術仍面臨很多的挑戰(zhàn)。如何有效處理移動事務的移動性、頻繁斷接性、一致性以及事務恢復等一直是移動事務模型研究中的重點,也正是本文研究的目的。本文首先闡述了移動事務的基本概念,并對非移動事務和移動事務作了比較,指出移動事務處理的復雜性和特殊性,然后總結了移動事務處理技術的研究現(xiàn)狀,接著研究了幾種典型的移動事務模型,總結出移動事務模型處理需求目標。然后以實際的移動保險銷售系統(tǒng)為背景,提出了一種支持移動性、頻繁斷接性和數(shù)據(jù)一致性的移動事務模型RHMT。該模型吸納了KANGAROO模型及O2PCMT模型的設計思想,以事務隊列機制來支持事務的移動性,采用樂觀并發(fā)控制和兩階段提交的策略實現(xiàn)數(shù)據(jù)的一致性。在文章的最后,我們結合J2ME和J2EE技術實現(xiàn)了一個基于三層構架移動終端移動事務協(xié)調(diào)器中心數(shù)據(jù)庫的模擬系統(tǒng),系統(tǒng)對移動事務的跨區(qū)切換策略和斷接處理方法進行模擬。實踐證明本文所述的移動事務處理模型是可行和有效的。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 51
      8人已閱讀
      ( 4 星級)
    • 簡介:吐魯番出土西州文書中,保存了許多珍貴的民間工匠資料。通過對這批數(shù)據(jù)的考索,可以還原出西州民間工匠日常生活及與官府發(fā)生關系的方方面面,了解西州民間工匠的基本生存狀況。借助西州的例子,也可以管窺整個唐前期民間工匠的大致面貌。通過討論,還發(fā)現(xiàn)西州民間工匠在諸多方面,都基本與農(nóng)民趨于一致,體現(xiàn)了一定程度上的工農(nóng)合一的歷史趨勢。第一章,總述研究西州民間工匠的意義與前人的研究成果。第二章,討論西州民間工匠的生業(yè)與組織。認為西州的民間工匠除了本色的功作貿(mào)易外,還可能會占有土地、兼營農(nóng)業(yè)生產(chǎn)。在日常生活中以具有行業(yè)特色的團為組織,上役之時則被編為火。第三章,介紹西州民間工匠的賦役。認為其賦役以役和雜徭為主。官府征發(fā)工匠上役有一套完整的程序,而且工匠除了在官府作坊中服役外,也可能會被配去充驛丁、烽子等徭役性色役。西州民間工匠還要與百姓一同從事力役性的雜徭,而且也經(jīng)常會被征召雜使。第四章,探討西州民間工匠的兵役和雜任。認為他們與農(nóng)民一樣,也會被揀點成為衛(wèi)士,參與府兵的番上任務。同時,還有一些民間工匠也會承擔類似里正一類的雜任,表明西州的民間工匠也具有了一定的社會地位。第五章,在前幾章討論的基礎上,指出西州民間工匠在唐前期的社會經(jīng)濟制度下,有趨同于農(nóng)民的歷史現(xiàn)象,并進一步討論了這一現(xiàn)象對于理解唐代工匠的社會地位及唐前期的社會結構所具有的重要意義。
      下載積分: 5 賞幣
      上傳時間:2024-03-11
      頁數(shù): 86
      7人已閱讀
      ( 4 星級)
    • 簡介:分布式事務的提交和恢復機制是分布式數(shù)據(jù)庫研究中的一個重要方面。提交協(xié)議負責事務的正確提交,恢復處理則是在事務處理系統(tǒng)發(fā)生故障后,使數(shù)據(jù)庫恢復到某一個一致的狀態(tài),它們在維護事務的原子性和數(shù)據(jù)庫的可靠性方面發(fā)揮著巨大作用。由于網(wǎng)格環(huán)境中資源的異構性、動態(tài)性、分布性等特點,已有的分布式事務提交和恢復機制不能完全適用于網(wǎng)格環(huán)境,因此,對網(wǎng)格環(huán)境下的事務提交和恢復機制的研究非常有意義。本文所做的工作主要有1分析網(wǎng)格環(huán)境下事務的特點,提出了一個基于AGENT的網(wǎng)格事務模型。該模型利用AGENT技術和網(wǎng)格中間件技術,能夠適應網(wǎng)格環(huán)境下事務的長期性、動態(tài)性要求,支持參與者的自治性和彼此間的協(xié)作性,支持網(wǎng)格環(huán)境中資源的異構性。模型以基于服務的方式動態(tài)訪問數(shù)據(jù)庫,充分體現(xiàn)了網(wǎng)格的特點。網(wǎng)格中間件服務提供站點間的通信和協(xié)作。2提出了一個面向網(wǎng)格的事務提交協(xié)議EARLYN0PREPAREENPPROTOCOL及相應的恢復處理方法。該協(xié)議取消了兩階段提交協(xié)議2PC中的投票階段,參與者可以自行決定提交或終止,不必等待協(xié)調(diào)者發(fā)來的命令。設計了網(wǎng)格環(huán)境下的事務提交準則,對協(xié)議的正確性進行了證明,并對其進行了性能分析。通過理論分析表明,本文提出的ENP協(xié)議降低了提交協(xié)議的消息復雜度和日志復雜度,同時參與者站點擁有較高的自治性,能夠滿足網(wǎng)格環(huán)境中各參與者的自治性要求。利用JAVA對其進行模擬試驗,驗證了協(xié)議的可行性。3提出了網(wǎng)格環(huán)境下的故障恢復協(xié)議超時協(xié)議和重啟動協(xié)議;使得在等待超時或站點出現(xiàn)故障時能及時有效地恢復到一個正確狀態(tài)。分析了網(wǎng)格環(huán)境下特有的故障形式,給出相應的處理方式。最后,對故障恢復協(xié)議進行了簡要分析。
      下載積分: 5 賞幣
      上傳時間:2024-03-13
      頁數(shù): 56
      7人已閱讀
      ( 4 星級)
    • 簡介:互聯(lián)網(wǎng)的普及以及WEBSERVICE技術的出現(xiàn)使得電子商務得以迅猛發(fā)展,同時也激起了日益強烈的對于跨平臺自動化的需求。人們希望業(yè)務伙伴之間的系統(tǒng)能夠根據(jù)一定的規(guī)則自動完成某個商業(yè)業(yè)務流程,而不需要過多的人為操作。因此,各種業(yè)務流程描述語言和業(yè)務流程集成架構被提出,通過堅持不懈的努力合作,IBM、MICROSOFT和BEA共同提出了BPEL4WSWEBSERVICE業(yè)務流程執(zhí)行語言。該語言結合了IBM的WSFL以及MICROSOFT的XLANG的優(yōu)點,提供了更多的功能和更強的靈活性以極其自然的方式實現(xiàn)各種類型的業(yè)務流程的整合,因此成為了現(xiàn)階段業(yè)務流程集成領域的標準。本文在BPEL4WS的基礎上,引入分層設計的思想,提出相關的業(yè)務流程執(zhí)行引擎架構。同時借鑒語義WEB技術,對引擎的智能擴展進行了有益的研究。
      下載積分: 5 賞幣
      上傳時間:2024-03-11
      頁數(shù): 66
      3人已閱讀
      ( 4 星級)
    • 簡介:目前,工作流技術的研究與應用在我國尚處于起步階段,雖然已經(jīng)有不少研究人員從不同的角度開展了工作流管理及其相關技術的研究,但是,有關工作流管理技術研究和應用中的許多關鍵技術還處于探索階段。隨著環(huán)境的復雜化,工作流更需要穩(wěn)定性,可靠性。而事務管理以提供并發(fā)和失敗處理的形式來確保其正確性,因此事務模型可應用到工作流中以提高可靠性。目前的實現(xiàn)途徑是試圖將現(xiàn)有的事務模型映射到工作流的定義之中,或者引進新的先進事務模型來滿足復雜工作流應用的要求。然而工作流對事物處理的需求常常依賴于特定的應用,因此我們需要一個獨立于已有模型的定義事務屬性的模型。如何使工作流技術與事務處理技術結合起來,提高工作流系統(tǒng)的穩(wěn)定性和可靠性,正是本文研究的出發(fā)點。人們在傳統(tǒng)事務模型的基礎上提出了許多高級事務模型,希望能夠?qū)⒏呒壥聞漳P蛻玫介L時間運行的分布式工作流管理中。但是,許多高級事務模型的執(zhí)行結構都很有限,大量研究表明,無論工作流管理系統(tǒng)應用傳統(tǒng)事務模型,或直接采用高級事務模型是不可行的。已有的WFMS產(chǎn)品基本上沒有應用任何高級事務模型,只有少量的原型系統(tǒng)應用了高級事務模型。于是人們又在對高級事務模型進行研究的基礎上提出了事務性工作流TRANSACTIONALWKFLOW的概念,也就是說工作流也具有事務性,利用事務的特性對工作流進行管理。本文闡述了一種在事務性工作流中建立一種參照高級事務模型的兩層次事務模型,在一定程度上解決傳統(tǒng)事務模型的一些缺點。本文對工作流管理系統(tǒng)中的事務和事務處理進行了深入的研究,分析比較了工作流管理系統(tǒng)中事務概念與傳統(tǒng)事務、高級事務的不同,從而明確了工作流管理系統(tǒng)中事務處理需要解決的問題的重點與難點。在此分析的基礎之上,提出了一個具有事務支持的工作流模型。為了保證關鍵業(yè)務活動的正確、可靠執(zhí)行,該模型保留了事務處理的原子性和隔離性,但是提出了針對長事務而放寬原子性,為此提出了事務范圍和原子范圍的概念。此外,還提出了一組基于兩層次運行記錄的事務恢復執(zhí)行模式,其目的是為了保證事務范圍具有放松了的原子性,模型的恢復處理模式能根據(jù)模型中的事務語義靈活有效的進行失敗恢復。本文旨在為工作流技術中事務處理方面的研究進行既有學術價值又有實用價值的積極探索。
      下載積分: 5 賞幣
      上傳時間:2024-03-11
      頁數(shù): 51
      4人已閱讀
      ( 4 星級)
    • 簡介:揚州大學碩士學位論文北洋政府時期文書檔案制度及其實踐姓名張敏申請學位級別碩士專業(yè)中國近現(xiàn)代史指導教師周新國華國梁200705012揚州大學碩士學位論文ABSTRACTTHEORGANIZATIONSANDTHERULESANDREGULATIONSOFTHEARELAIVESWORKOFTHEDOCUMENTWE把SETUPDURINGTHEPERIODOFTLAENORTHERNGOVERNMENTREGARDEDORGANASTHEUNITEVERYCENTRALDEPAR刪HASCONCRETE刪CEANDREGULATIONOFTHESYSTEMONCOLLECTIONARRANGEMENTQUALIFICATIONCUSTODYANDUTILIZATIONSOCIAL刪OIIS趾DTHEINDIVIDUALSALSOTAKEACTIVEPARTINTHEARELAIVESWORKOFTHEDOCUMENTWHIELAOPENSANEWERATHESTUDYOILTHEARCHIVESWORKOFTLAEDOCUMENTDURINGTHEPERIODOFTHENORTHERNGOVERNMENTWOULDOFFERREFERENCEFORPRESENTWORKANDHELPUSCONTINUETHEDEVELOPMENTOFTHEARCHIVESWORKOFTHEDOCUMENTTHIS缸TIELEISMADE叩OFFOURPARTSITELABO眥ESESTABLISHMENTOFTBEORGANIZATIONS棚舊T/AERULESANDREGULATIONSOFTHEARCHIVOSWORKOFTHEDOEUMELATDURINGTHEPEIODOFTHENORTHERNGOVERNMENTITALSOEXPOSITSCONCRETEPRACTICEONEVERYCENTRALD印ARLMENTSOCIALORGANIZATIONSANDTHEINDIVIDUALSTHELASTPARTMAKESOBJECTIVEEXPOSITIONS013THEARCHIVESWORKOFTHEDOCUMENTANDFURTHEREVALUATEITSENLIGHTENMENTANDITSLIMITATIONSSTUDYINGFILEARCHIVESWORKOFLTAEDOCUMENTDURINGTHEPERIODOF伍ENORTHERNGOVERNMENTHASFARREAELAINGMEANINGITHASMADEEONLRIBUTIONSTOTHEARCHIVESWORKOFTHEDOCUMENTINWHICHADVANCESBYLEAPSANDBOUNDSIFTHEREHADNOTDEVELOPED013THEARCHIVESWORKOFTHEDOCUMENTDURINGTHEPERIODOFTHENORFLAERNGOVERNMENTTHEREWOULDNOTHAVEBEENAELAIEVEMENTSDURINGTHENATIONALGOVERNMENTPERIODMEANTIMETHEARCHIVESWORKOFTHEDOCUMENTDURINGTHEPERIODOFFLAENORTHERNGOVERNMENTISTHESIGNOFTHEBEGINNINGOFMELTINGINMODEMTIMESITPLAYSANIRREPLACEABLEFUNCTIONINTHEHIS呻OFTHEARELAIVESWORKOFTHEDOCUMENTITSACDEFIEN∞ANDIESSONSTELLUSTHATTHEARELAIVESWORKOFTHEDOCUMENTISNLAINLYAKINDOFBEHAVIOROFTHEGOVEMMCNTANDVARIOUSCIRCLESOFSOCIETYONLYWETOGETHERMAKECONCERTEDEFFORTSFILEARCHIVESWORKOFLHEDOCUMENTCALLSPLIT鋤DPRESENTRADIANCEKEYWORDSDURINGTHEPERIODOFTHENORTHERNGOVERNMENTTHEARCHIVESWORKOFTHEDOCUMENTTHEREGULATIONS
      下載積分: 5 賞幣
      上傳時間:2024-03-13
      頁數(shù): 97
      11人已閱讀
      ( 4 星級)
    • 簡介:佛道關系是宗教與歷史研究的一個熱點問題。敦煌文書道教詮理答難是研究佛道關系史和敦煌道教的珍貴資料。到目前為止,還沒有對此件文書??钡闹靼l(fā)表,只停留在對它作簡要介紹的階段。為此,本文首先對道教詮理答難進行校錄,然后結合佛道論衡史及敦煌道教進行研究。本文分上、下兩篇。上篇是研究篇,下篇是校錄篇。研究篇分為四章第一章對文書的作者、命名和基本特征進行探討;第二章闡述文書所反映的道教義理及其特點,并結合傳世文獻一道教義樞考證出文書最初版本產(chǎn)生年代的大致范圍為唐初至武周時期;第三章分析文書產(chǎn)生的背景以及在敦煌地區(qū)出現(xiàn)的原因第四章揭示文書對研究唐代佛道論衡史的價值。下篇主要是對文書道教詮理答難進行校錄。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 61
      4人已閱讀
      ( 4 星級)
    • 簡介:索取哥』型L且L霄輯二二般一南京旰芤火警碩士學位論文圄敦煌地理文書匯輯校注校議作者院系指導教師學科專業(yè)社愛華文學院黃征教授中國古典文獻學NOTESOFCOLLATION&ANNOTATIONOILCOLLECTIONANDCOLLATIONTOTHEABSTRACTDUNHUANGGEOGRAPHICALDOCUMENTSCOLLECTIONANDCOLLATIONTOTHEDUNHUANGGEOGRAPHICALDOCUMENTSWHICHWASREEDITEDBYZHENGBINGLINANDPUBLISHEDBYGANSUEDUCATIONPRESSIN1989,PROVIDESITSREADERSWITHCONVENIENTANDPRACTICALMATERIALSONDUNHUANGGEOGRAPHICALDOCUMENTSBUTBECAUSEOFTHEDIFFICULTIESOFTHETRANSCRIPTIONSANDEXPLANATIONSONDUNHUANGGEOGRAPHICALDOCUMENTS,THEREARESOMEPLACESTHATCANCONTINUETOSTUDYTHISTHESISISBASEDONCOLLECTIONANDCOLLATIONTOTHEDUNHUANGGEOGRAPHICALDOCUMENTSACCORDINGTOTHEPHOTOSOFMANUSCRIPTS,CHARACTERSANDOTHERANCIENTDOCUMENTS,THEAUTHORMADESOMECOLLATIONSANDANNOTATIONSSOMECORRECTIONSANDSUPPLEMENTSTOITSTRANSCRIPTIONSANDEXPLANATIONSAREGIVENHEREFORREFERENCEKEYWORDSDUNHUANGGEOGRAPHICALDOCUMENTS;TRANSCRIPTIONANDEXPLANATIONCORRECTIONANDSUPPLEMENT
      下載積分: 5 賞幣
      上傳時間:2024-03-11
      頁數(shù): 58
      4人已閱讀
      ( 4 星級)
    • 下載積分: 5 賞幣
      上傳時間:2024-03-11
      頁數(shù): 83
      4人已閱讀
      ( 4 星級)
    • 簡介:隨著WEB技術的發(fā)展與普及以及電子商務的迅速崛起,一種新的基于WEB的應用正在迅速發(fā)展,這就是WEBSERVICES技術。它的出現(xiàn)改變了以往分布式系統(tǒng)間的集成方式,以XML作為數(shù)據(jù)交換標準,使用SOAP,WSDL以及UDDI等協(xié)議來描述、發(fā)布、發(fā)現(xiàn)和調(diào)用服務,使得運用不同分布式集成架構的系統(tǒng)之間可以方便的相互溝通。WEB服務組合是將網(wǎng)絡中存在的WEB服務按照一定的業(yè)務規(guī)則組合起來,相互協(xié)同執(zhí)行,為網(wǎng)絡中的用戶提供更可靠、靈活、有價值的服務。在實際商業(yè)應用中這類組合過程必須能夠保證多個WEB服務運行結果的可靠性和一致性,并能及時解決運行時的各種異常,因此WEB服務組合技術體系需要事務技術的支持。但是,目前的WEB服務體系只提出基本的組合事務模型和部分事務規(guī)范,很少對服務的組合事務處理進行深入的研究。然而,事務處理作為WEB服務的關鍵技術之一,決定著WEB服務組合技術是否能被企業(yè)廣泛地采用。OASIS、IBM和微軟等公司在近幾年連續(xù)推出了有關WEB服務的事務規(guī)范,主要包括BTP、WEB服務原子事務規(guī)范和WEB服務業(yè)務活動規(guī)范等,但是這些規(guī)范中制定的規(guī)則是泛化的,實現(xiàn)起來有一定困難,同時并沒有考慮WEB服務組合的特點。在上述情況下,本文首先介紹了目前WEB服務與WEB服務組合的概念以及發(fā)展現(xiàn)狀,然后對目前WEB服務事務所面臨的問題做了介紹,并從學術界與工業(yè)界兩個不同的角度,即WEB服務事務模型與WEB服務事務規(guī)范兩方面,對WEB服務事務的研究現(xiàn)狀進行了綜述。其次,在現(xiàn)有的WEB服務事務規(guī)范的基礎上,結合WEB服務組合事務的特點設計符合WSC規(guī)范的支持組合事務的事務處理系統(tǒng)模型。其中的工作包括分析WEB服務事務的特點,構建WEB服務組合的事務模型,針對不同組合事務模型的特點對其事務提交協(xié)議進行優(yōu)化。針對原子事務模型,提出了基于權值的原子事務提交協(xié)議并進行了實驗,針對業(yè)務活動事務模型,提出了一種新的業(yè)務活動事務提交協(xié)議。另外,根據(jù)事務處理模型在處理過程中對于事務性QOS的需求,建立了在WEB服務組合平臺上有廣泛應用前景的可擴展的QOS管理框架,并進行了模擬實驗予以驗證。最后,在上述構建的系統(tǒng)模型與優(yōu)化協(xié)議的基礎上實現(xiàn)原型系統(tǒng),得出實驗數(shù)據(jù)驗證系統(tǒng)的效果,并指出了在進一步的研究中需要完善的問題。
      下載積分: 5 賞幣
      上傳時間:2024-03-12
      頁數(shù): 68
      4人已閱讀
      ( 4 星級)
    • 簡介:本文主要圍繞WEB服務組合及WEB服務事務處理的形式化描述而展開。首先,對WEB服務的概念、體系結構及其特征做了簡單描述。列舉了WEB服務的基本技術數(shù)據(jù)交換標準XML,簡單對象訪問協(xié)議SOAP,WEB服務描述語言WSDL,統(tǒng)一描述、發(fā)現(xiàn)與集成協(xié)議UDDI。比較了編排CHEOGRAPHY與編制CHESTRATION之間的差異,并且也指出它們之間應該是一種協(xié)作的關系。分析了WEB服務事務諸如長運行時間、自治性、松耦合、異構性等特點,介紹了現(xiàn)有方案BTP、WSCT、WSTXM的事務處理機制。對所要用到的形式化工具Π演算進行了基本語法、操作語義的介紹。在此基礎上,采用擴展的Π演算建立獨立于具體編排CHEOGRAPHY、編制CHESTRATION語言方案的形式化模型,以用來刻畫WEB服務事務的處理機制。在不考慮時間因素的前提下,用抽象事務等結構對標準的Π演算進行擴展,并用來描述WEB服務的組合機制。隨后,用擴展的實時REALTIMEΠ演算來刻畫WEB服務事務的時間特性,重點討論了WEB服務事務的強時間互模擬關系、弱時間互模擬關系及基于時間粒的互模擬關系。研究成果主要包括以下兩個方面通過事件進程PQT、WEB事務結構⊿PQT;R⊿X及消息進程SIGNALT對標準的Π演算進行擴展,定義其結構同余關系及操作語義。給出了它的轄域律、事務律、浮動律。通過該模型對WEB服務組合實例的形式化的描述,充分體現(xiàn)了其靈活性及表達能力。對實時Π演算進行了事務描述等擴展。為了刻畫動作的執(zhí)行時間,給出了動作執(zhí)行時間算子TΑ的定義。針對實時系統(tǒng)持久性的性質(zhì),提出了事務閥值THRED的概念。從延時和非延時動作兩個方面,闡述了該模型的操作語義。進而,論證了強弱互模擬關系。最后,從WEB服務事務響應時間的角度討論了WEB服務事務基于時間粒的互模擬關系。
      下載積分: 5 賞幣
      上傳時間:2024-03-13
      頁數(shù): 53
      12人已閱讀
      ( 4 星級)
    • 簡介:WEB服務事務處理必須保證多個WEB服務運行結果的可靠性和一致性,并能及時解決運行時發(fā)生的各種異常。目前已有的WEB服務事務協(xié)議均不能提供確切的事務處理語義定義,嚴重阻礙了事務的實現(xiàn),例如由IBM和MICROSOFT制定的WSCODINATION、WSAT和WSBA協(xié)議,以及由OASIS組織制定的BTP。這些規(guī)范放松了傳統(tǒng)事務中的ACID屬性的限制,重新定義了松耦合環(huán)境下的事務性質(zhì)。但是,這些規(guī)范中存在一些問題,比如描述的不詳細,有歧義等。因此,在規(guī)范的實施中,迫切需要對這些事務協(xié)議進行形式化分析及驗證,進一步完善這些規(guī)范,保證協(xié)議的正確實施。本文基于多元Л演算,對WEB服務事務協(xié)議WSAT和WSBA進行了深入的研究,并提出了一個事務工作流的實現(xiàn)框架。1分析了事務的分類,按時間順序可分為傳統(tǒng)事務、移動事務和WEB服務事務等;總結了事務的形式化研究現(xiàn)狀,根據(jù)采用的語言可以分為三大方法基于PETRI網(wǎng)的形式化方法、基于進程代數(shù)的形式化方法和基于時序邏輯的形式化方法,并總結了每一種方法的優(yōu)缺點;對WEB服務事務實現(xiàn)的研究現(xiàn)狀也作了深入地調(diào)查。2由于WSAT采用簡單的狀態(tài)轉(zhuǎn)換圖和狀態(tài)轉(zhuǎn)換表,無法描述協(xié)調(diào)者和多個參與者的復雜協(xié)調(diào)活動,因此為規(guī)范協(xié)調(diào)行為,用Л演算給出了WSAT的形式化描述,并采用MWB工具的弱互模擬檢驗命令證明了WSAT滿足原子性。3由于WSBA也是采用簡單的狀態(tài)轉(zhuǎn)換圖和狀態(tài)轉(zhuǎn)換表,并且沒有給出內(nèi)部狀態(tài)的轉(zhuǎn)變,導致當有多個參與者時,協(xié)調(diào)者不知如何協(xié)調(diào)它們的輸出結果,為此提出了WSBA中參與者主動提交協(xié)議的擴展BAPC。用多元Л演算建立了BAPC協(xié)議的形式化模型,并證明了BAPC協(xié)議滿足長事務協(xié)議所具有的持久性、可終止性和局部原子性。4根據(jù)WSAT和WSBA的形式化分析,在已有WEB服務組合工作流引擎WEBJETFLOW上提出了事務工作流實現(xiàn)框架TXWEBJETFLOW。通過擴展業(yè)務流程可執(zhí)行語言BPEL和WEBJEFFLOW的原有數(shù)據(jù)結構,加入原子事務和長事務協(xié)調(diào)機制,保證了組合WEB服務的事務性質(zhì)。綜上所述,本文通過形式化方法來完善WEB服務事務協(xié)議,提出了一個事務工作流的實現(xiàn)架框,對發(fā)展WEB服務組合開發(fā)及運行平臺具有重要的理論意義和實用價值。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 74
      5人已閱讀
      ( 4 星級)
    • 簡介:WEB服務通過開放協(xié)議,使得運用不同分布式集成架構的系統(tǒng)之間可以容易地相互溝通,然而WEB服務只有通過組合成為更大粒度的服務,才能充分發(fā)揮WEB服務的潛力和作用。在WEB服務組合中,常常需要處理多個成員WEB服務之間的交互過程和組合過程,這類過程必須保證多個WEB服務運行結果的可靠性和一致性,并能及時解決運行時發(fā)生的各種異常,在WEB服務組合處理環(huán)境中需要提供事務處理技術的支持。傳統(tǒng)協(xié)議規(guī)范已經(jīng)能夠支持WEB服務下的事務處理,但仍然存在許多問題,比如不同的事務處理規(guī)范之間很難統(tǒng)一起來、不同格式的信息之間不能相互識別、嵌套事務補償機制的正確處理、超時問題和如何確定一個最合適的事務范圍等問題還有待解決。這種WEB服務事務處理的模型化方法將WEB服務系統(tǒng)分為四層進行設計事務模型、結構模型、安全模型和工作流模型。每層采用UML圖進行設計規(guī)劃,對不同層模型可以采用專門的架構師對其進行設計。這樣更清楚的分析和描述了WEB服務系統(tǒng),并使每層的功能和層與層之間的通信清晰的展現(xiàn)在開發(fā)者和用戶的面前,使開發(fā)的系統(tǒng)更加靈活,更加便于維護和升級。該方法中,首先根據(jù)WEB服務系統(tǒng)的功能需求建立結構模型,然后將事務從結構模型中抽取出來,最后采用UML的類圖對事務層進行建模。并通過跨國企業(yè)ERP系統(tǒng)RHOMBUS2系統(tǒng)中的一段業(yè)務流程來驗證這種WEB服務事務處理的模型化方法,在設計初期就對事務的補償機制、超時和事務范圍這些問題進行考慮和解決,使事務處理過程更加符合系統(tǒng)要求,更加清晰和直接,并且隨著技術的發(fā)展可以很容易對此模型進行擴展。
      下載積分: 5 賞幣
      上傳時間:2024-03-12
      頁數(shù): 59
      4人已閱讀
      ( 4 星級)
    • 下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 58
      5人已閱讀
      ( 4 星級)
    • 下載積分: 5 賞幣
      上傳時間:2024-03-11
      頁數(shù): 62
      7人已閱讀
      ( 4 星級)
    關于我們 - 網(wǎng)站聲明 - 網(wǎng)站地圖 - 資源地圖 - 友情鏈接 - 網(wǎng)站客服客服 - 聯(lián)系我們

    機械圖紙源碼,實習報告等文檔下載

    備案號:浙ICP備20018660號