簡介：WEB服務(wù)的發(fā)展使得整合不同企業(yè)的應(yīng)用成為可能。通過整合不同企業(yè)提供的WEB服務(wù)，可以構(gòu)建一個(gè)跨多個(gè)企業(yè)的應(yīng)用系統(tǒng)。這樣的應(yīng)用系統(tǒng)由松散耦合的，具有一定自治性的系統(tǒng)組成，通常運(yùn)行持續(xù)時(shí)間長達(dá)幾個(gè)小時(shí)或幾天的業(yè)務(wù)流程。為了確保這樣的業(yè)務(wù)流程產(chǎn)生一致性的結(jié)果，這樣的應(yīng)用系統(tǒng)需要事務(wù)的支持。傳統(tǒng)事務(wù)模型為了在并發(fā)執(zhí)行多個(gè)事務(wù)時(shí)維持一致性，要求事務(wù)訪問的資源在事務(wù)提交前維持鎖定狀態(tài)。這對于長事務(wù)的處理是不合適的，因?yàn)殚L時(shí)間鎖定資源會導(dǎo)致系統(tǒng)的性能降低到不能接收的程度?，F(xiàn)有的長事務(wù)模型通過將全局事務(wù)分解為一系列獨(dú)立提交的子事務(wù)，減少了資源鎖定的時(shí)間。在全局事務(wù)被部分執(zhí)行時(shí)，使用補(bǔ)償事務(wù)來撤消子事務(wù)提交造成的影響。但是在WEB服務(wù)領(lǐng)域，現(xiàn)有的事務(wù)管理協(xié)議沒有提供補(bǔ)償事務(wù)的實(shí)現(xiàn)，要求應(yīng)用程序開發(fā)人員實(shí)現(xiàn)補(bǔ)償事務(wù)。本文在現(xiàn)有長事務(wù)模型的基礎(chǔ)上，提出了一個(gè)基于自動產(chǎn)生補(bǔ)償事務(wù)的通用的長事務(wù)管理服務(wù)。這個(gè)長事務(wù)管理服務(wù)提出了一個(gè)協(xié)調(diào)算法，允許用戶在已提交的子事務(wù)中選擇用戶需要的結(jié)果。使用補(bǔ)償事務(wù)撤消那些用戶不需要的結(jié)果，并且補(bǔ)償事務(wù)是在相應(yīng)的子事務(wù)執(zhí)行時(shí)，由長事務(wù)管理服務(wù)自動產(chǎn)生的。并且長事務(wù)管理服務(wù)作為WEB服務(wù)獨(dú)立部署，不要求現(xiàn)有WEB服務(wù)的實(shí)現(xiàn)做出改變。本文討論了長事務(wù)管理服務(wù)需要實(shí)現(xiàn)的需求，并討論了事務(wù)協(xié)調(diào)算法，以及使用觸發(fā)器實(shí)現(xiàn)補(bǔ)償事務(wù)自動產(chǎn)生的方法，設(shè)計(jì)并實(shí)現(xiàn)了這個(gè)通用的長事務(wù)管理服務(wù)。最后，通過分析測試的需求，設(shè)計(jì)并執(zhí)行了相應(yīng)的測試案例驗(yàn)證了長事務(wù)管理服務(wù)實(shí)現(xiàn)的正確性。

簡介：目前語音網(wǎng)絡(luò)技術(shù)VOICEOVERINTERPROTOCOLVOIP在公司企業(yè)里應(yīng)用廣泛，其成本低廉，傳輸快捷的特點(diǎn)使其逐漸取代傳統(tǒng)的模擬電話模式，具有很強(qiáng)的發(fā)展?jié)摿?。SIP協(xié)議是VOIP語音網(wǎng)絡(luò)技術(shù)中最為成熟的標(biāo)準(zhǔn)協(xié)議。本文主要研究基于SIP協(xié)議下訂閱通知事務(wù)機(jī)制，使呼叫中心在與語音服務(wù)器交互過程中，快速得到訂閱話機(jī)的注冊狀態(tài)信息，及時(shí)收到資源狀態(tài)改變的通知3。這項(xiàng)技術(shù)拓展了語音交換產(chǎn)品在功能上的延伸，提高了有效接線率，避免空閑話機(jī)的資源浪費(fèi)。通過理論學(xué)習(xí)和實(shí)際參加華為3COM公司語音項(xiàng)目的開發(fā)工作，本文設(shè)計(jì)并實(shí)現(xiàn)出訂閱通知事務(wù)的處理策略與流程。其主要工作有1依據(jù)SIP協(xié)議及RFC3265文檔制定出一套訂閱交互的處理流程，包括新增訂閱，刷新訂閱，取消訂閱，F(xiàn)ETCH操作。2分別對訂閱事件與通知事件建立有限狀態(tài)機(jī)。對接收消息進(jìn)行即時(shí)判斷處理并解決消息的重復(fù)載入問題。3針對訂閱注冊超時(shí)與等待響應(yīng)消息超時(shí)，采用定時(shí)器超時(shí)處理函數(shù)接口進(jìn)行超時(shí)后的應(yīng)對處理。4在消息接收處理中對底層消息進(jìn)行提取IE操作，封裝上層消息并發(fā)送。屏蔽不同消息之間的差異。目前項(xiàng)目已通過A類系統(tǒng)測試，在掛接了250部話機(jī)的硬件環(huán)境下，沒有發(fā)生控制塊掛死與死機(jī)現(xiàn)象。訂閱交互流程正常，報(bào)文解析正確，運(yùn)行穩(wěn)定。在國內(nèi)的語音服務(wù)器中，支持訂閱通知服務(wù)是一項(xiàng)語音產(chǎn)品功能上的創(chuàng)新，不但提高了語音服務(wù)器的技術(shù)含量，也同時(shí)縮短了與國外語音產(chǎn)品之間的差距。

