• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    一種Web服務(wù)組合一致性驗(yàn)證方法研究

    2017-10-26 06:45:09馬薇薇王進(jìn)姜家鑫
    關(guān)鍵詞:事務(wù)

    馬薇薇 王進(jìn) 姜家鑫

    摘要:為解決Web服務(wù)組合事務(wù)放松ACID屬性后,原子性與一致性無法保證同時(shí)滿足的問題,提出了一種基于有限狀態(tài)自動(dòng)機(jī)的服務(wù)組合概念一致性檢測(cè)方法。與以往大多通過運(yùn)行時(shí)監(jiān)控和協(xié)調(diào)保證應(yīng)用一致性的方法不同,該方法采用有限狀態(tài)自動(dòng)機(jī)在設(shè)計(jì)階段對(duì)服務(wù)組合的交互行為與異常處理進(jìn)行建模,分析了概念一致性滿足的關(guān)鍵條件和性質(zhì),證明了服務(wù)組合概念一致性的判定定理。最后通過分析服務(wù)組合一致性檢測(cè)的實(shí)施框架說明了該方法的可行性。

    關(guān)鍵詞:Web服務(wù)組合;確定有限狀態(tài)自動(dòng)機(jī);事務(wù);一致性檢測(cè)

    中圖分類號(hào):TP311文獻(xiàn)標(biāo)識(shí)碼:A

    Abstract:To solve the problem that atomicity and consistency cannot be guaranteed to satisfy at the same time when ACID properties are relaxed in Web services composition transaction.A Deterministic Finite State Automata(DFA) based approach is presented to check the conceptual consistency in services composition.Different from most previous works which keep application consistency by runtime monitoring and coordination,this approach uses DFA to model interaction behavior and exception handling process of services composition at design stage.The DFA based approach analyzes the key conditions and properties to satisfy the conceptual consistency;and further,it proofs the theorem to determine the conceptual consistency in service composition.Finally,by analyzing the deployment framework of services composition consistency detection,the feasibility of our approach has been illustrated.

    Key words:Web services;DFA;transaction;consistency checking

    1引言

    面向服務(wù)計(jì)算模式(SoC)以可重用服務(wù)為構(gòu)造單元,為解決分布式應(yīng)用集成提供了新型計(jì)算范型[1,2]。服務(wù)作為自治、自描述和平臺(tái)獨(dú)立的模塊化應(yīng)用[3]。為企業(yè)間協(xié)作提供了協(xié)作基礎(chǔ)。但單個(gè)服務(wù)本身功能單一,無法提供完整解決方案。因此,必須對(duì)服務(wù)進(jìn)行組合和協(xié)作以實(shí)現(xiàn)復(fù)雜B2B業(yè)務(wù)邏輯[4,5]。Web服務(wù)資源自治性高,潛在故障多,可長(zhǎng)期運(yùn)行等特點(diǎn)引發(fā)了Web服務(wù)組合協(xié)作的一系列新需求(如死鎖處理,兼容性檢測(cè)等)。這其中,保持服務(wù)組合后應(yīng)用一致性是一個(gè)關(guān)鍵問題[6,7]。在Web服務(wù)組合中引入事務(wù)概念,利用事務(wù)“非全則無”的語(yǔ)義可以有效增強(qiáng)服務(wù)組合的可靠性,保障參與組合數(shù)據(jù)與應(yīng)用自身狀態(tài)的一致。但Web服務(wù)由于其運(yùn)行長(zhǎng)周期,異構(gòu)等特點(diǎn),不可能按照傳統(tǒng)事務(wù)嚴(yán)格鎖定的方式來管理資源。對(duì)傳統(tǒng)事務(wù)的ACID屬性進(jìn)行適當(dāng)放松成為必然。

    在Web 服務(wù)組合事務(wù)模型中,主要通過異常處理這樣一種相對(duì)柔性的方式來達(dá)到概念上的原子性與一致性[8,9]。文獻(xiàn)[10]提出的Saga模型是最早應(yīng)用于Web事務(wù)領(lǐng)域的事務(wù)模型之一。Saga模型將一個(gè)完整事務(wù)分解為若干個(gè)子事務(wù),并為每個(gè)子事務(wù)設(shè)計(jì)業(yè)務(wù)邏輯上相對(duì)應(yīng)的補(bǔ)償事務(wù),在失效情況下,執(zhí)行失效部分的補(bǔ)償事務(wù)以達(dá)到語(yǔ)義上的一致性與原子性。文獻(xiàn)[11]提出的全局事務(wù)模型對(duì)Saga模型進(jìn)行進(jìn)一步擴(kuò)展,提出全局回滾以及局部回滾的概念來處理不同失效場(chǎng)景。在Saga模型與全局事務(wù)模型中,都嚴(yán)格要求對(duì)失效的操作進(jìn)行補(bǔ)償。實(shí)際應(yīng)用場(chǎng)景中,往往對(duì)于某些子事務(wù)操作由于補(bǔ)償代價(jià)過高而無法真正進(jìn)行補(bǔ)償。文獻(xiàn)[12]針對(duì)單一補(bǔ)償方式的不足,提出了后向補(bǔ)償與前向的替換(重試)相結(jié)合的異常處理方式,這一處理方式在目前服務(wù)組合事務(wù)處理相關(guān)研究中被廣泛采納。

    文獻(xiàn)[13]在文獻(xiàn)[12]的基礎(chǔ)上,通過定義服務(wù)組合原子范圍(atomicity sphere)實(shí)現(xiàn)業(yè)務(wù)流程放松的原子性要求。在此種半原子性模型中,每個(gè)子事務(wù)都具備可補(bǔ)償性與可重試性這兩個(gè)正交屬性。該模型可在參與業(yè)務(wù)流程的服務(wù)未隱藏業(yè)務(wù)細(xì)節(jié)時(shí),檢查流程的原子范圍,構(gòu)建可靠的組合服務(wù)。文獻(xiàn)[14]使用進(jìn)程代數(shù)對(duì)服務(wù)組合進(jìn)行了建模,并通過引入公理系統(tǒng)的方式,檢測(cè)組合的原子范圍。但其公理系統(tǒng)主要是為順序和選擇結(jié)構(gòu)提供規(guī)約,對(duì)并發(fā)情況下的交錯(cuò)時(shí)序考慮較少。文獻(xiàn)[13,14]中所采用的半原子性模型,不能保證組合事務(wù)在符合放松的原子性時(shí)同時(shí)滿足一致性。文獻(xiàn)[15]針對(duì)以上的事務(wù)模型進(jìn)一步提出了面對(duì)長(zhǎng)周期事務(wù)的調(diào)度算法和層次式失效恢復(fù)算法.這些研究主要集中于在運(yùn)行期間通過協(xié)調(diào)和調(diào)度保證最終結(jié)果的一致性,對(duì)設(shè)計(jì)階段一致性檢測(cè)少有涉及。文獻(xiàn)[16]提出集合一致性(set consistency)的概念來檢測(cè)設(shè)計(jì)時(shí)的一致性,但該方法需要用戶定義一致性滿足條件。這種一致性條件更多反映的是業(yè)務(wù)需求上的一種約束,對(duì)事務(wù)概念層上的一致性難以描述。

    針對(duì)以上研究中的不足,本文試圖給出一種針對(duì)原子范圍理論原子性定義下的服務(wù)組合建模方法。endprint

    本文首先結(jié)合案例分析了服務(wù)組合一致性檢測(cè)問題的產(chǎn)生,對(duì)服務(wù)組合的交互行為及其異常行為進(jìn)行基于確定有限狀態(tài)自動(dòng)機(jī)的建模。針對(duì)建立的異常行為模型,提出并證明了概念一致性的判定定理。并且考慮到服務(wù)組合異常模型可能產(chǎn)生的狀態(tài)爆炸問題,進(jìn)一步提出了對(duì)異常行為模型的約簡(jiǎn)方法。

    2服務(wù)組合一致性問題及其建模

    21Web服務(wù)組合一致性問題描述

    與傳統(tǒng)嚴(yán)格鎖定的事務(wù)ACID屬性必然同時(shí)滿足不同,在異常處理方式中,事務(wù)滿足原子范圍并不能保證其同時(shí)滿足一致性要求。根據(jù)事務(wù)自身一致性的定義可知,服務(wù)組合事務(wù)滿足事務(wù)概念上的一致性應(yīng)保證任意事務(wù)執(zhí)行路徑上的子事務(wù)出現(xiàn)異常時(shí),通過異常處理及后續(xù)一系列補(bǔ)償或重試操作,最終可以到達(dá)初始或者終止?fàn)顟B(tài),且不會(huì)存在多條可能的事務(wù)執(zhí)行路徑最終所到達(dá)的終止?fàn)顟B(tài)間存在沖突。

    考慮圖1所示的“秒殺購(gòu)物”場(chǎng)景。該服務(wù)組合包括填寫訂單(Fill_Order)、支付(Make_Payment)、預(yù)訂(PreOrder)、查找商品(Check_Item)、發(fā)貨(Ship_Order)這五個(gè)子事務(wù),事務(wù)要求保證同一用戶僅能秒殺一次。在該組合流程中,用戶首先填寫訂單,接著進(jìn)入一個(gè)并發(fā)的流程,用戶可以進(jìn)一步立刻支付或選擇預(yù)訂,商家同時(shí)進(jìn)行查找商品和發(fā)貨操作,當(dāng)用戶和商家操作并行完成后,此訂單處理結(jié)束。這五個(gè)子事務(wù)中,支付服務(wù)由于其需要和外部支付代理交互,因此為不可補(bǔ)償也不可重試 (NC,NR),根據(jù)原子范圍定義,這一支付服務(wù)為關(guān)鍵(Pivot)子事務(wù)。發(fā)貨服務(wù)往往由于其成本原因一旦執(zhí)行就不可補(bǔ)償,因此其事務(wù)屬性為不可補(bǔ)償?shù)芍卦嚕∟C,R),預(yù)訂服務(wù)由于秒殺購(gòu)物的特殊性,一旦出現(xiàn)異常則只能補(bǔ)償,不可重試(C,NR),而其余參與服務(wù)的子事務(wù)都假設(shè)其事務(wù)屬性為可補(bǔ)償可重試(C,R)。在此服務(wù)組合中,存在3條可能的并發(fā)路徑:

    ①Fill_Order->Make_Payment

    ②Fill_Order->Pre-Order

    ③Fill_Order->Check_Item->Ship_Order

    單純考慮此3條路徑,都滿足原子范圍中所定義的原子性。但若考慮并發(fā)流程時(shí)序上可能存在的交錯(cuò)性,對(duì)并發(fā)行為進(jìn)行組合后,在全局序列上將可能存Fill_Order->Check_Item->Ship_Order->Pre-Order,在此序列中Ship_Order這一僅可重試的服務(wù)在Pre-Order這一僅可進(jìn)行補(bǔ)償?shù)姆?wù)前發(fā)生,從而將導(dǎo)致原子范圍的違背和應(yīng)用不一致的發(fā)生。

    另一方面,考慮兩操作者A,B以同一用戶ID在異地同步執(zhí)行此服務(wù)組合。若A執(zhí)行的最終流程為Fill_Order->Make_Payment->Check_Item->Ship_Order,B最終執(zhí)行的流程為Fill_Order->Pre-Order ->Check_Item->Ship_Order。由于A執(zhí)行流程中包括一個(gè)關(guān)鍵子事務(wù)Make_Payment而B不包括,則最終將導(dǎo)致出現(xiàn)同一用戶購(gòu)買了兩次,或者系統(tǒng)中對(duì)用戶是否支付的狀態(tài)上出現(xiàn)不一致的狀況。

    從以上分析可知,在設(shè)計(jì)階段檢測(cè)服務(wù)組合事務(wù)一致性時(shí),除考慮原子性的滿足外,還必須考慮其并發(fā)狀況下的時(shí)序組合及關(guān)鍵子事務(wù)所處位置。

    22基于確定有限自動(dòng)機(jī)的Web服務(wù)組合建模

    定義2.1Web服務(wù)組合的確定有限狀態(tài)自動(dòng)機(jī)(DFA)模型。Web服務(wù)組合的確定有限狀態(tài)自動(dòng)機(jī)模型可定義為一個(gè)五元組A=(Q,Σ,δ,q0,F(xiàn))。其中,Q 是一個(gè)有限的狀態(tài)集合;ΣM表示請(qǐng)求一個(gè)組合中服務(wù)消息的有限集合,其中M為服務(wù)組合中的服務(wù)消息集合;δ:Q×∑→Q表示自動(dòng)機(jī)中的所有變遷;q0∈Q表示初始狀態(tài);FQ代表終止?fàn)顟B(tài)的集合。

    定義2.1中的模型是所有可能消息傳遞的組合結(jié)果,因此定義2.1中的模型事實(shí)上包含了當(dāng)前事務(wù)的所有可能執(zhí)行路徑。

    文獻(xiàn)[17]對(duì)服務(wù)組合構(gòu)造自動(dòng)機(jī)模型的過程進(jìn)行了分析,本文首先利用上述文獻(xiàn)中的方法構(gòu)建一個(gè)僅包含基本的消息傳遞的有限狀態(tài)自動(dòng)機(jī)。圖2為圖1所示場(chǎng)景經(jīng)過轉(zhuǎn)換所得的確定有限狀態(tài)自動(dòng)機(jī)。

    設(shè)定義2.1中服務(wù)組合的DFA模型拆分后的自動(dòng)機(jī)為Asplit 。我們將以Asplit作為服務(wù)組合一致性研究的基礎(chǔ)模型。

    定義2.2完全狀態(tài)跡。對(duì)Asplit中的qn∈F,如果,σ1,σ2,...,σk∈∑,使得q0×σ1→q1,q1×σ2→q2,...,qk-1×σk→qn,則稱q0,q1,...,qn的序列為Asplit上的一個(gè)完全狀態(tài)跡ω,Asplit上的所有完全狀態(tài)跡的集合記為Trace(Asplit)。

    由完全狀態(tài)跡定義可知,ω即代表Asplit上的一條事務(wù)執(zhí)行路徑。Trace(Asplit)為Asplit中所有可能的事務(wù)執(zhí)行路徑集合。考慮到事務(wù)一致性判定中需要基于同一事務(wù)執(zhí)行路徑同時(shí)刻畫正常執(zhí)行與異常執(zhí)行下的變遷,定義2.2采用狀態(tài)遷移序列替代了通常由變遷序列所定義的自動(dòng)機(jī)跡。在Asplit中由于任意兩個(gè)狀態(tài)間的遷移僅可能由唯一變遷引發(fā),因此狀態(tài)序列將與變遷序列具備一一對(duì)應(yīng)關(guān)系。

    圖2秒殺購(gòu)物場(chǎng)景服務(wù)組合確定有限自動(dòng)機(jī)模型

    定義2.3部分跡。在Asplit在中,對(duì)q∈Q,q*代表從狀態(tài)q出發(fā)可能到達(dá)的狀態(tài)集,如果q,q1,...,qn∈q*,σ1,σ2,...,σk∈∑滿足q×σ1→q1,q1×σ2→q2,...,qk-1×σk→qn,則稱 q,q1,...,qn所組成的序列為q到qn的部分跡,記做μ(q,qn)。

    23異常處理模型

    由文獻(xiàn)[10]可知,每個(gè)服務(wù)變遷所對(duì)應(yīng)的子事務(wù)都有兩個(gè)正交的屬性:可補(bǔ)償性與可重試性。將兩正交屬性組合后,可得任一子事務(wù)其事務(wù)屬性取值集合為{(C,R),(C,NR),(NC,R),(NC,NR)}。endprint

    定義2.4可補(bǔ)償變遷集SC。對(duì)σ∈∑,如果Comp(σ)=C則qσq′的變遷都屬于SC。其中Comp(σ)為獲得子事務(wù)可補(bǔ)償屬性的函數(shù),其值域?yàn)閧C,NC}。

    定義2.5可重試變遷集SR。對(duì)σ∈∑,如果Retry(σ)=R則qσq′的變遷都屬于SR。其中Retry(σ)為獲得子事務(wù)可補(bǔ)償屬性的函數(shù),其值域?yàn)閧R,NR}。

    定義2.6關(guān)鍵變遷集Spivot。對(duì)σ∈∑,如果Retry(σ)=NR∧Comp(σ)=NC則qσq′的變遷都屬于Spivot。

    根據(jù)定義2.4-2.6,我們可在Asplit基礎(chǔ)上針對(duì)子事務(wù)的異常行為進(jìn)行建模。根據(jù)2.1節(jié)中事務(wù)概念一致性分析可知,需要對(duì)Asplit進(jìn)行補(bǔ)償與重試擴(kuò)展,擴(kuò)展規(guī)則為:

    ①對(duì)qσq′∈δ∧qσq′∈Sc ,δ=δ∪q′τcq;

    ②對(duì)qσq′∈δ∧qσq′∈Sr,δ=δ∪q′τrq.

    因?yàn)樵贏split中我們已保證任意兩個(gè)狀態(tài)間僅可能由一個(gè)變遷引發(fā),所以上述擴(kuò)展規(guī)則將具有唯一性,基于此擴(kuò)展后的δ可得:

    定義2.7支持異常處理的擴(kuò)展有限狀態(tài)自動(dòng)機(jī)Aexec。Aexec也為五元組(Q,∑exec,δ,q0,F(xiàn)):Q,δ,q0,F(xiàn)與定義2.1相同;∑execM∪{τc,τr},其中M同定義2.1,{τc,τr}為異常行為變遷動(dòng)作,分別對(duì)應(yīng)補(bǔ)償動(dòng)作和重試動(dòng)作引發(fā)的變遷。

    對(duì)于SC集合中的元素,都為可補(bǔ)償子事務(wù),其異常處理方式為執(zhí)行補(bǔ)償任務(wù)并恢復(fù)到未執(zhí)行前的狀態(tài)。在Aexec中,所有τc補(bǔ)償動(dòng)作所引發(fā)的變遷集合為補(bǔ)償變遷集,其形式化的定義為:

    定義2.8補(bǔ)償變遷集TRc。在Aexec中q∈Q,如果qτcq′∈δ,則qτcq′∈δ∈TRc。

    類似的,SR集合中的元素,都為可重試子事務(wù),其異常處理方式為不斷重試當(dāng)前動(dòng)作直到其成功變遷到下一狀態(tài)。在Aexec中,所有重試動(dòng)作所引發(fā)的變遷集合為重試變遷集,其形式化的定義為:

    定義2.9重試變遷集TRr。在Aexec中q∈Q,如果q′τrq∈δ,則q′τrq∈δ∈TRr。

    從文獻(xiàn)[14,18]對(duì)服務(wù)組合事務(wù)一致性分析可知,組合事務(wù)能否保持一致性僅和其異常處理動(dòng)作相關(guān)。事務(wù)發(fā)生異常時(shí),若整個(gè)事務(wù)要保持一致性,則必然可通過若干重試變遷到達(dá)終止?fàn)顟B(tài),或通過若干補(bǔ)償變遷到達(dá)初始狀態(tài)。結(jié)合定義2.6中的Aexec與TRc,TRr兩個(gè)變遷集合,可構(gòu)造出僅包含異常處理相關(guān)動(dòng)作和變遷的確定有限狀態(tài)自動(dòng)機(jī)。

    定義2.10異常處理確定有限狀態(tài)自動(dòng)機(jī)Aexhandler。Aexhandler為五元組(Qcr,∑cr,δcr,q0,F(xiàn)cr):q0同定義2.1;Fcr:F-f∈F∧fτcq′∈TRc∧q′τrf∈TRr;Qcr:Q-q∈Q∧qσq′∈TRr∪TRc∧q′σq∈TRr∪TRc;∑cr∈{τc,τr};δcr∈TRr∪TRc.

    Aexhandler模型,由于僅考慮異常處理相關(guān)變遷,其變遷集合為補(bǔ)償變遷集和重試變遷集的并集,其變遷動(dòng)作僅能為{τc,τr}中的一個(gè)。由Aexhandler構(gòu)造過程易知,對(duì)Asplit中的狀態(tài)集Q,如果q∈Q其事務(wù)屬性唯一確定,則Asplit所構(gòu)造的Aexhandler具備唯一性。

    Aexhandler中終止?fàn)顟B(tài)集Fcr為Asplit中的終止?fàn)顟B(tài)集F去除所有孤立終止?fàn)顟B(tài)后所得。某終止?fàn)顟B(tài)為孤立終止?fàn)顟B(tài)當(dāng)且僅當(dāng)此狀態(tài)所有的前繼變遷都為關(guān)鍵子事務(wù)。在此情況下,該終止?fàn)顟B(tài)將緊隨關(guān)鍵子事務(wù)發(fā)生,進(jìn)行一致性判定時(shí),僅需考慮關(guān)鍵子事務(wù)前所有狀態(tài)即可,所以將此類孤立終止?fàn)顟B(tài)從終止?fàn)顟B(tài)集中去除。

    Aexhandler中的狀態(tài)空間Qcr為Asplit狀態(tài)空間去除所有孤立狀態(tài)所得。狀態(tài)為孤立狀態(tài)當(dāng)且僅當(dāng)其所有前繼和后續(xù)變遷均為關(guān)鍵子事務(wù)。此類狀態(tài)的出現(xiàn)意味著服務(wù)組合中出現(xiàn)了不止一個(gè)關(guān)鍵子事務(wù),此種情況與事務(wù)原子范圍的原子性違背,所以對(duì)這類狀態(tài)的去除,同樣不影響一致性判定。

    3Web服務(wù)組合一致性檢測(cè)

    31服務(wù)組合一致性判定

    定義3.1補(bǔ)償跡。在Aexhandler中,μ(q,qn)稱為q的補(bǔ)償跡,記做μcomp(q),當(dāng)且僅當(dāng)μ(q,qn)所代表狀態(tài)序列中任意兩個(gè)相鄰狀態(tài)之間的變遷都為τc。所有μcomp(q)的集合記為Tracecomp(q)。

    定義3.2重試跡。在Aexhandler中,μ(q,qk)稱為q的補(bǔ)償跡,記做μretry(q),當(dāng)且僅當(dāng)qk∈q*∧qk∈Fcr使μ(q,qk)所代表狀態(tài)序列中任意兩個(gè)相鄰狀態(tài)之間的變遷都為τr。所有μretry(q)的集合記為Traceretry(q)。

    由于在Asplit中已針對(duì)可能存在的并發(fā)時(shí)序交錯(cuò)建模,對(duì)Asplit進(jìn)行概念一致性判定時(shí),我們僅需考慮如下兩個(gè)問題:

    問題1:是否每個(gè)事務(wù)執(zhí)行路徑中的任意一個(gè)狀態(tài)出現(xiàn)異常時(shí),事務(wù)都能保證放松的原子性;

    問題2:整個(gè)事務(wù)中的關(guān)鍵子事務(wù)是否會(huì)導(dǎo)致最終事務(wù)出現(xiàn)多個(gè)不一致的最終狀態(tài)。

    定理1(事務(wù)一致性判定定理)。對(duì)服務(wù)組合系統(tǒng),若其對(duì)應(yīng)的Asplit可唯一構(gòu)造異常處理有限狀態(tài)自動(dòng)機(jī)Aexhandler,服務(wù)組合滿足事務(wù)一致性,當(dāng)且僅當(dāng):

    ①在Asplit上,σ∈Σ∧qσq′∈ Spivot→(σ1∈∑∧σ≠σ1∧qσ1q′∈Spivot)

    ②在Asplit上,對(duì)σ∈Σ,如果qσq′∈Spivot,則對(duì) ω∈Trace(Asplit) →qi,qj∈ω∧qiσqj∈δ;

    ③對(duì)q∈Qcr,ω∈Trace(Asplit)如果q在ω 所代表的序列上,則在Aexhandler上有:(μ(q,q0)ω→μ(q,q0)∈Tracecomp(q))∨((qn ∈Fcr∧μ(q,qn)ω)→μ(q,qn)∈)Traceretry(q)).endprint

    3.2服務(wù)組合一致性判定實(shí)施框架

    在第2章中,對(duì)服務(wù)組合及其異常處理進(jìn)行建模,在本節(jié)將討論服務(wù)組合的一致性判定的實(shí)施框架。圖 3 位服務(wù)組合一致性判定的實(shí)施框架。

    結(jié)合第2章的分析,討論此實(shí)施框架的可行性。

    Step1:流程的抽取

    在此步驟中,服務(wù)設(shè)計(jì)者根據(jù)應(yīng)用規(guī)約完成服務(wù)組合流程設(shè)計(jì)。在實(shí)際應(yīng)用場(chǎng)景中,服務(wù)組合的建模方式具有多樣性(如UML活動(dòng)圖,BPEL,形式化描述等)。但任何一種建模方式,其最終模型都將包含:參與流程的服務(wù)、服務(wù)間交互行為以及流程的基本結(jié)構(gòu)這三個(gè)元素,從而使得根據(jù)這些組合模型轉(zhuǎn)變?yōu)楸疚闹械挠邢逘顟B(tài)自動(dòng)機(jī)模型成為可能。目前已有大量 Pi 演算、Petri 網(wǎng)、UML 活動(dòng)圖和 BPEL 等流程模型向自動(dòng)機(jī)模型轉(zhuǎn)換的相關(guān)研究,因此選取自動(dòng)機(jī)作為服務(wù)組合流程的描述,將不會(huì)成為實(shí)際實(shí)施的限制與障礙。

    Step2:流程對(duì)應(yīng)的確定有限狀態(tài)自動(dòng)機(jī)的構(gòu)建

    根據(jù)第2章分析易知,在此步驟中需要完成事務(wù)狀態(tài)空間分析,事務(wù)初始與終止?fàn)顟B(tài)設(shè)定,狀態(tài)之間遷移動(dòng)作分析并在此基礎(chǔ)上完成自動(dòng)機(jī)的構(gòu)建。這個(gè)過程可以由設(shè)計(jì)人員根據(jù)應(yīng)用規(guī)約手動(dòng)進(jìn)行,也可以根據(jù)第 1 步中的流程建模結(jié)果以及原始模型與有限狀態(tài)自動(dòng)機(jī)模型之間的轉(zhuǎn)換規(guī)則進(jìn)行自動(dòng)轉(zhuǎn)換得到。通過這樣方式構(gòu)建的有限狀態(tài)自動(dòng)機(jī)中將往往包含兩個(gè)狀態(tài)間存在不同遷移動(dòng)作的狀況,為后續(xù)的異常分析能夠進(jìn)行,還需要對(duì)此原始自動(dòng)機(jī)進(jìn)行狀態(tài)拆分,得到任意狀態(tài)轉(zhuǎn)變都僅由唯一遷移引發(fā)的Asplit模型。

    Step3:事務(wù)相關(guān)屬性的獲取

    事務(wù)屬性采用文獻(xiàn)[10]提出的可重試性與可補(bǔ)償性概念。對(duì)組合事務(wù)的每個(gè)子事務(wù)設(shè)定事務(wù)屬性時(shí)需要流程設(shè)計(jì)人員對(duì)全局事務(wù)的處理工作具有一定的了解,同時(shí)綜合考慮補(bǔ)償代價(jià)等因素進(jìn)行。本文與之前大量服務(wù)原子性與一致性相關(guān)研究一致,采納了任意子事務(wù)其事務(wù)屬性唯一確定的假定。但我們也注意到,實(shí)際應(yīng)用環(huán)境下,由于應(yīng)用的復(fù)雜性,服務(wù)本身可能具備不同狀態(tài),同一服務(wù)在不同狀態(tài)下,將有可能具備不同的事務(wù)相關(guān)屬性。如對(duì)于銀行卡驗(yàn)證服務(wù),當(dāng)用戶驗(yàn)證出錯(cuò)次數(shù)小于 3 次時(shí),其可重試性為 R,但當(dāng)出錯(cuò)次數(shù)大于 3 時(shí),其可重試性將為 NR。我們將在后續(xù)的研究中針對(duì)這一情況開展進(jìn)一步的分析。

    Step4:定理 1 中條件 1,2 的檢測(cè)

    針對(duì)定理 1 中的條件 1 和條件 2,需要判斷關(guān)鍵子事務(wù)出現(xiàn)次數(shù)和位置。因此直接在Asplit上進(jìn)行檢測(cè)。在實(shí)際實(shí)施過程中,這一步驟可以和步驟 5 同步進(jìn)行,我們將在下一節(jié)算法分析中對(duì)此進(jìn)行詳細(xì)的討論。

    Step5:異常處理模型的構(gòu)造

    根據(jù) 2.2 節(jié)的分析,完成此步驟首先需要根據(jù)步驟 3 中事務(wù)屬性在步驟 2 的結(jié)果上附加補(bǔ)償變遷與重試變遷。

    Step6:約簡(jiǎn)模型上對(duì)定理 1 條件 3 的檢測(cè),由于篇幅受限,本文并未介紹模型的約簡(jiǎn)過程。

    在約簡(jiǎn)模型上的檢測(cè)可以得出一致性的最終判定結(jié)果。但我們也注意到,目前的檢測(cè)方式不方便業(yè)務(wù)人員快速定位一致性違背出現(xiàn)位置,這也將是我們的未來工作之一。

    4結(jié)束語(yǔ)

    Web服務(wù)組合中引入事務(wù)概念可以有效保障應(yīng)用一致性增強(qiáng)服務(wù)組合的可靠性,但傳統(tǒng)的數(shù)據(jù)庫(kù)事務(wù)的嚴(yán)格鎖定資源的方式不適合長(zhǎng)周期、松耦合的服務(wù)計(jì)算環(huán)境。異常處理方式放松了ACID的要求,通過柔性模型達(dá)到概念上的原子性與一致性,此時(shí)滿足放松原子性的事務(wù),不再能保證同時(shí)滿足事務(wù)概念上一致性,需要對(duì)服務(wù)組合的一致性單獨(dú)進(jìn)行檢測(cè)。

    本文基于確定有限狀態(tài)自動(dòng)機(jī),對(duì)服務(wù)組合的交互以及異常處理進(jìn)行了建模,在此模型上進(jìn)一步提出了服務(wù)組合一致性的判定定理。最后針對(duì)整個(gè)檢測(cè)過程,分析了其實(shí)施框架及主要步驟。

    本文的進(jìn)一步工作將包括對(duì)原始異常處理模型的約簡(jiǎn),以及同時(shí)兼顧概念一致與應(yīng)用需求一致性的檢測(cè)以及在跨機(jī)構(gòu)環(huán)境下,基于等價(jià)替換與公開視圖的組合建模與一致性判定。

    參考文獻(xiàn)

    [1]PAPAZOGLOU M P,GEORGAKOPOULOS D.Service oriented computing[J].Communications of the ACM,2003,46(10):2428.

    [2]MUTANU L,KOTONYA G.ConsumerCentred Validation for Runtime Adaptation in ServiceOriented System[C]// IEEE,Conference on ServiceOriented Computing and Applications.IEEE Computer Society,2016:16-23.

    [3]TSALGATIDOU A,PILIOURA T.An overview of standards and related technology in Web services[J].Distributed and Parallel Databases,2002,12(2-3):135-162.

    [4]QIAO X Q,WEI J,HUANG T.Service collaboration approach based on decentralized mediation model[J].Journal of Software,2009,20(6):1470-1486.

    [5]WIETRZYK V I,LAWSON R,TALIZAWA M,et al.Multimedia Distributed Infrastructure for B2B Operations in Web Services.[J].Ultraschall in Med,2016,4(01):936-942.endprint

    [6]GREENFIELD P,KUO D,NEPAL S,et al.Consistency for web services applications[C]//Proceedings of the 31st international conference on Very large data bases.VLDB Endowment,2005:1199-1203.

    [7]PAPAZOGLOU M P,TRAVERSO P,DUSTDAR S,et al.Serviceoriented computing:A research roadmap[J].International Journal of Cooperative Information Systems,2008,17(02):223-255.

    [8]CASATI F,CUGOLA G.Error handling in process support systems[M]//Advances in exception handling techniques.Springer Berlin Heidelberg,2001:251-270.

    [9]HASHMI K,MALIK Z,NAJMI E,et al.A Web Service Negotiation Management and QoS Dependency Modeling Framework[J].Acm Transactions on Management Information Systems,2016,7(2):1-33.

    [10]GARCIAMOLINA H,SALEM K.“SAGAS,”[J].SIGMOD Record,1987,16(3),249-259.

    [11]GREFEN P,VONK J,APERS P.Global transaction support for workflow management systems:from formal specification to practical implementation[J].The VLDB JournalThe International Journal on Very Large Data Bases,2001,10(4):316-333.

    [12]LEEPA,ANDERSON T,F(xiàn)ault Tolerance:Principles and Practice,pp.143-185.SpringerVerlag,1990.

    [13]HAGENC,ALONSO G.Exception Handling in Workflow Management Systems[J].IEEE Trans.Software Eng.,2000,26(10),943-958.

    [14]YE C,CHEUNG S C,CHAN W K,et al.Atomicity analysis of service composition across organizations[J].IEEE Transactions on Software Engineering,2009,35(1):2-28.

    [15]REN Y,GUAN J,AO Q,et al.LHFR:A hierarchical failure recovery algorithm for long running transactions[J].Journal of Computer Research & Development,2010,47(10):1805-1811.

    [16]FISCHERJ,MAJUMDAR R.Ensuring Consistency in Long Running Transactions[J].Proc.22nd IEEE/ACM Intl Conf.Automated Software Eng.,2007,54-63.

    [17]WOMBACHERA,F(xiàn)ANKHAUSER P,NEUHOLD E.Transforming BPEL into annotated deterministic_nite state automata for service discovery[C].In Proceedings of the 2nd IEEE International Conference on Web Services,pages 316{323,San Diego,CA,USA,July 2004.IEEE.

    [18]SCHULDTH,ALONOSO G,BRRRI C,et al.Atomicity and Isolation for Transactional Processes[C].ACM Trans.Database Systems,2002,27(1),63-116.endprint

    猜你喜歡
    事務(wù)
    “事物”與“事務(wù)”
    基于分布式事務(wù)的門架數(shù)據(jù)處理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)
    河湖事務(wù)
    DB2事務(wù)日志行為分析及對(duì)策
    基于OCC-DA-MCP算法的Redis并發(fā)控制
    基于鍵值存儲(chǔ)的事務(wù)控制策略
    基于優(yōu)先級(jí)的多版本兩階段鎖并發(fā)控制協(xié)議
    SQLServer自治事務(wù)實(shí)現(xiàn)方案探析
    淺析Oracle事務(wù)
    移動(dòng)實(shí)時(shí)環(huán)境下的數(shù)據(jù)一致性研究
    在线观看三级黄色| 99九九线精品视频在线观看视频| 深夜a级毛片| 日韩成人伦理影院| 嫩草影院入口| 嫩草影院入口| 少妇裸体淫交视频免费看高清| 成人特级av手机在线观看| 99热网站在线观看| 99热国产这里只有精品6| 午夜日本视频在线| 国内少妇人妻偷人精品xxx网站| 久久鲁丝午夜福利片| 伦精品一区二区三区| 少妇的逼水好多| 国产精品麻豆人妻色哟哟久久| 蜜桃久久精品国产亚洲av| 亚洲精品456在线播放app| 国产美女午夜福利| 丝袜脚勾引网站| 国产亚洲av嫩草精品影院| 校园人妻丝袜中文字幕| 亚洲av电影在线观看一区二区三区 | 亚洲精品日韩在线中文字幕| 国产免费福利视频在线观看| 在线天堂最新版资源| 久久久久国产网址| 少妇的逼水好多| 欧美变态另类bdsm刘玥| 精品视频人人做人人爽| 日本一本二区三区精品| 直男gayav资源| 午夜精品国产一区二区电影 | 久久精品国产鲁丝片午夜精品| 特大巨黑吊av在线直播| 久热久热在线精品观看| 青春草国产在线视频| 少妇 在线观看| 久久久久精品性色| 成年人午夜在线观看视频| 亚洲最大成人手机在线| 在线免费十八禁| 禁无遮挡网站| 亚洲va在线va天堂va国产| 一区二区三区免费毛片| 嫩草影院入口| 国产精品久久久久久av不卡| 亚洲欧美日韩卡通动漫| 免费观看性生交大片5| 亚洲精品久久午夜乱码| 久久久精品欧美日韩精品| 久久久久久国产a免费观看| 久久久久久久午夜电影| 亚洲国产欧美人成| 亚洲国产欧美在线一区| 午夜激情久久久久久久| 国产男女内射视频| 啦啦啦在线观看免费高清www| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 精品午夜福利在线看| 97超视频在线观看视频| xxx大片免费视频| 五月玫瑰六月丁香| 在线观看三级黄色| 国产男女内射视频| 久久久精品94久久精品| 精品一区在线观看国产| 青春草亚洲视频在线观看| 欧美性感艳星| 欧美日韩视频高清一区二区三区二| 一级毛片久久久久久久久女| 狂野欧美激情性xxxx在线观看| 久久影院123| 天美传媒精品一区二区| 亚洲色图综合在线观看| 久久韩国三级中文字幕| 亚洲国产最新在线播放| 欧美成人一区二区免费高清观看| 18禁在线无遮挡免费观看视频| 欧美成人a在线观看| 欧美成人一区二区免费高清观看| 亚洲国产最新在线播放| 2021少妇久久久久久久久久久| 国产淫片久久久久久久久| 色婷婷久久久亚洲欧美| 国产精品熟女久久久久浪| 久久久久九九精品影院| 在现免费观看毛片| 免费观看性生交大片5| 亚洲精品国产色婷婷电影| 欧美一区二区亚洲| 久久97久久精品| 亚洲国产最新在线播放| 亚洲欧美清纯卡通| 下体分泌物呈黄色| 久久99热6这里只有精品| 热re99久久精品国产66热6| 91精品国产九色| 99久久人妻综合| 免费少妇av软件| 赤兔流量卡办理| 高清在线视频一区二区三区| 亚洲精品456在线播放app| 高清毛片免费看| tube8黄色片| 另类亚洲欧美激情| 日韩在线高清观看一区二区三区| 精品少妇黑人巨大在线播放| 成人免费观看视频高清| 久久久久久久久久人人人人人人| 天堂中文最新版在线下载 | 菩萨蛮人人尽说江南好唐韦庄| 九九久久精品国产亚洲av麻豆| 国产精品国产三级国产av玫瑰| 2018国产大陆天天弄谢| 嫩草影院精品99| 欧美激情在线99| 国语对白做爰xxxⅹ性视频网站| 久久久久网色| 国产视频内射| 中文字幕制服av| 国产大屁股一区二区在线视频| 国产色婷婷99| 欧美日本视频| 精品酒店卫生间| 在线a可以看的网站| 中文天堂在线官网| 黄片无遮挡物在线观看| 亚洲伊人久久精品综合| 欧美精品国产亚洲| 搡老乐熟女国产| 精品久久久久久久末码| 中文乱码字字幕精品一区二区三区| 99热6这里只有精品| 精品99又大又爽又粗少妇毛片| 日本三级黄在线观看| 男女无遮挡免费网站观看| av在线亚洲专区| 精品酒店卫生间| 精品熟女少妇av免费看| 日韩av不卡免费在线播放| 欧美日韩视频精品一区| 日日撸夜夜添| 久久久精品欧美日韩精品| 亚洲婷婷狠狠爱综合网| 亚洲国产精品成人久久小说| 欧美 日韩 精品 国产| 黄色欧美视频在线观看| 亚洲国产精品999| 成年版毛片免费区| 边亲边吃奶的免费视频| 欧美日韩视频精品一区| av又黄又爽大尺度在线免费看| 亚洲最大成人av| 亚洲欧美清纯卡通| 春色校园在线视频观看| 亚洲欧美日韩另类电影网站 | 男女国产视频网站| 18禁在线无遮挡免费观看视频| 精品一区二区三区视频在线| 成人鲁丝片一二三区免费| 中文字幕人妻熟人妻熟丝袜美| 人妻 亚洲 视频| 国产白丝娇喘喷水9色精品| 国产永久视频网站| 哪个播放器可以免费观看大片| 精品午夜福利在线看| 午夜亚洲福利在线播放| 99久久精品国产国产毛片| 成年免费大片在线观看| 国产一区有黄有色的免费视频| 午夜视频国产福利| 国产成人精品福利久久| 国产永久视频网站| 国产伦精品一区二区三区视频9| 国产黄a三级三级三级人| 欧美激情在线99| 亚洲欧美一区二区三区国产| 久久久久久久大尺度免费视频| 亚洲三级黄色毛片| 黄色一级大片看看| 日本黄大片高清| 深夜a级毛片| 国产亚洲91精品色在线| 午夜免费鲁丝| 亚洲四区av| 久久久久久久大尺度免费视频| 青春草视频在线免费观看| 亚洲,欧美,日韩| 国产午夜福利久久久久久| 久久99蜜桃精品久久| 亚洲国产精品专区欧美| 国产精品精品国产色婷婷| 久久韩国三级中文字幕| 韩国av在线不卡| tube8黄色片| 内射极品少妇av片p| 两个人的视频大全免费| 国产一区二区三区av在线| 啦啦啦在线观看免费高清www| 69av精品久久久久久| 久久久久国产精品人妻一区二区| 久久精品国产a三级三级三级| 男人添女人高潮全过程视频| 网址你懂的国产日韩在线| 男女啪啪激烈高潮av片| 久久久成人免费电影| 欧美日韩精品成人综合77777| 亚洲av.av天堂| 一级二级三级毛片免费看| 禁无遮挡网站| 欧美日韩亚洲高清精品| 赤兔流量卡办理| .国产精品久久| 亚洲自拍偷在线| 一级片'在线观看视频| 国产黄片视频在线免费观看| 国产老妇伦熟女老妇高清| 丝瓜视频免费看黄片| 久久精品国产亚洲av涩爱| 三级国产精品欧美在线观看| 精品久久久久久久久亚洲| 久久久精品94久久精品| 国产免费一区二区三区四区乱码| 婷婷色av中文字幕| 大又大粗又爽又黄少妇毛片口| 99久久九九国产精品国产免费| 一区二区三区精品91| 一级片'在线观看视频| 美女内射精品一级片tv| 女人被狂操c到高潮| 久久精品熟女亚洲av麻豆精品| 最近中文字幕2019免费版| 街头女战士在线观看网站| 久久久国产一区二区| 亚洲婷婷狠狠爱综合网| 久热久热在线精品观看| 亚洲av中文字字幕乱码综合| 美女脱内裤让男人舔精品视频| 亚洲精品成人久久久久久| 噜噜噜噜噜久久久久久91| 国产亚洲精品久久久com| 中文字幕亚洲精品专区| 国产精品不卡视频一区二区| 日本黄大片高清| 国产伦精品一区二区三区视频9| 久久影院123| 99久国产av精品国产电影| 精品99又大又爽又粗少妇毛片| 91精品一卡2卡3卡4卡| 91久久精品电影网| 久久久久久久久大av| 最近中文字幕高清免费大全6| 亚洲精品成人av观看孕妇| 国产亚洲av片在线观看秒播厂| 成年版毛片免费区| 少妇人妻一区二区三区视频| 国产精品三级大全| 一区二区三区免费毛片| 在线免费观看不下载黄p国产| 真实男女啪啪啪动态图| 黄色日韩在线| 亚洲精品,欧美精品| 久久久久久国产a免费观看| 国产免费一区二区三区四区乱码| 国产精品蜜桃在线观看| 日韩在线高清观看一区二区三区| 日韩av在线免费看完整版不卡| 一级片'在线观看视频| 最后的刺客免费高清国语| 亚洲美女搞黄在线观看| 人妻制服诱惑在线中文字幕| 国产黄色免费在线视频| 国产成人福利小说| 一本久久精品| 亚洲av在线观看美女高潮| 99久久九九国产精品国产免费| 日本午夜av视频| 免费大片18禁| 国产中年淑女户外野战色| 亚洲三级黄色毛片| 免费观看av网站的网址| 亚洲伊人久久精品综合| 国产免费视频播放在线视频| 男人狂女人下面高潮的视频| 亚洲,欧美,日韩| 只有这里有精品99| 久久久久久久午夜电影| 狂野欧美激情性bbbbbb| 大又大粗又爽又黄少妇毛片口| 夜夜看夜夜爽夜夜摸| 最近最新中文字幕免费大全7| 精品久久久久久久末码| 亚洲人成网站在线播| 国产探花极品一区二区| 国产午夜精品久久久久久一区二区三区| 国产一区二区亚洲精品在线观看| 亚洲欧美中文字幕日韩二区| 男女那种视频在线观看| 99久久九九国产精品国产免费| 久久精品国产自在天天线| 久久6这里有精品| 美女视频免费永久观看网站| 日日摸夜夜添夜夜添av毛片| 亚洲精品乱码久久久久久按摩| 国产黄a三级三级三级人| 在线 av 中文字幕| 久久精品熟女亚洲av麻豆精品| 永久网站在线| 丰满人妻一区二区三区视频av| 婷婷色综合www| 观看免费一级毛片| 亚洲国产高清在线一区二区三| 免费av毛片视频| av国产久精品久网站免费入址| 精品亚洲乱码少妇综合久久| 少妇高潮的动态图| 一区二区av电影网| 欧美xxxx黑人xx丫x性爽| 久久精品国产亚洲av天美| 少妇高潮的动态图| 国产一区二区在线观看日韩| 色播亚洲综合网| 亚洲av在线观看美女高潮| 黄色日韩在线| 美女国产视频在线观看| 一区二区三区免费毛片| 涩涩av久久男人的天堂| 欧美三级亚洲精品| 久久久国产一区二区| 国产黄色视频一区二区在线观看| 成人一区二区视频在线观看| 国产永久视频网站| 亚洲av电影在线观看一区二区三区 | 欧美成人a在线观看| 欧美97在线视频| 夜夜看夜夜爽夜夜摸| 国产亚洲91精品色在线| 亚洲人与动物交配视频| 亚洲无线观看免费| 免费观看a级毛片全部| 欧美zozozo另类| 久久精品国产a三级三级三级| 国产熟女欧美一区二区| 国产男人的电影天堂91| 国产成人aa在线观看| 欧美日本视频| 亚洲成人中文字幕在线播放| 欧美成人a在线观看| 国产 一区 欧美 日韩| 亚洲精品aⅴ在线观看| 国产高清国产精品国产三级 | 99热全是精品| 一个人看视频在线观看www免费| 日韩伦理黄色片| 欧美成人一区二区免费高清观看| 国产大屁股一区二区在线视频| 亚洲av欧美aⅴ国产| 舔av片在线| 国产精品蜜桃在线观看| .国产精品久久| 黑人高潮一二区| 午夜激情福利司机影院| 亚洲在久久综合| 一区二区av电影网| 美女cb高潮喷水在线观看| 久久精品熟女亚洲av麻豆精品| 日产精品乱码卡一卡2卡三| 免费大片18禁| 特大巨黑吊av在线直播| av福利片在线观看| 中文精品一卡2卡3卡4更新| 乱系列少妇在线播放| 人人妻人人爽人人添夜夜欢视频 | 一区二区三区四区激情视频| 亚洲美女搞黄在线观看| 亚洲欧美一区二区三区黑人 | 精品一区在线观看国产| 国产亚洲一区二区精品| 搞女人的毛片| 国产精品秋霞免费鲁丝片| 久久久色成人| 亚洲欧美成人精品一区二区| 亚洲欧美成人综合另类久久久| 亚洲四区av| 欧美高清成人免费视频www| 97人妻精品一区二区三区麻豆| 性插视频无遮挡在线免费观看| videos熟女内射| 22中文网久久字幕| 69人妻影院| 中文字幕人妻熟人妻熟丝袜美| 天天躁夜夜躁狠狠久久av| 欧美日韩视频高清一区二区三区二| 欧美高清性xxxxhd video| 99精国产麻豆久久婷婷| 欧美少妇被猛烈插入视频| 国产精品蜜桃在线观看| 国产精品久久久久久久电影| av一本久久久久| 欧美 日韩 精品 国产| 欧美日韩一区二区视频在线观看视频在线 | 精品久久久久久久久亚洲| 亚洲精品国产av成人精品| 99久久精品一区二区三区| 欧美日韩精品成人综合77777| 亚洲国产最新在线播放| 久久久精品免费免费高清| 久久精品久久久久久噜噜老黄| 一本一本综合久久| 免费av观看视频| 少妇人妻 视频| 国产精品一区www在线观看| 伊人久久精品亚洲午夜| 成人国产av品久久久| 亚洲成人久久爱视频| 国产成人freesex在线| 美女国产视频在线观看| 人妻少妇偷人精品九色| 久久久久国产网址| 一本色道久久久久久精品综合| 一级黄片播放器| 国产精品.久久久| 亚洲av福利一区| 91精品国产九色| 我的老师免费观看完整版| 免费大片18禁| 在线观看人妻少妇| 蜜臀久久99精品久久宅男| 欧美日韩国产mv在线观看视频 | 亚洲三级黄色毛片| 欧美日韩视频精品一区| 亚洲四区av| 看免费成人av毛片| 五月玫瑰六月丁香| 亚洲精品中文字幕在线视频 | 菩萨蛮人人尽说江南好唐韦庄| 麻豆成人午夜福利视频| 十八禁网站网址无遮挡 | 97在线人人人人妻| freevideosex欧美| 久久久久九九精品影院| 亚洲精华国产精华液的使用体验| 精品久久久久久电影网| 久久人人爽人人片av| 色网站视频免费| 亚洲av一区综合| tube8黄色片| 欧美日韩在线观看h| 久久久久九九精品影院| 高清视频免费观看一区二区| 国产伦精品一区二区三区视频9| 久久精品夜色国产| 三级男女做爰猛烈吃奶摸视频| 亚洲精品国产成人久久av| 亚洲av福利一区| 日韩欧美精品免费久久| 中国美白少妇内射xxxbb| 我的女老师完整版在线观看| 人妻系列 视频| 亚洲电影在线观看av| 日本av手机在线免费观看| 大又大粗又爽又黄少妇毛片口| 在线观看一区二区三区| 少妇人妻精品综合一区二区| 欧美日韩综合久久久久久| 偷拍熟女少妇极品色| 免费黄频网站在线观看国产| 亚洲天堂av无毛| av女优亚洲男人天堂| 99视频精品全部免费 在线| 中国国产av一级| 免费少妇av软件| 少妇人妻 视频| 久久99热6这里只有精品| 99精国产麻豆久久婷婷| 久久久久久久精品精品| 免费人成在线观看视频色| 国产成人免费观看mmmm| 国产亚洲一区二区精品| 纵有疾风起免费观看全集完整版| 亚洲国产精品成人综合色| 国产精品人妻久久久久久| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 亚洲图色成人| 欧美日韩在线观看h| 午夜爱爱视频在线播放| 国产老妇女一区| 69人妻影院| 午夜视频国产福利| 精品午夜福利在线看| 亚洲人成网站在线播| 亚洲真实伦在线观看| 18禁裸乳无遮挡免费网站照片| 天天一区二区日本电影三级| 亚洲国产欧美人成| videos熟女内射| av免费观看日本| 日韩 亚洲 欧美在线| 国产精品一区二区在线观看99| 亚洲精品国产成人久久av| 国产综合懂色| 国产伦精品一区二区三区视频9| 啦啦啦啦在线视频资源| 边亲边吃奶的免费视频| 久久国内精品自在自线图片| 精品酒店卫生间| 狂野欧美激情性xxxx在线观看| 大又大粗又爽又黄少妇毛片口| 亚洲美女视频黄频| 亚洲av不卡在线观看| 蜜臀久久99精品久久宅男| 久久久久网色| 天堂中文最新版在线下载 | 干丝袜人妻中文字幕| 国产永久视频网站| 亚洲最大成人手机在线| .国产精品久久| 午夜亚洲福利在线播放| 在线播放无遮挡| 夫妻午夜视频| 国产日韩欧美在线精品| 亚洲伊人久久精品综合| 中文字幕制服av| 亚洲成人精品中文字幕电影| 在线免费观看不下载黄p国产| 两个人的视频大全免费| 亚洲精品国产av成人精品| 成人亚洲精品一区在线观看 | 国产精品成人在线| 97精品久久久久久久久久精品| 国产免费福利视频在线观看| 一区二区三区免费毛片| 成年版毛片免费区| 久久99热这里只频精品6学生| 亚洲成人一二三区av| 国产高清不卡午夜福利| 免费观看无遮挡的男女| 国产探花极品一区二区| 深爱激情五月婷婷| 国产成人午夜福利电影在线观看| 精品午夜福利在线看| 国产日韩欧美亚洲二区| 少妇人妻久久综合中文| 美女视频免费永久观看网站| 国产亚洲5aaaaa淫片| 少妇熟女欧美另类| 久久久亚洲精品成人影院| av女优亚洲男人天堂| 肉色欧美久久久久久久蜜桃 | 亚洲在久久综合| 亚洲最大成人av| 免费av观看视频| 国产亚洲最大av| 欧美变态另类bdsm刘玥| 日韩av免费高清视频| 国产色爽女视频免费观看| 成人国产av品久久久| 别揉我奶头 嗯啊视频| 免费观看a级毛片全部| 久久人人爽人人片av| 神马国产精品三级电影在线观看| 免费黄色在线免费观看| 日韩av在线免费看完整版不卡| 亚洲欧美一区二区三区国产| 国产精品一区二区性色av| 在线观看免费高清a一片| 国产欧美亚洲国产| 亚洲欧美日韩卡通动漫| 岛国毛片在线播放| 国产免费视频播放在线视频| 成年版毛片免费区| 嫩草影院入口| 老司机影院毛片| 一区二区三区乱码不卡18| 国产有黄有色有爽视频| 99久久精品国产国产毛片| 永久网站在线| 国产片特级美女逼逼视频| 成人毛片a级毛片在线播放| 久久久久精品性色| 成人毛片a级毛片在线播放| 少妇猛男粗大的猛烈进出视频 | 在线观看国产h片| 国产精品人妻久久久久久| 久久久精品欧美日韩精品| 欧美老熟妇乱子伦牲交| 国产精品女同一区二区软件| 在线精品无人区一区二区三 | 国国产精品蜜臀av免费| 国产伦精品一区二区三区四那| a级毛片免费高清观看在线播放| 亚洲丝袜综合中文字幕| 精品久久国产蜜桃| 80岁老熟妇乱子伦牲交| 久久综合国产亚洲精品| 不卡视频在线观看欧美| 校园人妻丝袜中文字幕| 岛国毛片在线播放| 久久午夜福利片| 制服丝袜香蕉在线| 国产精品久久久久久精品电影小说 | 中文字幕亚洲精品专区| 久久久久精品久久久久真实原创| 日本三级黄在线观看| 一级毛片 在线播放| 日韩av在线免费看完整版不卡| 狂野欧美白嫩少妇大欣赏| 2022亚洲国产成人精品| 国产视频内射| 亚洲精品日韩av片在线观看| 亚洲精品国产av蜜桃| 视频区图区小说| 高清在线视频一区二区三区| 大码成人一级视频|