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

    UML狀態(tài)圖到B形式化規(guī)范的轉(zhuǎn)換實(shí)現(xiàn)

    2017-03-06 20:52:18滕飛楊靜
    軟件導(dǎo)刊 2017年1期

    滕飛+楊靜

    摘要摘要:統(tǒng)一建模語(yǔ)言UML在面向?qū)ο蟮慕<夹g(shù)中得到了廣泛應(yīng)用。但是UML模型缺乏形式化語(yǔ)義,難以使用數(shù)學(xué)方式對(duì)模型進(jìn)行分析和驗(yàn)證。B方法作為一種建立在嚴(yán)格數(shù)學(xué)機(jī)理上的形式化方法,將可視化UML模型轉(zhuǎn)換為B形式化規(guī)范,可以對(duì)模型進(jìn)行形式化描述和分析,確保模型的可靠性。通過研究從UML狀態(tài)圖到B形式規(guī)范的轉(zhuǎn)換規(guī)則,提出了一種基于XMI的狀態(tài)圖到B形式化規(guī)范的自動(dòng)轉(zhuǎn)換方法,并使用Java語(yǔ)言實(shí)現(xiàn)了自動(dòng)轉(zhuǎn)換工具UML2B。

    關(guān)鍵詞關(guān)鍵詞:UML狀態(tài)圖;B方法;轉(zhuǎn)換工具;UML2B

    DOIDOI:10.11907/rjdk.162480

    中圖分類號(hào):TP301文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào)文章編號(hào):16727800(2017)001000605

    0引言

    需求分析是軟件定義時(shí)期的最后一個(gè)階段,工作是深入描述軟件功能和性能,確定軟件設(shè)計(jì)的限制和軟件同其它系統(tǒng)元素的接口細(xì)節(jié)[1]。統(tǒng)一建模語(yǔ)言(UML)是軟件分析、設(shè)計(jì)與可視化建模的工業(yè)標(biāo)準(zhǔn)[2],使用面向?qū)ο蟮母拍钸M(jìn)行建模,在軟件開發(fā)中得到了廣泛應(yīng)用。UML狀態(tài)圖用來描述系統(tǒng)的動(dòng)態(tài)行為,它是基于對(duì)象特征相對(duì)傳統(tǒng)狀態(tài)機(jī)的變體,主要用于捕捉來自外界對(duì)象或環(huán)境的服務(wù)請(qǐng)求的某對(duì)象內(nèi)部行為的動(dòng)態(tài)特征[3]。UML用自然語(yǔ)言描述的語(yǔ)義不夠精確,沒有提供一種對(duì)UML模型進(jìn)行推理的合理機(jī)制,無法對(duì)模型的一致性、完整性、正確性進(jìn)行形式化的分析和驗(yàn)證,因此有必要對(duì)UML模型進(jìn)行形式化描述。B方法產(chǎn)生于20世紀(jì)80年代早期,由法國(guó)計(jì)算機(jī)科學(xué)家J-R Abrial在Z 語(yǔ)言的基礎(chǔ)上提出,是更加面向軟件開發(fā)過程的形式化方法。B方法作為一種形式化方法,可以對(duì)軟件系統(tǒng)提供無二義的、更精確的描述,使系統(tǒng)具有較高的可信度和正確性。在B方法的應(yīng)用和研究中,文獻(xiàn)[4]提出了一套從UML狀態(tài)機(jī)到B形式化規(guī)約的轉(zhuǎn)換規(guī)則。文獻(xiàn)[5]通過B方法和UML在問題對(duì)象域?qū)哟紊系慕Y(jié)合,給出了在軟件設(shè)計(jì)中提高軟件質(zhì)量的方法。文獻(xiàn)[6]做了UML狀態(tài)圖到形式化B語(yǔ)言轉(zhuǎn)換的實(shí)例研究。目前的研究主要以提出UML模型到B方法的轉(zhuǎn)換規(guī)則,并在案例中應(yīng)用轉(zhuǎn)換規(guī)則,驗(yàn)證轉(zhuǎn)換規(guī)則的正確性,但沒有實(shí)現(xiàn)轉(zhuǎn)換工具。直接根據(jù)UML狀態(tài)圖和B方法的語(yǔ)法規(guī)則實(shí)現(xiàn)轉(zhuǎn)換,過程較繁瑣,需要人工干預(yù),難以用程序?qū)崿F(xiàn)自動(dòng)轉(zhuǎn)換。本文通過研究從UML狀態(tài)圖到B方法的轉(zhuǎn)換規(guī)則,提出了一種基于XMI的自動(dòng)轉(zhuǎn)換方法,并在此基礎(chǔ)上使用Java語(yǔ)言實(shí)現(xiàn)了模型轉(zhuǎn)換的原型工具UML2B。

    1UML與B方法

    1.1UML簡(jiǎn)介

    統(tǒng)一建模語(yǔ)言UML(Unified Modeling Language)是一種由OMG(Object Management Group)提出的標(biāo)準(zhǔn)對(duì)象建模語(yǔ)言,作為支持模型化和軟件系統(tǒng)開發(fā)的圖形化語(yǔ)言,可以使用面向?qū)ο蟾拍钸M(jìn)行建模。UML作為一種面向?qū)ο蟮臉?biāo)準(zhǔn)建模語(yǔ)言,在信息管理系統(tǒng)建模領(lǐng)域得到了廣泛應(yīng)用[7]。通過相關(guān)的UML建模軟件,建立系統(tǒng)模型,可以以一種可視化的方式向開發(fā)人員和客戶呈現(xiàn)系統(tǒng)設(shè)計(jì)模型。

    1.2形式化B方法簡(jiǎn)介

    B方法是一種“面向模型”的數(shù)學(xué)方法,也稱B語(yǔ)言。利用B方法建立的模型可以使用數(shù)學(xué)方式進(jìn)行分析,從而避免需求設(shè)計(jì)中的不一致、不完整。該方法使用AMN(Abstract Machine Notation )作為軟件開發(fā)過程中的規(guī)約、設(shè)計(jì)及實(shí)現(xiàn)語(yǔ)言,使程序和程序規(guī)約說明處于一個(gè)統(tǒng)一的數(shù)學(xué)框架之下[8]。B抽象機(jī)中主要包括變量、不變式、操作,可以從靜態(tài)行為和動(dòng)態(tài)行為兩個(gè)方面描述系統(tǒng)。使用B方法創(chuàng)建的形式化模型可以使用現(xiàn)有B方法支持工具,如B-Tookit、Pro B、Atelier-B等進(jìn)行分析,以提高模型的可靠性。

    2模型轉(zhuǎn)換方法

    2.1自動(dòng)轉(zhuǎn)換框架

    本文提出的自動(dòng)轉(zhuǎn)換框架如圖1所示。

    自動(dòng)轉(zhuǎn)換過程包括4個(gè)步驟:①使用UML建模軟件(如:StartUml、Rational Rose)設(shè)計(jì)UML狀態(tài)圖,并通過建模軟件自帶的插件生成對(duì)應(yīng)的XMI文檔,命名為UMLStart.xml,將其作為自動(dòng)轉(zhuǎn)換的輸入端;②設(shè)計(jì)Java類,從UMLStart.xml中提取的信息保存到對(duì)應(yīng)的Java類實(shí)例化對(duì)象中;③根據(jù)UML狀態(tài)圖和B抽象機(jī)之間的映射關(guān)系,編寫UML狀態(tài)圖到B抽象機(jī)的轉(zhuǎn)換規(guī)則,并使用Java語(yǔ)言實(shí)現(xiàn)轉(zhuǎn)換程序;④讀取保存在Java數(shù)據(jù)結(jié)構(gòu)中的信息,按照轉(zhuǎn)換規(guī)則生成對(duì)應(yīng)的B形式化規(guī)范,轉(zhuǎn)換結(jié)果可以在屏幕中顯示。

    2.2轉(zhuǎn)換規(guī)則

    UML模型與B形式化方法在語(yǔ)義和結(jié)構(gòu)上存在對(duì)應(yīng)關(guān)系,可以將UML狀態(tài)圖轉(zhuǎn)換為B方法中的抽象機(jī)。下面給出從狀態(tài)圖到B形式化規(guī)范的轉(zhuǎn)換規(guī)則。

    規(guī)則一:狀態(tài)轉(zhuǎn)換,如表1和表2所示。狀態(tài)表示對(duì)象在生命周期的某個(gè)條件或者狀況,對(duì)象需要執(zhí)行某些活動(dòng)、滿足某些條件等,當(dāng)對(duì)象執(zhí)行了一系列活動(dòng),或當(dāng)某個(gè)事件發(fā)生后,對(duì)象的狀態(tài)發(fā)生了變化?;緺顟B(tài)指不含子狀態(tài)的狀態(tài),只有若干個(gè)轉(zhuǎn)移和可能的入口、出口動(dòng)作。組合狀態(tài)指包含了若干個(gè)子狀態(tài)的狀態(tài),嵌套于組合狀態(tài)中的狀態(tài)成為子狀態(tài)[9]。本文使用抽象機(jī)中的SETS子句描述狀態(tài)圖中的狀態(tài),用一個(gè)枚舉集合STATE代表基本狀態(tài),枚舉集合SUBSTATE代表子狀態(tài)。

    END;表9UML狀態(tài)圖與XMI元素映射UML狀態(tài)圖XMI元素基本狀態(tài)SimpleState組合狀態(tài)CompositeState轉(zhuǎn)移Transition監(jiān)護(hù)條件Guard動(dòng)作 EffectXMI文檔通過元素的屬性或其子元素描述UML模型。每個(gè)模型元素都有工具給了它一個(gè)唯一的標(biāo)識(shí)號(hào),表示在該元素的“xmi.id” 屬性中。模型元素的命名表示在該元素的“name”屬性中[12]。通過研究,可以使用元素標(biāo)簽名稱對(duì)XMI文檔進(jìn)行檢索,按照轉(zhuǎn)換規(guī)則從被檢索的標(biāo)簽中的屬性,或其子元素中提取轉(zhuǎn)換信息。在提取信息過程中,可以利用“xmi.id” 屬性值在XMI文檔中查找對(duì)應(yīng)元素。

    3UML2B原型工具實(shí)現(xiàn)

    本文采用Java語(yǔ)言在MyEclise平臺(tái)上實(shí)現(xiàn)轉(zhuǎn)換工具,主要技術(shù)包括解析XML、J2SE、MVC架構(gòu)。解析XML文件方面,有SAX、DOM等技術(shù)。SAX的全稱是Simple APIs for XML,也即XML簡(jiǎn)單應(yīng)用程序接口[13]。SAX接口的基本原理是由接口的使用者提供符合定義的處理器。XML分析時(shí)遇到特定的事件,就去調(diào)用處理器中特定事件的處理函數(shù)[14]。DOM是應(yīng)用程序訪問XML文檔的編程API,該API包含了用于XML文檔節(jié)點(diǎn)信息,修改文檔數(shù)據(jù)信息和動(dòng)態(tài)存取XML等一系列方法[15]。本文通過對(duì)比SAX和DOM的技術(shù)特點(diǎn),采用DOM技術(shù)實(shí)現(xiàn)工具相關(guān)功能。DOM模式解析XML文件,可以將其整體讀入內(nèi)存,并轉(zhuǎn)化為一個(gè)樹型文檔,從而可以多次遍歷這顆樹并獲取節(jié)點(diǎn)信息。根據(jù)工具的業(yè)務(wù)特點(diǎn),采用Java提供的XML解析器DOM API for Java處理XML文檔。工具包圖如圖2所示。

    工具分為6個(gè)包,分別是Intput、View、UMLToJava、UMLToB、Dom、XMLParse包。Intput包用于讀取操作者輸入的UML模型。View是UML2B工具的視圖部分,包括StartPanel、ContextPanel、ValuePanel 3個(gè)類,StartPanel類顯示起始界面,操作者可以輸入所要轉(zhuǎn)換的UML模型地址。ContextPanel類用于顯示轉(zhuǎn)換中提取的UML模型信息。ValuePanel類用于顯示最后的轉(zhuǎn)換結(jié)果。UMLToJava包通過相應(yīng)的轉(zhuǎn)換規(guī)則和算法,從狀態(tài)圖對(duì)應(yīng)的XMI文檔中提取信息,并保存到相應(yīng)的Java對(duì)象中。Dom包中包括轉(zhuǎn)換信息的Java實(shí)現(xiàn)類,如表10所示。從UML模型對(duì)應(yīng)的XMI文檔中提取信息保存到對(duì)應(yīng)類的實(shí)例化對(duì)象中。

    UMLToB包通過操作,保存轉(zhuǎn)換信息的Java數(shù)據(jù)結(jié)構(gòu),按照轉(zhuǎn)換規(guī)則生成對(duì)應(yīng)的B形式化規(guī)范,完成狀態(tài)圖到B形式化規(guī)范的轉(zhuǎn)換。UML2B工具的類圖如圖3所示。

    4案例應(yīng)用

    下面使用UML2B工具對(duì)實(shí)例進(jìn)行轉(zhuǎn)換。這個(gè)實(shí)例是一個(gè)洗衣機(jī)的狀態(tài)圖。洗衣機(jī)的初始狀態(tài)是停止?fàn)顟B(tài)(Stop),當(dāng)用戶在有電的情況下按下開關(guān),洗衣機(jī)進(jìn)入運(yùn)行狀態(tài)(Running),首先進(jìn)入稱重狀態(tài)(Weigh),當(dāng)重量小于等于7KG時(shí),洗衣機(jī)開始正常工作,依次進(jìn)入清洗狀態(tài)(Washing)、漂洗狀態(tài)(Rinseing)、甩干狀態(tài)(Dry),洗滌過程結(jié)束進(jìn)入等待用戶操作狀態(tài)(Waiting)。當(dāng)重量大于7KG時(shí),超過了洗衣機(jī)的運(yùn)行負(fù)荷,進(jìn)入警報(bào)狀態(tài)(Reporting),警報(bào)結(jié)束后進(jìn)入等待用戶操作狀態(tài)(Waiting)。當(dāng)洗衣機(jī)在運(yùn)行狀態(tài)時(shí),用戶發(fā)出close操作,洗衣機(jī)進(jìn)入停止?fàn)顟B(tài)。洗衣機(jī)狀態(tài)如圖4所示。

    按照前述的轉(zhuǎn)換框架,使用StarUML建模軟件創(chuàng)建狀態(tài)圖模型并導(dǎo)出對(duì)應(yīng)的XMI文檔,命名為UMLStart.xml,作為UML2B工具的輸入端。UMLStart.xml可以在工具界面中顯示,如圖5所示。

    UML2B工具通過程序從UMLStart.xml文件提取轉(zhuǎn)換信息,保存到Java數(shù)據(jù)結(jié)構(gòu)中。根據(jù)轉(zhuǎn)換規(guī)則,Stop是一個(gè)基本狀態(tài),Running是一個(gè)組合狀態(tài),按照規(guī)則一轉(zhuǎn)換為抽象中對(duì)應(yīng)的集合。Start是一個(gè)結(jié)束于組合狀態(tài)邊緣的轉(zhuǎn)移,按照規(guī)則三轉(zhuǎn)換為抽象機(jī)中對(duì)應(yīng)的操作。close是一個(gè)開始于組合狀態(tài)邊緣的轉(zhuǎn)移,按照規(guī)則四轉(zhuǎn)換為抽象機(jī)中對(duì)應(yīng)的操作。weighing是一個(gè)復(fù)合轉(zhuǎn)移,按照規(guī)則七轉(zhuǎn)換為抽象機(jī)中對(duì)應(yīng)的操作。Rinse、spin、stopWash、stopReport是組合狀態(tài)中子狀態(tài)間的轉(zhuǎn)移,按照規(guī)則六轉(zhuǎn)換為抽象機(jī)中對(duì)應(yīng)的操作。轉(zhuǎn)換結(jié)果在屏幕中顯示,如圖6所示。

    實(shí)驗(yàn)通過一個(gè)案例,使用UML2B工具實(shí)現(xiàn)了從UML狀態(tài)圖到B形式化規(guī)范的轉(zhuǎn)換。實(shí)驗(yàn)結(jié)果驗(yàn)證了本文提出的轉(zhuǎn)換方法可行,在此方法上開發(fā)的UML2B工具可以實(shí)現(xiàn)自動(dòng)轉(zhuǎn)換功能。轉(zhuǎn)換后得到的B形式化模型可以使用現(xiàn)有的B方法工具進(jìn)行分析。

    5結(jié)語(yǔ)

    本文研究了從UML狀態(tài)圖到B方法的轉(zhuǎn)換規(guī)則,在此基礎(chǔ)上,提出了一種自動(dòng)轉(zhuǎn)換方法。著重介紹了從UML狀態(tài)圖到B形式化規(guī)范的轉(zhuǎn)換規(guī)則,以及轉(zhuǎn)換工具的主要設(shè)計(jì)思路,使用Java語(yǔ)言實(shí)現(xiàn)了模型轉(zhuǎn)換的原型工具UML2B。通過案例應(yīng)用表明本文提出的轉(zhuǎn)換方法可行,在此基礎(chǔ)上實(shí)現(xiàn)的原型工具UML2B可以實(shí)現(xiàn)轉(zhuǎn)換功能。

    參考文獻(xiàn)參考文獻(xiàn):

    [1]塔維娜,何積豐.基于形式化方法的需求分析[J].計(jì)算機(jī)工程,2003,29(18):107108.

    [2]許卓明,顧華建,倪玉燕,等.UML類圖向OWL本體轉(zhuǎn)換工具的設(shè)計(jì)與與實(shí)現(xiàn)[J].河海大學(xué)學(xué)報(bào),2007,(35)4:477482.

    [3]姚淑珍,金茂忠.UML狀態(tài)圖的形式化建模及其分析[J].北京航空航天大學(xué)學(xué)報(bào),2007,(33)4:472476.

    [4]肖健宇,張德云,董皓,等.UML狀態(tài)機(jī)到B形式化規(guī)約轉(zhuǎn)換[J].微電子學(xué)與計(jì)算機(jī),2005,22(8):8084.

    [5]何飛,谷建華.B方法和UML在軟件設(shè)計(jì)中的結(jié)合應(yīng)用[J].計(jì)算機(jī)工程與科學(xué),2007,(29)1:134136.

    [6]皺盛榮,孟靜,陽(yáng)雪平,等.UML狀態(tài)圖到形式化B語(yǔ)言轉(zhuǎn)換的實(shí)例研究[J].科學(xué)技術(shù)與工程,2007,(7)24:63346338.

    [7]方紅萍,陳和平.信息系統(tǒng)UML建模研究[J].計(jì)算機(jī)工程與設(shè)計(jì),2006,(27)19:36133615.

    [8]胡啟敏,薛錦云.形式化方法Designware、B的比較[J].計(jì)算機(jī)工程與應(yīng)用,2007,43(31):9699.

    [9]吳帥.UML模型圖到B方法形式規(guī)約轉(zhuǎn)換研究與應(yīng)用[D].南昌:江西師范大學(xué),2007.

    [10]TIMOTHY J GROSE,GARY C DONEY,STEPHEN A BRODSKY.精通XMI——使用XMI、XML和UML進(jìn)行Java編程[M].徐強(qiáng),金艷紅,譯.北京:電子工業(yè)出版社,2004.

    [11]熊永剛,唐慧佳.基于XMI的UML模型到XML文檔轉(zhuǎn)換實(shí)現(xiàn)[J].計(jì)算機(jī)應(yīng)用與軟件,2010,27(4):6870.

    [12]黎闖.UML交互圖到Contract規(guī)格說明的轉(zhuǎn)換及其程序?qū)崿F(xiàn)[D].廣州:暨南大學(xué),2005.

    [13]趙俊嵐.XML編程中的DOM與SAX技術(shù)[J].計(jì)算機(jī)工程,2004(30)24:7072.

    [14]張迪,朱敏,張凌立.基于SAX的XML解析與應(yīng)用[J].計(jì)算機(jī)與數(shù)字工程,2008(36)7:103106.

    [15]李發(fā)應(yīng).基于DOM與SAX的數(shù)據(jù)存取技術(shù)研究與實(shí)現(xiàn)[J].信息技術(shù),2009(2):5154.

    責(zé)任編輯(責(zé)任編輯:杜能鋼)

    亚洲av免费高清在线观看| 亚洲人成网站在线播放欧美日韩| 母亲3免费完整高清在线观看| 精品人妻偷拍中文字幕| aaaaa片日本免费| 国产私拍福利视频在线观看| 色在线成人网| 亚洲自拍偷在线| 欧美av亚洲av综合av国产av| 国内揄拍国产精品人妻在线| 婷婷六月久久综合丁香| 欧美在线黄色| 成人精品一区二区免费| 成年免费大片在线观看| 国产视频内射| 成年免费大片在线观看| 久久久久精品国产欧美久久久| 国产亚洲欧美98| 精品久久久久久成人av| 亚洲欧美精品综合久久99| 18禁裸乳无遮挡免费网站照片| 91九色精品人成在线观看| 首页视频小说图片口味搜索| 嫩草影院入口| 国产精品,欧美在线| 午夜福利高清视频| 成人国产综合亚洲| 99精品在免费线老司机午夜| 一本精品99久久精品77| 99热这里只有是精品50| 可以在线观看毛片的网站| 国产伦在线观看视频一区| 中文字幕av在线有码专区| 好男人在线观看高清免费视频| 九九热线精品视视频播放| 99久久精品热视频| 精品电影一区二区在线| 内射极品少妇av片p| 在线播放无遮挡| 韩国av一区二区三区四区| 欧美+日韩+精品| 亚洲精品一卡2卡三卡4卡5卡| 我的老师免费观看完整版| 午夜福利高清视频| 国产高清视频在线播放一区| 国产高清视频在线播放一区| 午夜免费男女啪啪视频观看 | 国产 一区 欧美 日韩| 99riav亚洲国产免费| 超碰av人人做人人爽久久 | 最近最新免费中文字幕在线| 久久性视频一级片| 女警被强在线播放| 一进一出抽搐动态| 亚洲第一欧美日韩一区二区三区| 桃色一区二区三区在线观看| 久久精品国产清高在天天线| 久久久久免费精品人妻一区二区| 国产精品一区二区免费欧美| 少妇的丰满在线观看| 欧美黄色淫秽网站| 99久国产av精品| 淫妇啪啪啪对白视频| 亚洲中文字幕日韩| 变态另类丝袜制服| 97超级碰碰碰精品色视频在线观看| 一卡2卡三卡四卡精品乱码亚洲| 欧美在线一区亚洲| 国产蜜桃级精品一区二区三区| 国产精品亚洲一级av第二区| 亚洲无线观看免费| 天堂影院成人在线观看| 丰满人妻熟妇乱又伦精品不卡| 成人高潮视频无遮挡免费网站| 欧美+亚洲+日韩+国产| 亚洲无线在线观看| 成年女人毛片免费观看观看9| 老司机深夜福利视频在线观看| 久久久久久久久大av| 亚洲精品国产精品久久久不卡| 岛国视频午夜一区免费看| 搡老岳熟女国产| 国产一区二区三区视频了| 国产v大片淫在线免费观看| 国产麻豆成人av免费视频| 国产成人影院久久av| 高清毛片免费观看视频网站| 国产高清videossex| 久久香蕉精品热| 中文字幕人妻丝袜一区二区| aaaaa片日本免费| 波多野结衣巨乳人妻| 看片在线看免费视频| 国产美女午夜福利| 亚洲av电影在线进入| 久久香蕉国产精品| 久久精品国产清高在天天线| 午夜免费成人在线视频| 日韩精品青青久久久久久| 久久人人精品亚洲av| 一进一出抽搐gif免费好疼| 亚洲国产精品久久男人天堂| 99热这里只有是精品50| 小蜜桃在线观看免费完整版高清| 2021天堂中文幕一二区在线观| 9191精品国产免费久久| 99久久精品一区二区三区| 最近最新中文字幕大全电影3| 日本黄色片子视频| 国产亚洲av嫩草精品影院| 久久久久国内视频| 日本一二三区视频观看| 国内精品久久久久久久电影| 国产欧美日韩精品一区二区| 美女免费视频网站| 欧美成狂野欧美在线观看| 99热这里只有是精品50| 搞女人的毛片| 国产成+人综合+亚洲专区| 18禁黄网站禁片午夜丰满| 日韩亚洲欧美综合| 久久精品91无色码中文字幕| 亚洲黑人精品在线| 女人十人毛片免费观看3o分钟| 欧美色欧美亚洲另类二区| 无限看片的www在线观看| 一a级毛片在线观看| 亚洲精品影视一区二区三区av| 天堂影院成人在线观看| 国产av在哪里看| 99国产综合亚洲精品| 午夜免费激情av| 欧美一区二区亚洲| www日本黄色视频网| 99视频精品全部免费 在线| 人妻夜夜爽99麻豆av| 亚洲精品亚洲一区二区| 久久久久亚洲av毛片大全| 久久久成人免费电影| 男人的好看免费观看在线视频| 国产激情欧美一区二区| 亚洲电影在线观看av| 欧美又色又爽又黄视频| 成人av一区二区三区在线看| 久久久久久人人人人人| 男女做爰动态图高潮gif福利片| 国语自产精品视频在线第100页| 国产伦一二天堂av在线观看| 国产精品乱码一区二三区的特点| 日韩人妻高清精品专区| 制服丝袜大香蕉在线| 老司机午夜十八禁免费视频| 国产久久久一区二区三区| xxxwww97欧美| 特大巨黑吊av在线直播| 别揉我奶头~嗯~啊~动态视频| 国产亚洲精品久久久com| 无人区码免费观看不卡| 中文字幕人妻熟人妻熟丝袜美 | 一个人看视频在线观看www免费 | 中文字幕av成人在线电影| 久久久久国产精品人妻aⅴ院| 久久精品亚洲精品国产色婷小说| 成人特级黄色片久久久久久久| 亚洲内射少妇av| 两人在一起打扑克的视频| 国产精品99久久99久久久不卡| 国产精品久久久久久精品电影| 露出奶头的视频| 精品国产美女av久久久久小说| 亚洲美女视频黄频| 一区二区三区高清视频在线| 好男人电影高清在线观看| 嫩草影视91久久| 午夜福利免费观看在线| 亚洲男人的天堂狠狠| 老司机在亚洲福利影院| 欧美+亚洲+日韩+国产| 亚洲中文字幕日韩| 国产探花在线观看一区二区| 国产熟女xx| 亚洲午夜理论影院| 韩国av一区二区三区四区| 亚洲中文字幕一区二区三区有码在线看| 欧美bdsm另类| 亚洲国产欧洲综合997久久,| 在线观看一区二区三区| 日韩欧美一区二区三区在线观看| 亚洲国产精品sss在线观看| 3wmmmm亚洲av在线观看| 免费av毛片视频| 十八禁人妻一区二区| 免费一级毛片在线播放高清视频| 久久这里只有精品中国| 亚洲成a人片在线一区二区| 变态另类成人亚洲欧美熟女| 制服丝袜大香蕉在线| 亚洲不卡免费看| 特级一级黄色大片| 嫩草影视91久久| 村上凉子中文字幕在线| 亚洲乱码一区二区免费版| 精品一区二区三区人妻视频| eeuss影院久久| 最近最新中文字幕大全免费视频| 18禁裸乳无遮挡免费网站照片| 欧美极品一区二区三区四区| 嫩草影视91久久| 狠狠狠狠99中文字幕| xxx96com| 一区二区三区激情视频| 久久久久亚洲av毛片大全| 亚洲人成网站在线播放欧美日韩| 国产免费男女视频| 99国产精品一区二区三区| 成人国产综合亚洲| 亚洲成人精品中文字幕电影| 俺也久久电影网| 日韩欧美在线乱码| 丰满的人妻完整版| 一区二区三区免费毛片| 欧美日韩福利视频一区二区| 在线免费观看不下载黄p国产 | 亚洲国产中文字幕在线视频| 亚洲av中文字字幕乱码综合| 久久精品人妻少妇| 18禁国产床啪视频网站| 欧美黑人欧美精品刺激| www.色视频.com| 88av欧美| 国产伦人伦偷精品视频| 午夜福利视频1000在线观看| 久久久久久久久中文| 国产精品av视频在线免费观看| 制服丝袜大香蕉在线| 色综合欧美亚洲国产小说| 成人高潮视频无遮挡免费网站| 欧美+日韩+精品| 国产精品98久久久久久宅男小说| 在线观看免费视频日本深夜| 欧美日韩综合久久久久久 | 国产91精品成人一区二区三区| bbb黄色大片| 内射极品少妇av片p| 伊人久久大香线蕉亚洲五| 成人av一区二区三区在线看| 在线观看av片永久免费下载| 国产精品久久久人人做人人爽| 国产精品精品国产色婷婷| 久久精品91无色码中文字幕| 嫁个100分男人电影在线观看| 午夜精品久久久久久毛片777| 欧美成人免费av一区二区三区| 亚洲最大成人中文| 久久久久久久午夜电影| 精品一区二区三区av网在线观看| 国产午夜精品久久久久久一区二区三区 | 亚洲av日韩精品久久久久久密| 成年女人永久免费观看视频| 亚洲七黄色美女视频| 99精品久久久久人妻精品| 最近最新中文字幕大全电影3| 2021天堂中文幕一二区在线观| 午夜免费激情av| 亚洲最大成人中文| 亚洲av一区综合| 成人欧美大片| 老汉色av国产亚洲站长工具| 色尼玛亚洲综合影院| 好男人电影高清在线观看| 99国产精品一区二区蜜桃av| av片东京热男人的天堂| 51国产日韩欧美| 色尼玛亚洲综合影院| www.熟女人妻精品国产| 在线观看舔阴道视频| 一区二区三区激情视频| 高清日韩中文字幕在线| av片东京热男人的天堂| 悠悠久久av| 亚洲精品影视一区二区三区av| 国产伦在线观看视频一区| 长腿黑丝高跟| 午夜福利成人在线免费观看| 日本与韩国留学比较| 一级作爱视频免费观看| 人妻夜夜爽99麻豆av| 观看美女的网站| 男插女下体视频免费在线播放| 一夜夜www| 啪啪无遮挡十八禁网站| 亚洲,欧美精品.| 3wmmmm亚洲av在线观看| 一二三四社区在线视频社区8| 成人永久免费在线观看视频| 亚洲欧美日韩无卡精品| 久久久久九九精品影院| 婷婷亚洲欧美| 99国产精品一区二区蜜桃av| 欧美日韩瑟瑟在线播放| 欧美性感艳星| 好看av亚洲va欧美ⅴa在| 久久香蕉国产精品| 日日摸夜夜添夜夜添小说| 日韩欧美精品v在线| 毛片女人毛片| 国产 一区 欧美 日韩| av福利片在线观看| 精品国产三级普通话版| 岛国在线免费视频观看| 无人区码免费观看不卡| 首页视频小说图片口味搜索| netflix在线观看网站| 每晚都被弄得嗷嗷叫到高潮| 少妇的逼好多水| 内地一区二区视频在线| 男人舔女人下体高潮全视频| 91麻豆av在线| 亚洲精品一区av在线观看| 岛国在线免费视频观看| 中文在线观看免费www的网站| 在线观看舔阴道视频| 欧美最新免费一区二区三区 | 中出人妻视频一区二区| 99久久成人亚洲精品观看| 亚洲精品在线美女| 免费看十八禁软件| 色老头精品视频在线观看| 精品乱码久久久久久99久播| 免费在线观看成人毛片| 午夜日韩欧美国产| 午夜免费成人在线视频| 亚洲18禁久久av| 免费大片18禁| 高清毛片免费观看视频网站| 中亚洲国语对白在线视频| 狂野欧美激情性xxxx| 99热精品在线国产| 亚洲欧美日韩无卡精品| 国产中年淑女户外野战色| 亚洲人成网站在线播放欧美日韩| 噜噜噜噜噜久久久久久91| 蜜桃久久精品国产亚洲av| 国产精品永久免费网站| 亚洲中文日韩欧美视频| 国语自产精品视频在线第100页| 国内揄拍国产精品人妻在线| 18美女黄网站色大片免费观看| 国产aⅴ精品一区二区三区波| 神马国产精品三级电影在线观看| 午夜免费激情av| 亚洲av五月六月丁香网| 天堂动漫精品| 欧美色欧美亚洲另类二区| 一区二区三区高清视频在线| 国产精品久久视频播放| 国产亚洲精品一区二区www| 亚洲av免费在线观看| 性欧美人与动物交配| 欧美日韩精品网址| 久久久久久久精品吃奶| 黄色成人免费大全| 久久天躁狠狠躁夜夜2o2o| 国产精品99久久99久久久不卡| 99久久无色码亚洲精品果冻| 色老头精品视频在线观看| 最近最新中文字幕大全免费视频| 欧美最黄视频在线播放免费| 91av网一区二区| 国产精品久久久久久亚洲av鲁大| 日本黄大片高清| 亚洲欧美一区二区三区黑人| 免费在线观看日本一区| 亚洲国产精品sss在线观看| 久久久色成人| 757午夜福利合集在线观看| 国产成人福利小说| 99久久综合精品五月天人人| 中文亚洲av片在线观看爽| 我要搜黄色片| 精品久久久久久久人妻蜜臀av| 国产91精品成人一区二区三区| 一本久久中文字幕| 两性午夜刺激爽爽歪歪视频在线观看| 国产国拍精品亚洲av在线观看 | 国产 一区 欧美 日韩| 国产一区在线观看成人免费| 国产美女午夜福利| 91在线观看av| 亚洲成人久久性| 99riav亚洲国产免费| 又黄又爽又免费观看的视频| 我要搜黄色片| 亚洲在线自拍视频| 91av网一区二区| 两人在一起打扑克的视频| 一个人看的www免费观看视频| 免费电影在线观看免费观看| 欧美另类亚洲清纯唯美| 亚洲乱码一区二区免费版| 嫁个100分男人电影在线观看| 婷婷亚洲欧美| 女生性感内裤真人,穿戴方法视频| 色尼玛亚洲综合影院| 午夜免费成人在线视频| 国产精华一区二区三区| 国产精品乱码一区二三区的特点| 91麻豆精品激情在线观看国产| 亚洲第一电影网av| 国产一区二区在线观看日韩 | 亚洲不卡免费看| 99国产极品粉嫩在线观看| 我要搜黄色片| 好看av亚洲va欧美ⅴa在| 少妇人妻一区二区三区视频| 99在线视频只有这里精品首页| 老司机在亚洲福利影院| av在线天堂中文字幕| 国产 一区 欧美 日韩| 国产精品久久久久久精品电影| 色尼玛亚洲综合影院| 97人妻精品一区二区三区麻豆| aaaaa片日本免费| 午夜福利高清视频| 国产亚洲精品久久久com| 欧美不卡视频在线免费观看| 亚洲内射少妇av| 欧美另类亚洲清纯唯美| 男女之事视频高清在线观看| 亚洲国产欧美人成| 亚洲av不卡在线观看| 久久久久亚洲av毛片大全| 午夜福利视频1000在线观看| 变态另类成人亚洲欧美熟女| 亚洲av熟女| 伊人久久精品亚洲午夜| 欧美日韩中文字幕国产精品一区二区三区| xxx96com| 男女床上黄色一级片免费看| 人妻丰满熟妇av一区二区三区| 午夜福利在线观看免费完整高清在 | 中文字幕人妻熟人妻熟丝袜美 | 男女那种视频在线观看| 最新中文字幕久久久久| 精品无人区乱码1区二区| 国产一区二区三区视频了| 一区二区三区免费毛片| 久久久久性生活片| 久久国产精品影院| 搡老妇女老女人老熟妇| 真人做人爱边吃奶动态| 久久久久久久久久黄片| 精品日产1卡2卡| 男人舔奶头视频| 99精品久久久久人妻精品| 久久香蕉精品热| 日韩高清综合在线| 欧美激情久久久久久爽电影| 听说在线观看完整版免费高清| 丁香六月欧美| 97超视频在线观看视频| a级一级毛片免费在线观看| 我要搜黄色片| 欧美日韩综合久久久久久 | АⅤ资源中文在线天堂| 韩国av一区二区三区四区| 91久久精品国产一区二区成人 | 夜夜爽天天搞| av在线蜜桃| 夜夜夜夜夜久久久久| 男人舔女人下体高潮全视频| 天堂网av新在线| 乱人视频在线观看| av福利片在线观看| 国产成人aa在线观看| 97人妻精品一区二区三区麻豆| 久久久久精品国产欧美久久久| 亚洲熟妇熟女久久| 99国产精品一区二区三区| 最后的刺客免费高清国语| 国产爱豆传媒在线观看| 国产v大片淫在线免费观看| 午夜免费观看网址| 色综合婷婷激情| 免费人成视频x8x8入口观看| 国产免费一级a男人的天堂| 国产97色在线日韩免费| 亚洲激情在线av| 精品久久久久久久人妻蜜臀av| 亚洲欧美一区二区三区黑人| 精品国产超薄肉色丝袜足j| 国产麻豆成人av免费视频| 国产一区在线观看成人免费| 久久久精品大字幕| 免费大片18禁| 成人特级黄色片久久久久久久| 中文字幕精品亚洲无线码一区| 国产不卡一卡二| 两个人看的免费小视频| 国产一区二区三区在线臀色熟女| 国产精品1区2区在线观看.| 99精品久久久久人妻精品| 国产成人系列免费观看| 国产综合懂色| 午夜福利免费观看在线| 亚洲精品一卡2卡三卡4卡5卡| 精品熟女少妇八av免费久了| 啦啦啦免费观看视频1| 亚洲在线自拍视频| 日本免费a在线| 成人特级黄色片久久久久久久| 亚洲人成伊人成综合网2020| 国产精品久久久人人做人人爽| 免费一级毛片在线播放高清视频| 欧美在线一区亚洲| 国内少妇人妻偷人精品xxx网站| 特大巨黑吊av在线直播| 天堂√8在线中文| 搞女人的毛片| 男人和女人高潮做爰伦理| 亚洲欧美日韩无卡精品| 99热这里只有是精品50| 午夜亚洲福利在线播放| 国内精品美女久久久久久| 色视频www国产| 久久99热这里只有精品18| 免费一级毛片在线播放高清视频| 免费搜索国产男女视频| 中文字幕av成人在线电影| 亚洲久久久久久中文字幕| 亚洲精品国产精品久久久不卡| 国产毛片a区久久久久| 午夜精品久久久久久毛片777| av国产免费在线观看| 国产色婷婷99| 天美传媒精品一区二区| 精品国产亚洲在线| www国产在线视频色| 天堂动漫精品| 岛国在线观看网站| 日韩有码中文字幕| 男人舔女人下体高潮全视频| 国产精品野战在线观看| 母亲3免费完整高清在线观看| 中文字幕av成人在线电影| 国产久久久一区二区三区| 亚洲无线在线观看| 女同久久另类99精品国产91| 在线看三级毛片| 美女黄网站色视频| 内射极品少妇av片p| 真人一进一出gif抽搐免费| 啦啦啦免费观看视频1| 99精品在免费线老司机午夜| 欧美zozozo另类| 国产乱人视频| 级片在线观看| 在线观看美女被高潮喷水网站 | 日本与韩国留学比较| 国产精品一区二区免费欧美| 51午夜福利影视在线观看| 麻豆久久精品国产亚洲av| 人妻久久中文字幕网| 成年女人永久免费观看视频| 变态另类成人亚洲欧美熟女| 桃色一区二区三区在线观看| 男女床上黄色一级片免费看| 亚洲国产精品合色在线| 18禁黄网站禁片午夜丰满| 丰满的人妻完整版| 中文字幕高清在线视频| a在线观看视频网站| 欧美日本亚洲视频在线播放| 午夜精品一区二区三区免费看| 国产伦人伦偷精品视频| 国产高潮美女av| 一卡2卡三卡四卡精品乱码亚洲| 久久精品综合一区二区三区| 国产视频一区二区在线看| 又爽又黄无遮挡网站| 少妇的逼好多水| 黄色成人免费大全| 国产97色在线日韩免费| 国产av不卡久久| 波野结衣二区三区在线 | 成人av一区二区三区在线看| 法律面前人人平等表现在哪些方面| 午夜福利免费观看在线| 成人特级黄色片久久久久久久| 国产v大片淫在线免费观看| 国产一区二区亚洲精品在线观看| 在线a可以看的网站| 97超级碰碰碰精品色视频在线观看| 男女床上黄色一级片免费看| 成年版毛片免费区| 国产视频内射| АⅤ资源中文在线天堂| 亚洲专区国产一区二区| 久久久国产成人精品二区| 天堂√8在线中文| 变态另类成人亚洲欧美熟女| 女人被狂操c到高潮| 女生性感内裤真人,穿戴方法视频| 又紧又爽又黄一区二区| www国产在线视频色| 久久久久久国产a免费观看| 国产亚洲精品久久久久久毛片| 国产v大片淫在线免费观看| 亚洲av日韩精品久久久久久密| 一区二区三区激情视频| 亚洲av电影不卡..在线观看| 嫩草影院精品99| 1000部很黄的大片| 尤物成人国产欧美一区二区三区| 我要搜黄色片|