簡介：隨著中國法治社會進(jìn)程的推進(jìn)，律師行業(yè)要想在激烈的國際市場競爭中發(fā)展壯大，關(guān)鍵之一就是進(jìn)行信息化建設(shè)。律師事務(wù)所管理中大部分的工作涉及多部門，需要多人協(xié)同工作，具有明顯的流程運(yùn)轉(zhuǎn)的規(guī)律及特征，而工作流技術(shù)作為實(shí)現(xiàn)業(yè)務(wù)管理自動化的一項(xiàng)先進(jìn)技術(shù)正是解決此類問題的有效途徑之一。由于律師事務(wù)所管理情況的復(fù)雜性，通常不可能事先定義過程中的各種控制和步驟，對系統(tǒng)的柔性有著較高的要求。采用先進(jìn)的柔性工作流管理系統(tǒng)能夠較好的處理律所管理系統(tǒng)中的流程問題。本文就是將柔性工作流技術(shù)應(yīng)用于律師行業(yè)的一次實(shí)踐。本文以工作流管理系統(tǒng)參考模型為核心，深入地分析了開源工作流引擎OSWKFLOW的結(jié)構(gòu)和源碼，并在28版基礎(chǔ)上進(jìn)行了二次開發(fā)，實(shí)現(xiàn)了基于柔性工作流的律師事務(wù)所管理系統(tǒng)LOMS。本系統(tǒng)采用RIA架構(gòu)，客戶端基于EXTONJSVM技術(shù)設(shè)計(jì)，而服務(wù)端采用SPRINGHIBERNATE來構(gòu)建。本文完成了基于柔性工作流技術(shù)的律師事務(wù)所管理系統(tǒng)的開發(fā)工作。系統(tǒng)能夠滿足律師事務(wù)所對業(yè)務(wù)流程的要求，經(jīng)過觀察實(shí)際運(yùn)行的效果，能夠?qū)崿F(xiàn)靈活改變流程執(zhí)行路徑、用戶的添加和權(quán)限控制等柔性工作流程控制的功能，系統(tǒng)運(yùn)轉(zhuǎn)穩(wěn)定，運(yùn)行速度較快，具有較高的安全性、擴(kuò)展性、兼容性，規(guī)范性、便捷性。該系統(tǒng)具有十分重要的應(yīng)用意義和推廣應(yīng)用前景，將產(chǎn)生良好的經(jīng)濟(jì)效益和社會效益。柔性工作流管理系統(tǒng)現(xiàn)在己經(jīng)在實(shí)際應(yīng)用中起到了較好的作用，是律師事務(wù)所管理信息化的一個(gè)發(fā)展方向，有較為廣闊的發(fā)展前景。

簡介：可信的WEB服務(wù)需要引入WEB服務(wù)事務(wù)來保證。學(xué)術(shù)界和工業(yè)界借鑒了傳統(tǒng)事務(wù)的一些技術(shù)和經(jīng)驗(yàn)，提出了WEB服務(wù)事務(wù)的規(guī)范和協(xié)議來解決WEB服務(wù)的事務(wù)問題。但WEB服務(wù)事務(wù)和傳統(tǒng)事務(wù)的差異比較大，出現(xiàn)了很多新的問題?，F(xiàn)有規(guī)范和協(xié)議不是很完善，不能很好的解決WEB服務(wù)事務(wù)應(yīng)用中存在的問題。本文通過對傳統(tǒng)事務(wù)和WEB服務(wù)事務(wù)的協(xié)調(diào)模型以及協(xié)調(diào)協(xié)議的研究，發(fā)現(xiàn)WEB服務(wù)事務(wù)參與各方存在緊耦合的問題。為解決這個(gè)問題，本文提出了一個(gè)解耦的WEB服務(wù)事務(wù)中間件模型的架構(gòu)以及具體實(shí)現(xiàn)。本文的主要工作包括以下幾個(gè)方面1提出了WEB服務(wù)事務(wù)中間件模型的架構(gòu)設(shè)計(jì)，對參與WEB服務(wù)事務(wù)的各部分應(yīng)用程序、協(xié)調(diào)器、服務(wù)提供方進(jìn)行了解耦，使應(yīng)用程序與協(xié)調(diào)器不再緊耦合，提高了協(xié)調(diào)器的通用性，使之能夠作為獨(dú)立的第三方軟件出現(xiàn)，成為WEB服務(wù)事務(wù)中間件；事務(wù)中間件各模塊的功能接口都發(fā)布為WEB服務(wù)，從而提高了系統(tǒng)的靈活性，可擴(kuò)展性。2在事務(wù)中間件模型的基礎(chǔ)上，引入了QOS管理器。本文根據(jù)事務(wù)處理的需要給出了WEB服務(wù)QOS屬性定義，應(yīng)用程序根據(jù)業(yè)務(wù)需求選擇QOS值最優(yōu)的WEB服務(wù)進(jìn)行調(diào)用?；诜?wù)提供者對服務(wù)調(diào)用者有QOS的偏好選擇，給出了事務(wù)中QOS屬性值的標(biāo)準(zhǔn)化方法及其QOS綜合評價(jià)的計(jì)算模型，體現(xiàn)了服務(wù)提供方的自治性，保證了服務(wù)提供方的利益。服務(wù)提供者使用QOS管理器來對應(yīng)用程序的QOS屬性值進(jìn)行計(jì)算，從而決定服務(wù)提供方是否響應(yīng)此次調(diào)用。本文采用能自動修正不滿足一致性的判斷矩陣的層次分析法來計(jì)算QOS屬性的權(quán)重，使事務(wù)處理保證完全自動性和連續(xù)性；3對WEB服務(wù)原子事務(wù)模型和協(xié)調(diào)協(xié)議進(jìn)行了設(shè)計(jì)與實(shí)現(xiàn)，對WEB服務(wù)業(yè)務(wù)活動的協(xié)調(diào)協(xié)議進(jìn)行了擴(kuò)展，并對業(yè)務(wù)活動的補(bǔ)償進(jìn)行了研究，提出了配置文件的形式來確定補(bǔ)償操作的嘗試。

簡介：點(diǎn)擊查看更多Web服務(wù)事務(wù)容錯模型研究與設(shè)計(jì).pdf精彩內(nèi)容。

簡介：實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)的目標(biāo)就是使?jié)M足截止期限約束的事務(wù)數(shù)量為最大，因而支持優(yōu)先考慮時(shí)間的事務(wù)調(diào)度是非常重要的。事務(wù)的實(shí)時(shí)調(diào)度方法是決定系統(tǒng)性能好壞的關(guān)鍵，而那些傳統(tǒng)的確定性事務(wù)調(diào)度方法對以時(shí)間優(yōu)先的應(yīng)用來說是不足夠的，確定性事務(wù)調(diào)度方法又不支持一定概率的事務(wù)作業(yè)錯過截止期限。使用MELESS方法保證事務(wù)更新的數(shù)據(jù)對象的時(shí)序一致性是當(dāng)前常用的方法。但是其過于悲觀地使用最壞情況下的事務(wù)作業(yè)計(jì)算時(shí)間來執(zhí)行調(diào)度使得系統(tǒng)資源利用率增大，從而減少了滿足截止期限約束條件的事務(wù)作業(yè)執(zhí)行的個(gè)數(shù)，最終導(dǎo)致了系統(tǒng)性能的下降。因此，為了優(yōu)化系統(tǒng)性能，需要提供一種新方法同時(shí)支持實(shí)時(shí)性和可調(diào)度性，并且期望在事務(wù)執(zhí)行時(shí)的系統(tǒng)資源利用率最低。本文首先研究了實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)中的更新事務(wù)和實(shí)時(shí)數(shù)據(jù)的時(shí)間特性，給出了確定實(shí)時(shí)數(shù)據(jù)正確性的定義；然后分析和比較了傳統(tǒng)的確定性更新事務(wù)調(diào)度算法。并在此基礎(chǔ)上研究了基于延遲更新事務(wù)作業(yè)抽樣時(shí)間以達(dá)到優(yōu)化系統(tǒng)資源利用率的方法，討論了取樣周期和相對截止期限在進(jìn)程調(diào)度中的時(shí)序關(guān)系，緊接著在軟固實(shí)時(shí)系統(tǒng)中引入概率統(tǒng)計(jì)的非確定性方法。最后結(jié)合可延遲調(diào)度算法，并通過概率統(tǒng)計(jì)方法來控制調(diào)度實(shí)時(shí)更新事務(wù)作業(yè)以保證實(shí)時(shí)數(shù)據(jù)的時(shí)序一致性，提出了一種既能更好地優(yōu)化CPU資源利用率，同時(shí)又能保證實(shí)時(shí)更新事務(wù)請求的服務(wù)質(zhì)量的新方法，并通過實(shí)驗(yàn)和理論分析證明了使用該方法可獲得更優(yōu)的系統(tǒng)性能。

簡介：研究背景書寫是人類獨(dú)有的高級神經(jīng)活動在人類的交流中起著重要的作用。復(fù)雜的書寫過程不僅需要視覺、聽覺、運(yùn)動覺的相互協(xié)調(diào)還需要語言、思維、理解、邏輯、記憶等認(rèn)知過程的共同參與。傳統(tǒng)意義上語言優(yōu)勢半球額中回的后部為書寫中樞即EXNER區(qū)。但是隨著臨床觀察、神經(jīng)影像、病理解剖、言語心理等方面的研究的不斷深入越來越多的證據(jù)證明書寫依賴于廣泛的神經(jīng)網(wǎng)絡(luò)涉及額、頂、枕、顳等相關(guān)皮層及皮層下結(jié)構(gòu)。而中文和英文分屬藏漢語系和印歐語系前者為表意文字后者為表音文字無論是字詞結(jié)構(gòu)還是語法規(guī)則均有不同。以往研究多集中于大腦皮質(zhì)與書寫的關(guān)系近年來關(guān)注的皮層下書寫功能多為對兩種語言各自獨(dú)立的研究結(jié)論各異。那么這兩種語言書寫的神經(jīng)心理學(xué)機(jī)制究竟有什么不同基底神經(jīng)節(jié)BASALGANGLIABG在這兩種書寫過程中是否扮演著同樣的角色基底神經(jīng)節(jié)是位于皮層下的灰質(zhì)核團(tuán)屬于錐體外系的一部分包括尾狀核、殼核、蒼白球、丘腦底核等。在哺乳類以下的動物中大腦皮質(zhì)功能不完善基底神經(jīng)節(jié)成為運(yùn)動功能的最高級整合中樞；在哺乳動物中大腦皮質(zhì)充分進(jìn)化基底神經(jīng)節(jié)通過各種神經(jīng)遞質(zhì)及肽類、神經(jīng)環(huán)路參與運(yùn)動調(diào)節(jié)退居于從屬地位。但是隨著對基底神經(jīng)節(jié)研究的不斷深入學(xué)者發(fā)現(xiàn)基底神經(jīng)節(jié)不僅參與運(yùn)動的控制還參與記憶、語言、學(xué)習(xí)、推理、書寫等高級神經(jīng)活動。有學(xué)者認(rèn)為基底神經(jīng)節(jié)可以作為繼BROCA、WERNICK區(qū)之后的“第三語言區(qū)”具有非常重要的研究價(jià)值。臨床上一些主要以基底神經(jīng)節(jié)損害為主的疾病如帕金森病PARKINSON’SDISEASEPD、亨廷頓病HUNTINGTON’SDISEASEHD、肝豆?fàn)詈俗冃訵ILSON’SDISEASEWD、皮質(zhì)基底神經(jīng)節(jié)變性等可引起不同性質(zhì)書寫障礙例如小寫癥、構(gòu)字障礙、視空間失寫等等提供了推測基底神經(jīng)節(jié)參與書寫過程的線索但是由于臨床病例的復(fù)雜性尚難以完全確定有無基底神經(jīng)節(jié)之外的其他腦結(jié)構(gòu)損害與書寫障礙有關(guān)。因此臨床病例研究的不足為進(jìn)一步在健康人群中進(jìn)行書寫研究提供了必要性。目前隨著功能神經(jīng)影像學(xué)的不斷發(fā)展功能磁共振FUNCTIONALMAGICRESOURCEIMAGINGFMRI、腦磁圖MAGOENCEPHALOGRAMMEG、正電子發(fā)射計(jì)算機(jī)體層顯像計(jì)算機(jī)體層顯像POSITRONEMISSIONTOMOGRAPHYCOMPUTERTOMOGRAPHYPETCT對書寫相關(guān)腦區(qū)的活體研究提供了更為有效和精確的定位具有較好的空間及時(shí)間分辨率。但是由于研究手段、實(shí)驗(yàn)范式、研究對象等的不同實(shí)驗(yàn)結(jié)果難以統(tǒng)一。功能磁共振因其較好的空間分辨率及費(fèi)用低廉成為目前主要的研究手段但是其難以模擬常規(guī)書寫且掃描時(shí)間過短難以進(jìn)行持續(xù)性書寫研究。腦磁圖具有較高時(shí)間分辨率但不能探測與顱骨表面垂直方向的徑向電流它只對與顱骨表面成切線方向的電流信號敏感而腦內(nèi)神經(jīng)細(xì)胞排列不規(guī)則所以局部腦區(qū)實(shí)際激活功率的探測將會不可避免的受到影響。PETCT又稱分子成像雖然價(jià)格昂貴但其可從測量示蹤劑在腦內(nèi)神經(jīng)細(xì)胞的代謝來直觀的顯示書寫的功能區(qū)可將刺激任務(wù)的執(zhí)行與掃描分離適用于持續(xù)書寫的研究但目前在書寫功能的研究中應(yīng)用較少。所以應(yīng)用PETCT對健康受試者的書寫進(jìn)行分析對于探討基底神經(jīng)節(jié)在書寫中的作用是一個(gè)新的切入點(diǎn)。本實(shí)驗(yàn)選擇以中文為其第一語言的健康中國大學(xué)生及以英文為其第一語言的印度留學(xué)生為受試者采用PETCT為研究手段主動書寫為實(shí)驗(yàn)范式統(tǒng)計(jì)參數(shù)圖STATISTICALPARAMETRICMAPPINGSPM為統(tǒng)計(jì)軟件分別觀察中英文書寫作業(yè)中基底神經(jīng)節(jié)的葡萄糖代謝進(jìn)而觀察其激活情況以期探討基底神經(jīng)節(jié)在中英文書寫中的作用及其差異并進(jìn)一步推測其神經(jīng)心理學(xué)機(jī)制。研究目的應(yīng)用PETCT揭示中英文書寫作業(yè)中基底神經(jīng)節(jié)的激活情況獲得基底神經(jīng)節(jié)是否參與中英文書寫過程的證據(jù)分析中英文書寫過程中基底神經(jīng)節(jié)激活的差異探討其神經(jīng)心理學(xué)機(jī)制。研究對象中文書寫組受試者6名男性年齡23～25歲平均年齡2367±082歲中文為其第一語言為南方醫(yī)科大學(xué)在讀本科生。英文書寫組受試者6名男性年齡18～21歲平均年齡2017±107歲英語為其第一語言為南方醫(yī)科大學(xué)在讀本科印度留學(xué)生。受試者均為健康右利手者且均可進(jìn)行流利篇章書寫無神經(jīng)及精神系統(tǒng)疾病艾森克人格測驗(yàn)篩選為穩(wěn)定型。本試驗(yàn)通過了南方醫(yī)院醫(yī)學(xué)倫理委員會的批準(zhǔn)受試者在詳細(xì)了解本試驗(yàn)的基礎(chǔ)上自愿簽署了知情同意書。研究方法所有受試者均接受2次PETCT掃描每次各完成1次書寫作業(yè)。中文書寫組的實(shí)驗(yàn)任務(wù)為第一次的假寫作業(yè)和第二次的中文書寫作業(yè)。英文書寫組的試驗(yàn)任務(wù)為第一次的假寫作業(yè)和第二次的英文書寫作業(yè)。2次書寫作業(yè)之間間隔3～5天。根據(jù)中英文書寫的筆勢特征中文的假寫作業(yè)設(shè)計(jì)為以常規(guī)書寫姿勢逐格涂黑稿紙空格英文的假寫作業(yè)設(shè)計(jì)為以常規(guī)書寫姿勢在信紙上畫螺旋圖形均不產(chǎn)生文字；中英文書寫作業(yè)均設(shè)計(jì)為命題篇章書寫。受試者每次作業(yè)時(shí)采用PETCT進(jìn)行掃描以獲得假寫作業(yè)和文字書寫作業(yè)時(shí)的圖像數(shù)據(jù)進(jìn)而應(yīng)用SPM2對每組兩次作業(yè)的圖像數(shù)據(jù)進(jìn)行配對F檢驗(yàn)比較從而獲得中英文文字書寫各自葡萄糖代謝增高的區(qū)域及相應(yīng)的腦功能激活圖。應(yīng)用SPM2對中文書寫作業(yè)和英文書寫作業(yè)進(jìn)行兩個(gè)樣本T檢驗(yàn)的分析從而獲得中英文書寫相比較的葡萄糖代謝增高的區(qū)域及相應(yīng)的腦功能激活圖。結(jié)果1中文書寫組中文書寫作業(yè)與假寫作業(yè)比較激活區(qū)為右側(cè)尾狀核P2英文書寫組英文書寫作業(yè)與假寫作業(yè)比較激活區(qū)為左側(cè)尾狀核頭P3中英文書寫作業(yè)比較激活區(qū)為右側(cè)殼核P結(jié)論1右側(cè)尾狀核參與中文書寫過程并在右利手受試者中具有同側(cè)優(yōu)勢性；2左側(cè)尾狀核參與英文書寫過程并在右利手受試者中具有對側(cè)優(yōu)勢性；3右側(cè)殼核在中英文書寫作業(yè)比較時(shí)激活參與中文復(fù)雜的視空間構(gòu)像加工右側(cè)基底神經(jīng)節(jié)在整合皮層神經(jīng)沖動時(shí)起到樞紐的作用；4基底神經(jīng)節(jié)與廣泛大腦皮層及小腦分工協(xié)作共同組成了書寫相關(guān)的神經(jīng)網(wǎng)絡(luò)。

簡介：WEB服務(wù)是解決分布式結(jié)構(gòu)異構(gòu)性的計(jì)算模型，WEB服務(wù)中的事務(wù)處理是保證服務(wù)結(jié)果一致性和可靠性的有效技術(shù)。由于WEB服務(wù)自身的分布性、異構(gòu)性、自描述等特點(diǎn)，WEB服務(wù)中的事務(wù)處理也具有長周期、自治性等特點(diǎn)，傳統(tǒng)的事務(wù)處理技術(shù)不再適應(yīng)。為解決些問題，工業(yè)界提出新的事務(wù)處理協(xié)議，如BTP、WSCTX、WSCAF、THP等協(xié)議。學(xué)術(shù)上，形式化方法已被用于對基于消息通訊的并發(fā)系統(tǒng)的建模和分析，模型檢測方法在協(xié)議分析上有著抽象、高效等特點(diǎn)。因此將形式化方法用于WEB服務(wù)領(lǐng)域已經(jīng)成為一個(gè)重要的研究方向。本文采用形式化方法對支持事務(wù)協(xié)調(diào)的THP協(xié)議進(jìn)行建模與驗(yàn)證分析。從“結(jié)構(gòu)組件活性驗(yàn)證”與“業(yè)務(wù)邏輯安全性驗(yàn)證”兩部分對THP協(xié)議進(jìn)行建模和分析。針對THP協(xié)議的并發(fā)特性，采用PI演算進(jìn)行建模，給出THP協(xié)議結(jié)構(gòu)組件到PI演算語法的映射表和建模規(guī)則。在對THP協(xié)議各個(gè)模塊建模的基礎(chǔ)上，得到THP協(xié)議結(jié)構(gòu)組件的PI演算模型，然后運(yùn)用PI演算模型檢測工具M(jìn)WB對THP協(xié)議結(jié)構(gòu)組件的死鎖性進(jìn)行檢測，從而驗(yàn)證了在并發(fā)情況下，THP協(xié)議各結(jié)構(gòu)組件不會產(chǎn)生死鎖。另一方面，對THP協(xié)議的業(yè)務(wù)邏輯進(jìn)一步驗(yàn)證。本文給出SCHEMA中消息到PI演算的映射規(guī)則，以及THP協(xié)議中WSDL描述到PI演算的編碼規(guī)則，從元模型層實(shí)現(xiàn)了THP協(xié)議規(guī)范到PI演算的映射方法，為THP協(xié)議業(yè)務(wù)邏輯實(shí)例的PI演算建模提供了分析的基礎(chǔ)。由于MWB不支持時(shí)間算子和相關(guān)的邏輯性質(zhì)規(guī)約的推演，本文采用支持LTL的SAL，對模型的性質(zhì)進(jìn)行刻畫、檢測，通過反例的生成解釋了通信中為什么存在不同步的現(xiàn)象。最后給出THP協(xié)議的應(yīng)用實(shí)例，并對其建模以檢測是否滿足期望的性質(zhì)，針對出現(xiàn)的問題給出解決方案，實(shí)現(xiàn)了模型檢測方法對WEB服務(wù)業(yè)務(wù)流程的管理與設(shè)計(jì)的指導(dǎo)作用。

簡介：點(diǎn)擊查看更多移動事務(wù)管理中的若干關(guān)鍵問題研究.pdf精彩內(nèi)容。

簡介：福建師范大學(xué)碩士學(xué)位論文近代福建外國教會契約文書之研究姓名李莉申請學(xué)位級別碩士專業(yè)專門史指導(dǎo)教師謝必震200341第二章近代福建外國教會契約文書的形制與內(nèi)容考述教會契約文書形制的特殊性和內(nèi)容的“本地化”傾向。本章分四節(jié)。第一節(jié)考察教會契約文書形制的沿革從最初借用民間契式，到民國八年專門的教會租契，再到民國二十九年教會永租土地契式，教會契約文書的形制不斷完善正規(guī)。并考察教會契約文書的附屬文書不動產(chǎn)圖式、官文書、領(lǐng)事館登記文書等。第二節(jié)論述教會契約文書的主要內(nèi)容，即民教間買賣、租典、捐贈不動產(chǎn)及借貸等情況。第三節(jié)從親鄰優(yōu)先權(quán)、中人制度、找價(jià)、附繳上手契等方面，闡述教會契約文書中的民間習(xí)慣法。第四節(jié)對比分析了教會契約與民間契約的異同點(diǎn)，著重分析了領(lǐng)事官在民教經(jīng)濟(jì)契約關(guān)系中的重要作用。第三章從教會契約文書看邵武美部會的發(fā)展18731931本章根據(jù)福建師范大學(xué)歷史系資料室藏的邵武美部會契，考察該會1873至1931年間發(fā)展的歷史。研究表明教會發(fā)展的初期注重堂會的建立及各種禮拜堂、祈禱所、宣道所的設(shè)立，以謀求教會的立足進(jìn)入發(fā)展階段后，則加強(qiáng)附屬事業(yè)的興辦，并以具體的契例，體現(xiàn)教會勢力深入民間基層，與官府、紳耆、教徒、一般業(yè)主、當(dāng)?shù)卮髴?、家族組織、民間信仰組織、民間會、社組織及幫會之間打交道的具體情況。另外，還對教會兩大特色事業(yè)一～奶牛業(yè)及農(nóng)林試驗(yàn)的發(fā)展進(jìn)行考察。并在前文論述的基礎(chǔ)上，得出四點(diǎn)認(rèn)識邵武美部會的傳教具有比較固定的性質(zhì)；體現(xiàn)近代在華教會傳教的基本模式；勢力的發(fā)展是多方面合力綜合作用的結(jié)果從契約文書的角度，可以豐富、客觀、全面地研究教會史。第四章教會契約文書與福建民間社會的細(xì)部考察本章分兩節(jié)，考察教會與福建民間社會的互動關(guān)系。第一節(jié)以具體契例論述近代教會在福建置產(chǎn)的十二種手段和渠道。認(rèn)為為傳教所需的置產(chǎn)目的，決定教會置產(chǎn)的兩個(gè)特點(diǎn)，從而影響置產(chǎn)手段和渠道的選擇。教會置產(chǎn)手段正當(dāng)與非正當(dāng)間而有之，但本質(zhì)上是以強(qiáng)權(quán)為后盾的民教問不乎等地位

簡介：WEB技術(shù)的迅猛發(fā)展改變了企業(yè)與它的客戶和合作伙伴的交互方式，企業(yè)之間越來越緊密的合作趨勢使得許多的業(yè)務(wù)過程不可能由單個(gè)企業(yè)完成。這種趨勢引導(dǎo)著工作流管理系統(tǒng)的研究方向分布性，事務(wù)能力和異構(gòu)性?？缙髽I(yè)工作流應(yīng)運(yùn)而生，而對于這種分布式的、異構(gòu)性的并具有事務(wù)能力的跨企業(yè)工作流管理系統(tǒng)的開發(fā)和研究，目前尚未形成一個(gè)統(tǒng)一的國際化技術(shù)標(biāo)準(zhǔn)。因而，在建立一個(gè)跨企業(yè)事務(wù)工作流管理系統(tǒng)方面，本文做出了一些努力和嘗試。論文首先分析了跨企業(yè)工作流的兩大研究方向；建立時(shí)期的過程建模和運(yùn)行時(shí)期的系統(tǒng)集成，指出了這兩個(gè)研究方向存在的難點(diǎn)。并給出了相應(yīng)的解決方案。在跨企業(yè)建模方向，論文研究了由荷蘭學(xué)者AALST提出的PUBLICTOPRIVATE方法，以PETRI作為建模語言引入了協(xié)議繼承，以YML為建模語言引入了面向?qū)ο笏枷?。考慮到各企業(yè)使用的建模語言不同，本文將XMILSCHEMA作為過程模型的統(tǒng)一的描述語言。在系統(tǒng)集成研究方向，論文通過使用WEBSERVICE實(shí)現(xiàn)自治、異構(gòu)工作流系統(tǒng)之間的交互。為了確保交互的一致性和可靠性，論文研究并改進(jìn)了現(xiàn)有的’WEBSERVICE事務(wù)處理模型，定義了兩個(gè)事務(wù)協(xié)調(diào)模塊短期事務(wù)和事務(wù)范圍，其中短期事務(wù)保證了單個(gè)企業(yè)執(zhí)行結(jié)果的一致性，事務(wù)范圍確保多個(gè)自治企業(yè)協(xié)作執(zhí)行結(jié)果的一致性。為了驗(yàn)證事務(wù)模型，論文設(shè)計(jì)了一個(gè)基于WEBSERVICE實(shí)現(xiàn)的原型系統(tǒng)，重點(diǎn)設(shè)計(jì)并實(shí)現(xiàn)了事務(wù)服務(wù)器、工作流引擎。由于并非所有的業(yè)務(wù)流程都需要使用WEBSERVICE事務(wù)處理，在很多情況下，可靠的傳輸加上簡單的應(yīng)用協(xié)議已經(jīng)足夠。因此，本文實(shí)現(xiàn)了工作流引擎和事務(wù)服務(wù)器的交互。最后總結(jié)了文章的不足之處，并展望了“基于WEBSERVICE事務(wù)的跨企業(yè)工作流”這一課題研究和發(fā)展的方向。

簡介：學(xué)校代碼10270分類號B94學(xué)號122201254碩士學(xué)位論文羅教法事文書（擬）的文獻(xiàn)學(xué)研究學(xué)院哲學(xué)學(xué)院專業(yè)宗教學(xué)研究方向佛教研究生姓名張鵬指導(dǎo)教師侯沖教授完成日期2015年5月IIIABSTRACTLUOISMIGINALLYKNOWNASLUOZUISMWUWEIISMISONEOFTHEFOLKSECTWHICHISAVERYIMPTANTPARTOFCHINESECIVILRELIGIONSMANYSCHOLARSPAYTHEIRATTENTIONTOTHESTUDYOFLUOISMTHESTUDYONLUOSIMHASVARIOUSFMSHASALREADYSPREADEDTOOTHERFIELDSAMONGTHESEAREASTHESTUDYOFLUOISTRITEITSFASHIMANUPLAYSASIGNIFICANTROLEBYUSINGTHEMETHODOFHISTICALPHILOLOGYTHISARTICLEWILLANALYSISTHEFUNERALSENTENCESBYSENTENCESEXPLTHEIRIGINGATHERINGGENERALIZINGTHESENTENCESWHICHHASDIVIDEDINTOSEVERALCATEGIESOBSERVINGTHERELATIONSHIPBETWEENTHESESENTENCESTHECLASSICSOFLUOSIMWUBULIUCEOTHERBAOJUANSATLASTBYCOUNTINGTHEWHOLESENTENCESINTHEINSRUMENTSTHISARTICLEWILLGETACONCLUSIONTHATTHEMANUBELONGSTOTHELUOISMKEYWDSLUOSIMFASHIMANULUOSIMLUOZUISMWUWEIISMWUBULIUCE

簡介：各種以網(wǎng)絡(luò)為媒介的信息平臺在不同的領(lǐng)域內(nèi)發(fā)揮著巨大作用，信息資源的獲取和交換基本上都離不開數(shù)據(jù)庫的支撐，隨著網(wǎng)絡(luò)的發(fā)展，XML顯示出強(qiáng)大的生命力，大量的文檔采用XML格式，作為存儲和處理XML格式數(shù)據(jù)的XML數(shù)據(jù)庫，向傳統(tǒng)數(shù)據(jù)庫領(lǐng)域提出了前所未有的挑戰(zhàn)。在數(shù)據(jù)庫發(fā)展過程中，事務(wù)是一項(xiàng)最基本的重要概念，廣泛應(yīng)用在各種電子商務(wù)平臺和企業(yè)信息化平臺中。當(dāng)然，XML數(shù)據(jù)庫也必須具備完善的事務(wù)處理機(jī)制，這對于XML數(shù)據(jù)庫多用戶并發(fā)訪問時(shí)極其重要的。如何設(shè)計(jì)出一個(gè)適于XML數(shù)據(jù)庫的并發(fā)訪問控制機(jī)制，研究人員較普遍的思想是將XML文檔根據(jù)一定的規(guī)則映射到傳統(tǒng)的關(guān)系數(shù)據(jù)庫，利用傳統(tǒng)關(guān)系數(shù)據(jù)庫已經(jīng)發(fā)展的相對完善的事務(wù)機(jī)制來保證XML的多事務(wù)并發(fā)。但是在實(shí)際應(yīng)用中發(fā)現(xiàn)，這種思想的并發(fā)控制機(jī)制，并不能真正高效的實(shí)現(xiàn)多用戶對XML文檔的并發(fā)訪問控制，主要原因在于未充分考慮傳統(tǒng)關(guān)系數(shù)據(jù)庫的平面性和XML文檔數(shù)據(jù)的層次性之間的差異。對于XML原生數(shù)據(jù)庫即NXDNATIVEXMLDATABASE在并發(fā)控制機(jī)制方面和事務(wù)的研究才剛剛開始。本文旨在該方面做出積極的探討，提出一個(gè)解決方案。本文借鑒了多版本的思想，建設(shè)了一種基于XPATH路徑查詢語言的XML數(shù)據(jù)庫并發(fā)控制機(jī)制的事務(wù)處理模式。首先，根據(jù)文檔樹模型定義一種支持更新操作的數(shù)據(jù)庫數(shù)據(jù)節(jié)點(diǎn)的編碼方式，其次，根據(jù)該編碼的數(shù)據(jù)模型來定義出XML數(shù)據(jù)庫操作集。再次，提出并發(fā)控制封鎖協(xié)議機(jī)制和鎖模型，發(fā)生死鎖時(shí)的解除方法，對使用該封鎖協(xié)議時(shí)的事務(wù)調(diào)度進(jìn)行了可串行化調(diào)度驗(yàn)證，實(shí)現(xiàn)多事務(wù)的并發(fā)訪問控制。

簡介：點(diǎn)擊查看更多數(shù)據(jù)傳輸中長事務(wù)任務(wù)的調(diào)度和分配.pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多基于THP的Web服務(wù)事務(wù)處理的研究與原型實(shí)現(xiàn).pdf精彩內(nèi)容。