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

    基于MDA的MARTE模型形式化轉(zhuǎn)換*

    2012-09-02 06:24:34王立杰劉昌祿俞烈彬
    指揮控制與仿真 2012年6期
    關(guān)鍵詞:狀態(tài)圖嵌入式定義

    王立杰,劉昌祿,俞烈彬

    (江蘇自動(dòng)化研究所,江蘇 連云港 222006)

    嵌入式系統(tǒng)是一種嵌入到具體設(shè)備中,對性能、成本、功耗等有嚴(yán)格要求的專用計(jì)算機(jī)系統(tǒng),目前已經(jīng)廣泛應(yīng)用于軍事、通訊、醫(yī)療、交通等行業(yè)中。運(yùn)行時(shí)系統(tǒng)功能的失效或者違反安全性、可靠性、實(shí)時(shí)性等非功能屬性都將導(dǎo)致災(zāi)難性的后果[1]。因此,提高軟件可信性成為嵌入式軟件開發(fā)領(lǐng)域的重要課題。

    MARTE(Modeling and Analysis of Real Time and Embedded systems)是UML在嵌入式實(shí)時(shí)系統(tǒng)領(lǐng)域的建模規(guī)范[2],彌補(bǔ)了UML對嵌入式實(shí)時(shí)領(lǐng)域的非功能屬性的表達(dá)能力的不足。UML/MARTE規(guī)范采用圖形化的方式描述系統(tǒng),缺乏精確的語義信息,因此難以直接進(jìn)行一致性驗(yàn)證。形式化方法提供了一種嚴(yán)格精確的數(shù)學(xué)方法,通常被用于軟件設(shè)計(jì)階段,分析系統(tǒng)的可靠性[3]。Ahmed M.Mostafa等提出使用Z形式化UML用例圖、類圖、狀態(tài)圖等[4]。張?zhí)斓壤肁MMA平臺,在元模型層定義了MARTE到FIACRE的映射關(guān)系,完成了異構(gòu)轉(zhuǎn)換[5]。Soon-Kyeong Kim and David Carrington提出了元建模方法完成從UML圖到Object-Z的轉(zhuǎn)換,兩種語言定義在元模型層次,保證了轉(zhuǎn)換的精確性,完整性和一致性[6]。目前研究者對UML的形式化進(jìn)行了多方面的研究,并考慮MARTE與嵌入式系統(tǒng)的其它建模語言進(jìn)行轉(zhuǎn)換或集成,但對于MARTE模型的形式化基礎(chǔ)研究的還比較少。

    本文首先建立了擴(kuò)展的Object-Z的元模型,以方便描述嵌入式時(shí)間和資源非功能屬性。然后在MDA框架下分別定義MARTE靜態(tài)結(jié)構(gòu)圖,動(dòng)態(tài)行為圖和時(shí)間資源非功能屬性到Object-Z語義的轉(zhuǎn)換規(guī)則,實(shí)現(xiàn)MARTE模型到Object-Z規(guī)約之間的轉(zhuǎn)換。從而可以根據(jù)Object-Z規(guī)范及其推理技術(shù)對MARTE模型進(jìn)行形式化的驗(yàn)證。由于轉(zhuǎn)換規(guī)則定義在元模型層,轉(zhuǎn)換規(guī)則可以重用。最后,將本文的轉(zhuǎn)換方法應(yīng)用到一個(gè)具體的案例,實(shí)現(xiàn)了兩個(gè)模型之間的轉(zhuǎn)換,驗(yàn)證了轉(zhuǎn)換方法的有效性。

    1 基于MDA的模型轉(zhuǎn)換框架

    MDA是一種以模型為中心的軟件開發(fā)框架[7],其核心是模型和模型轉(zhuǎn)換,模型之間的轉(zhuǎn)換規(guī)則定義在元模型層。基于MDA的模型轉(zhuǎn)換解決了傳統(tǒng)模型轉(zhuǎn)換規(guī)則復(fù)雜而且難以重用的問題[8]。

    1.1 本文的模型轉(zhuǎn)換框架

    在MDA的元-元模型體系中,UML/MARTE模型和Object-Z形式化描述屬于模型層(M1層),而Object-Z模型的定義即Object-Z元模型和MARTE模型的元模型屬于元模型層(M2層)。MOF元對象設(shè)施為元-元模型的根(M3層)。本文首先建立遵從MOF元對象設(shè)施的擴(kuò)展的 Object-Z元模型,即將 Object-Z元模型和MARTE元模型納入到同一體系里,保證了轉(zhuǎn)換過程的同構(gòu);然后在元模型層定義映射關(guān)系;最后在模型層應(yīng)用轉(zhuǎn)換規(guī)則,實(shí)現(xiàn)轉(zhuǎn)換過程。如圖1所示。

    圖1 MARTE模型和Object-Z模型之間的轉(zhuǎn)換

    1.2 擴(kuò)展的Object-Z元模型

    Z語言是一種形式化規(guī)格說明語言,它以一階謂詞邏輯和集合論為基礎(chǔ),支持表示抽象和操作抽象。Object-Z是Z的面向?qū)ο蟮臄U(kuò)展,可以方便地描述繼承、多態(tài)、關(guān)聯(lián)、聚集、組合等面向?qū)ο筇攸c(diǎn)。Object-Z規(guī)格說明由類組成,類由狀態(tài)及定義在狀態(tài)上的操作組成。一個(gè)完整的Object-Z類模式如圖2所示。詳細(xì)的Object-Z語義參見文獻(xiàn)[9]。

    圖2 Object-Z類模式

    圖3是用類圖表示的Object-Z的核心元素元模型的結(jié)構(gòu)圖[8]。一個(gè)完整的Object-Z規(guī)約OZSpecification由 OZClass、OZOperation、OZAttribute 和 OZParameter、OZType等基本元素組成。其中本文添加了OZExpression和OZTimer兩種實(shí)時(shí)相關(guān)元素。OZExpression表示動(dòng)作執(zhí)行的約束條件,在Object-Z規(guī)約中為謂詞表達(dá)式。OZTimer為時(shí)間事件觀察器,表征行為的執(zhí)行時(shí)間相關(guān)因素。

    圖3 一個(gè)擴(kuò)展的Object-Z元模型結(jié)構(gòu)圖

    2 元模型層的映射規(guī)則

    本文關(guān)注實(shí)時(shí)嵌入式系統(tǒng)模型的靜態(tài)結(jié)構(gòu),動(dòng)態(tài)行為,時(shí)間和能量約束三個(gè)部分,分別用MARTE實(shí)時(shí)系統(tǒng)建模元素描述系統(tǒng)靜態(tài)結(jié)構(gòu),狀態(tài)圖描述系統(tǒng)動(dòng)態(tài)行為,MARTE Profile標(biāo)記動(dòng)作執(zhí)行時(shí)間和能量約束。

    2.1 靜態(tài)結(jié)構(gòu)到Object-Z的映射

    靜態(tài)視圖展示系統(tǒng)里的事物的特征及它們之間的靜態(tài)聯(lián)系的總體模型的視圖。組成靜態(tài)視圖的最上層包括類元、聯(lián)系等。

    2.1.1 MARTE 數(shù)據(jù)類型轉(zhuǎn)換

    MARTE中使用的數(shù)據(jù)類型主要在MARTE模型庫(MARTE model library)中定義,MARTE中的基本數(shù)據(jù)類型 Integer,Unlimited Natural,Boolean 分別對應(yīng) Object-Z基本數(shù)據(jù)類型為Z,N,B三種類型。表1給出了從一些MARTE非基本數(shù)據(jù)類型到Object-Z類型之間的映射。其中與實(shí)時(shí)特征相關(guān)的數(shù)據(jù)類型有NFP-Duration,NFP-DateTime,NFP-Energy。

    表1 MARTE數(shù)據(jù)類型到Object-Z類型的映射

    2.1.2 MARTE 實(shí)時(shí)建模元素轉(zhuǎn)換

    MARTE中設(shè)計(jì)模型主要封裝在高層應(yīng)用建模包HLAM中。如圖4所示,RtUnit和PpUnit表示實(shí)時(shí)嵌入式系統(tǒng)的活動(dòng)對象。

    圖4 MARTE實(shí)時(shí)系統(tǒng)建模元素

    實(shí)時(shí)特征可以直接通過RtUnit,PpUnit,RtService以及RtAction的屬性進(jìn)行建模。更加細(xì)致的實(shí)時(shí)建??梢允褂肦ealTimeFeature構(gòu)造型。

    根據(jù)實(shí)時(shí)建模元素的語義,定義表2中的映射。

    2.2 動(dòng)態(tài)行為元素到Object-Z的映射

    狀態(tài)圖表示有限狀態(tài)系統(tǒng)對外部事件響應(yīng)所形成的狀態(tài)遷移和動(dòng)作響應(yīng)。圖5給出了狀態(tài)機(jī)元模型。

    圖5 狀態(tài)圖元模型

    表2 MARTE靜態(tài)結(jié)構(gòu)到Object-Z之間的映射

    根據(jù)UML狀態(tài)機(jī)元素的語義,定義表的映射如表3所示。

    表3 狀態(tài)機(jī)元素與Object-Z語義的映射

    2.3 時(shí)間和資源非功能屬性映射

    本文關(guān)注行為的時(shí)間和能量約束兩方面的非功能屬性。構(gòu)造型?ResourceUsage?可以被用來定量地描述這兩方面的屬性。?ResourceUsage?的部分關(guān)系如圖6所示。UsageTypeAmount利用標(biāo)簽值(Tagged value)“execTime”標(biāo)記時(shí)間消耗,類型為NFP-Duration。利用“energy”標(biāo)記資源使用的數(shù)量,它的類型為NFPEnergy。在實(shí)時(shí)系統(tǒng)中,它表示單位時(shí)間內(nèi)的能耗量,而總能耗量則是單位時(shí)間能耗和執(zhí)行時(shí)間的乘積。

    ResourceUsage標(biāo)記了行為執(zhí)行所消耗的時(shí)間和能量,具有時(shí)間和能量兩種狀態(tài)變化的行為模式,與OZClass語義相似,故將其映射為OZClass,其中執(zhí)行時(shí)間和能量的類型按此前定義的轉(zhuǎn)換規(guī)則映射為整數(shù)類型。如圖7所示。

    圖6 ResourceUsage構(gòu)造型

    圖7 ResourceUsage類模式

    Object-Z在實(shí)時(shí)系統(tǒng)領(lǐng)域表達(dá)能力不足,沒有時(shí)間描述機(jī)制,難以滿足嵌入式模型對時(shí)間的要求。在Object-Z中定義定時(shí)器Timer和計(jì)時(shí)器DurationTimer兩種模式,分別表示系統(tǒng)當(dāng)前時(shí)間和時(shí)間間隔。Timer及其Object-Z表達(dá)如圖8所示。這種定義方式能滿足對嵌入式系統(tǒng)時(shí)間的要求,同時(shí)避免對Object-Z原語義進(jìn)行擴(kuò)充。

    圖8 Timer及其Object-Z模式

    在狀態(tài)圖中,能量消耗發(fā)生在狀態(tài)遷移中,如圖9所示。本文將ResourceUsage映射為對象類的一個(gè)操作模式,并且有如下定義:

    TransitionResourceUsage?Transition∧ResourceUsage∧DurationTimer

    3 模型轉(zhuǎn)換的實(shí)現(xiàn)

    結(jié)合上文的映射規(guī)則,給出了一個(gè)具體實(shí)例——飛機(jī)著陸問題,具體說明轉(zhuǎn)換規(guī)則的應(yīng)用。

    圖9 帶MARTE標(biāo)記的狀態(tài)圖

    3.1 問題描述

    飛機(jī)著陸問題(Aircraft Landing)描述了飛機(jī)著陸場景:飛機(jī)跑道每次僅容一架飛機(jī)降落,每架飛機(jī)都有一個(gè)目標(biāo)著陸時(shí)間(Target Time)和實(shí)際到達(dá)時(shí)間(Reach Time)。早到或晚到就有可能影響其它飛機(jī)的著陸。若沒有飛機(jī)處于等待狀態(tài)且跑道處于空閑狀態(tài),則飛機(jī)直接著陸,否則系統(tǒng)通知其在空中徘徊等待先到的飛機(jī)著陸,因而消耗更多的燃料。處于等待狀態(tài)的飛機(jī)最多為2架,否則認(rèn)為不安全。如果所有處于等待狀態(tài)的飛機(jī)燃料充足,則系統(tǒng)按照飛機(jī)實(shí)際到達(dá)時(shí)間發(fā)送著陸通知,否則燃料不足的飛機(jī)先得到通知。所有得到著陸通知的飛機(jī)必須在10min內(nèi)著陸,并且在5min內(nèi)離開跑道。系統(tǒng)可以實(shí)時(shí)查詢飛機(jī)的狀態(tài)。

    3.2 MARTE 建模

    針對問題中存在兩類實(shí)時(shí)單元Aircraft和Runway,結(jié)合MARTE實(shí)時(shí)系統(tǒng)建模元素和時(shí)間與資源建模元素,我們用 Aircraft類描述飛機(jī)的屬性和實(shí)時(shí)服務(wù)。Runway類則描述了飛機(jī)通知調(diào)度和查詢行為,目前MARTE 建模[10]已經(jīng)得到開源工具 Papyrus[10]的支持,如圖10、11、12系統(tǒng)模型圖。

    靜態(tài)結(jié)構(gòu)圖中主實(shí)時(shí)單元Runway的生命周期等于系統(tǒng)的生命周期,它維護(hù)一個(gè)調(diào)度列表List,當(dāng)前狀態(tài)RunwayState。Runway根據(jù)與飛機(jī)的交互信息提供實(shí)時(shí)服務(wù):通知隊(duì)列中第一架飛機(jī)著陸start,飛機(jī)離開跑道后通知Runway執(zhí)行end。實(shí)時(shí)行為包含改變調(diào)度序列changeList,實(shí)時(shí)查詢飛機(jī)狀態(tài)query,更新調(diào)度列表sort。ExecutionKind是IocalImmediate,代表著得到交互信息后實(shí)時(shí)服務(wù)立即執(zhí)行。poolSize=2代表最多有兩架飛機(jī)等待降落。Aircraft類包含屬性飛機(jī)標(biāo)識id,最長等待時(shí)間Time,當(dāng)前能量 Energy,當(dāng)前狀態(tài)AircraftState。Aircraft提供五種實(shí)時(shí)服務(wù),飛機(jī)獲準(zhǔn)進(jìn)入機(jī)場空域appr,空中徘徊等待stop,飛機(jī)著陸land,直接著陸dirland,穿過跑道cross。其ExecutionKind都為deferred,表示該行為可延時(shí)執(zhí)行。concPolicy=reader聲明了同步策略,它表示同步發(fā)生沒有任何副作用。

    圖10 Aircraft-Runway靜態(tài)結(jié)構(gòu)圖

    圖11 帶MARTE標(biāo)記的Aircraft狀態(tài)圖

    圖12 Runway狀態(tài)圖

    在Aircraft的狀態(tài)圖中,ResourceUsage標(biāo)記了狀態(tài)遷移中行為的時(shí)間和能量消耗。作了如下假設(shè):1)Runway同意飛機(jī)進(jìn)入機(jī)場空域后,飛機(jī)轉(zhuǎn)換狀態(tài)的時(shí)間和能量消耗忽略不計(jì);2)飛機(jī)處于等待狀態(tài)時(shí),單位時(shí)間消耗的能量是恒定的;3)飛機(jī)降落時(shí)必須將速度限制到一定范圍內(nèi),著陸和穿過跑道時(shí)能量消耗存在一個(gè)上限。

    3.3 模型轉(zhuǎn)換

    根據(jù)上文中定義的轉(zhuǎn)換規(guī)則,將相應(yīng)的MARTE靜態(tài)圖、動(dòng)態(tài)圖和時(shí)間資源約束轉(zhuǎn)換為Object-Z描述。如圖13、14所示。限于篇幅,本文只詳細(xì)說明Runway的sort操作模式。

    圖13 Aircraft的Object-Z描述

    Runway根據(jù)當(dāng)前的RunwayState和處于wait狀態(tài)的隊(duì)列長度len進(jìn)行調(diào)度,如表4所示。根據(jù)以下條件,Runway可以通過操作sort的結(jié)果與飛機(jī)進(jìn)行實(shí)時(shí)交互,并更新調(diào)度列表。

    表4 飛機(jī)調(diào)度條件

    圖14 Runway的Object-Z描述

    4 結(jié)束語

    嵌入式軟件建模和形式化方法的結(jié)合可以大大提高嵌入式系統(tǒng)的可靠性。本文在模型驅(qū)動(dòng)的框架下,研究了嵌入式系統(tǒng)建模語言MARTE與形式化語言O(shè)bject-Z之間的轉(zhuǎn)換,主要做了如下工作:1)定義了基于MOF的實(shí)時(shí)擴(kuò)展Object-Z元模型;2)給出了MARTE模型和Object-Z的模型轉(zhuǎn)換框架;3)建立MARTE元模型和Object-Z元模型之間的可以重用的轉(zhuǎn)換規(guī)則。

    嵌入式實(shí)時(shí)系統(tǒng)關(guān)注實(shí)時(shí)對象之間的通信,所以將序列圖的轉(zhuǎn)化為形式化模型是我們下一步的工作。同時(shí)由于本文只關(guān)注了嵌入式模型的時(shí)間和資源非功能屬性,下一步將在此基礎(chǔ)上分析MARTE其它非功能屬性建模元素如性能分析、吞吐量等。

    [1]楊年華.模型驅(qū)動(dòng)架構(gòu)中的可信嵌入式軟件建模與分析[D].上海:華東理工大學(xué)博士論文,2010.

    [2]OMG.UML Profile for MARTE:Modeling and Analysis of Real-time Embedded Systems.2011.http:∥www.omg.org/spec/MARTE/1.1.

    [3]Ermeson Andrade,Paulo Maciel,Gustavo Callou,Bruno Nogueira.Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time SystemswithEnergyConstraints.CIMCA 2008,2008:615-620.

    [4]M.Mostafa A,Ismail MA,EL-Bolok H et al.Toward a Formalization of uml2.0 Metamodel Using Specifications.In:8th ACIS International Conference on Software Engineering,Artificial Intelligence,Networking,and Parallel/Distributed Computing;SNPD,2007:694-701.

    [5]張?zhí)?,JOUAULT,等.基于MDE的異構(gòu)模型轉(zhuǎn)換:從MARTE模型到 FIACRE模型[J].軟件學(xué)報(bào),2009,20(2):214-233.

    [6]Kim S-K,Carrington D.A Formal Mapping between UML Models and Object-Z Specifications.In:LNCS 1878;2000:Springer-Verlag;2000:2-21.

    [7]OMG.MDA Guide Version 1.0.1.2009.http∥www.omg.org/cgi-bin/doc?omg/03-06-01.

    [8]劉亞萍,等.基于元建模的實(shí)時(shí)系統(tǒng)模型轉(zhuǎn)換方法研究.Journal of Chinese Computer Systems,2010,31(11):2145-2153.

    [9]Kim S-K,Carrington D.A Formal Metamodeling Approach to a Transformation Between the UML State Machine and object-Z.In:ICFEM 2002,LNCS 2495;2002;Springer-Verlag Berlin Heidelberg;2002:548-560.

    [10]Sébastien Demathieu,F(xiàn)rédéric Thomas,Charles André,Sébastien Gérard,F(xiàn)ran?ois Terrier.First experiments using the UML profile for MARTE.11th IEEE Symposium on Object Oriented Real-Time Distributed Computing(ISORC),2008:50-57.

    [11]CEA List Team.Papyrus1.12(open source tool for graphical UML2 modeling).http:∥www.papyrusuml.org,2008.

    猜你喜歡
    狀態(tài)圖嵌入式定義
    基于Web 的高校資產(chǎn)管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
    航線網(wǎng)絡(luò)優(yōu)化方法研究
    搭建基于Qt的嵌入式開發(fā)平臺
    嵌入式軟PLC在電鍍生產(chǎn)流程控制系統(tǒng)中的應(yīng)用
    成功的定義
    山東青年(2016年1期)2016-02-28 14:25:25
    基于UML狀態(tài)圖的軟件系統(tǒng)測試用例生成方法
    Altera加入嵌入式視覺聯(lián)盟
    倍福 CX8091嵌入式控制器
    修辭學(xué)的重大定義
    山的定義
    免费黄网站久久成人精品| 精品国产三级普通话版| 狂野欧美激情性xxxx在线观看| 国产老妇伦熟女老妇高清| 直男gayav资源| 国产精品不卡视频一区二区| 日韩人妻高清精品专区| 一边亲一边摸免费视频| 午夜福利在线观看吧| 青春草亚洲视频在线观看| 在现免费观看毛片| 国产探花在线观看一区二区| 麻豆久久精品国产亚洲av| 丰满人妻一区二区三区视频av| 亚洲欧美日韩卡通动漫| av线在线观看网站| av天堂中文字幕网| 九九久久精品国产亚洲av麻豆| 免费观看性生交大片5| 99热这里只有是精品在线观看| 午夜精品在线福利| 欧美潮喷喷水| 午夜福利在线在线| 在线观看美女被高潮喷水网站| 韩国av在线不卡| 国产在线男女| 午夜日本视频在线| 免费大片18禁| 免费看av在线观看网站| 亚洲国产精品合色在线| 日本wwww免费看| 日韩av在线大香蕉| 天堂影院成人在线观看| 亚洲av日韩在线播放| 精品一区二区免费观看| 男插女下体视频免费在线播放| 直男gayav资源| 亚洲av二区三区四区| 最新中文字幕久久久久| 男女视频在线观看网站免费| 中文字幕亚洲精品专区| av福利片在线观看| 国产精品久久久久久精品电影| 好男人视频免费观看在线| 免费黄网站久久成人精品| 欧美不卡视频在线免费观看| 久久久久久久久大av| 国产精品久久视频播放| 欧美一级a爱片免费观看看| 久久精品91蜜桃| 亚洲一级一片aⅴ在线观看| 一边摸一边抽搐一进一小说| 国产免费又黄又爽又色| 久久精品人妻少妇| 欧美性感艳星| 欧美成人午夜免费资源| 国产极品精品免费视频能看的| 日韩大片免费观看网站 | 亚洲不卡免费看| 99久久九九国产精品国产免费| 五月伊人婷婷丁香| av国产久精品久网站免费入址| 九九爱精品视频在线观看| 国产黄片美女视频| 免费不卡的大黄色大毛片视频在线观看 | 精品免费久久久久久久清纯| 欧美高清性xxxxhd video| 看十八女毛片水多多多| 99久久中文字幕三级久久日本| 日韩欧美精品免费久久| videos熟女内射| 国产熟女欧美一区二区| 国产一区二区亚洲精品在线观看| 建设人人有责人人尽责人人享有的 | 建设人人有责人人尽责人人享有的 | 日本五十路高清| 久久久精品欧美日韩精品| 熟女人妻精品中文字幕| 尤物成人国产欧美一区二区三区| 亚洲欧美中文字幕日韩二区| 最新中文字幕久久久久| 精品一区二区免费观看| 丰满乱子伦码专区| 亚洲aⅴ乱码一区二区在线播放| 99在线视频只有这里精品首页| 人妻系列 视频| 精品久久久久久久久久久久久| 亚洲av中文字字幕乱码综合| 一个人看的www免费观看视频| 久久久久久九九精品二区国产| 久久精品夜夜夜夜夜久久蜜豆| 天堂√8在线中文| 天天躁日日操中文字幕| 99热这里只有是精品在线观看| 欧美潮喷喷水| 你懂的网址亚洲精品在线观看 | 成年免费大片在线观看| 欧美最新免费一区二区三区| 亚洲熟妇中文字幕五十中出| 免费在线观看成人毛片| 白带黄色成豆腐渣| 美女国产视频在线观看| 熟女人妻精品中文字幕| 国内精品一区二区在线观看| 日韩欧美三级三区| 麻豆乱淫一区二区| 天天一区二区日本电影三级| 爱豆传媒免费全集在线观看| 韩国av在线不卡| 不卡视频在线观看欧美| 国产精品,欧美在线| 国产精品嫩草影院av在线观看| av专区在线播放| 日产精品乱码卡一卡2卡三| 综合色丁香网| 真实男女啪啪啪动态图| 美女脱内裤让男人舔精品视频| 国产黄片美女视频| 日本一本二区三区精品| 日韩欧美在线乱码| 亚洲丝袜综合中文字幕| 两性午夜刺激爽爽歪歪视频在线观看| 国产老妇女一区| 国产精品久久久久久精品电影| 日本一二三区视频观看| 亚洲人成网站在线观看播放| 久久精品国产自在天天线| 精品久久久久久久末码| 成人午夜精彩视频在线观看| 少妇人妻一区二区三区视频| 禁无遮挡网站| 色尼玛亚洲综合影院| 蜜桃亚洲精品一区二区三区| 中文精品一卡2卡3卡4更新| 嫩草影院新地址| 精品一区二区三区视频在线| 亚洲久久久久久中文字幕| 黄色一级大片看看| 草草在线视频免费看| 久久6这里有精品| 久久精品国产99精品国产亚洲性色| 中文字幕av在线有码专区| 在线天堂最新版资源| 婷婷六月久久综合丁香| 欧美成人a在线观看| 国产精品久久久久久久久免| 一个人看视频在线观看www免费| 天堂中文最新版在线下载 | 丰满人妻一区二区三区视频av| 欧美一区二区亚洲| 能在线免费观看的黄片| 老女人水多毛片| 岛国毛片在线播放| 国产真实伦视频高清在线观看| 亚洲内射少妇av| 91精品伊人久久大香线蕉| 99热6这里只有精品| 国产精品电影一区二区三区| 一级黄色大片毛片| 3wmmmm亚洲av在线观看| 丰满乱子伦码专区| 我要看日韩黄色一级片| 亚洲欧美一区二区三区国产| 成人午夜精彩视频在线观看| 午夜日本视频在线| 日本一二三区视频观看| 国产伦理片在线播放av一区| 国产私拍福利视频在线观看| 中文字幕精品亚洲无线码一区| 伊人久久精品亚洲午夜| 床上黄色一级片| 欧美丝袜亚洲另类| 欧美激情国产日韩精品一区| 1000部很黄的大片| 看黄色毛片网站| 看黄色毛片网站| av在线蜜桃| 国产成年人精品一区二区| 国产免费视频播放在线视频 | 在现免费观看毛片| 欧美97在线视频| 国产午夜精品论理片| 国产一区二区三区av在线| 少妇的逼好多水| 国产真实乱freesex| 亚洲三级黄色毛片| 永久网站在线| 91aial.com中文字幕在线观看| 亚洲国产欧美人成| 亚洲综合精品二区| 久久鲁丝午夜福利片| 亚洲综合精品二区| 精品国内亚洲2022精品成人| 亚洲欧洲国产日韩| 久99久视频精品免费| 秋霞伦理黄片| 伊人久久精品亚洲午夜| 久久久久久久久久久丰满| 内射极品少妇av片p| 日韩一本色道免费dvd| 又粗又硬又长又爽又黄的视频| 成人av在线播放网站| 国产免费又黄又爽又色| 国产精品久久久久久久电影| 床上黄色一级片| 秋霞在线观看毛片| 大香蕉久久网| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 亚洲人成网站在线播| 精品国产一区二区三区久久久樱花 | 亚洲精品亚洲一区二区| 成年女人永久免费观看视频| 久久久久性生活片| 亚洲国产日韩欧美精品在线观看| 中文亚洲av片在线观看爽| 亚洲av.av天堂| 亚洲精品国产av成人精品| 日韩视频在线欧美| 成年版毛片免费区| 成人国产麻豆网| 2021少妇久久久久久久久久久| a级一级毛片免费在线观看| 日日啪夜夜撸| 国产黄色小视频在线观看| 国产精品久久电影中文字幕| 熟女电影av网| 麻豆国产97在线/欧美| 久久精品夜色国产| 国产精品乱码一区二三区的特点| 精品一区二区免费观看| 国产麻豆成人av免费视频| 亚洲精华国产精华液的使用体验| 亚洲成人中文字幕在线播放| 亚洲五月天丁香| 国产又黄又爽又无遮挡在线| 精品国产一区二区三区久久久樱花 | 国产高潮美女av| 成人特级av手机在线观看| 日韩一区二区三区影片| 欧美+日韩+精品| 日本wwww免费看| 亚洲国产最新在线播放| 欧美97在线视频| 午夜日本视频在线| 日日干狠狠操夜夜爽| 日本三级黄在线观看| 高清午夜精品一区二区三区| 日日撸夜夜添| 国产精品嫩草影院av在线观看| av专区在线播放| 国产女主播在线喷水免费视频网站 | ponron亚洲| 少妇的逼好多水| 狂野欧美白嫩少妇大欣赏| 欧美日本视频| 午夜日本视频在线| 欧美性猛交╳xxx乱大交人| 午夜福利成人在线免费观看| 欧美日本亚洲视频在线播放| 午夜激情福利司机影院| 我的老师免费观看完整版| 性插视频无遮挡在线免费观看| 91精品一卡2卡3卡4卡| 免费不卡的大黄色大毛片视频在线观看 | 高清毛片免费看| 日本与韩国留学比较| 久久久国产成人免费| 亚洲经典国产精华液单| 久久99热这里只频精品6学生 | 七月丁香在线播放| 色尼玛亚洲综合影院| 深夜a级毛片| 国产黄色视频一区二区在线观看 | 免费在线观看成人毛片| 久久久亚洲精品成人影院| 国模一区二区三区四区视频| 网址你懂的国产日韩在线| 中国国产av一级| 联通29元200g的流量卡| 国产成年人精品一区二区| 亚洲久久久久久中文字幕| 久久99蜜桃精品久久| 国产真实乱freesex| 插逼视频在线观看| 日韩av在线大香蕉| 国产毛片a区久久久久| 噜噜噜噜噜久久久久久91| 国产成人精品一,二区| 久久这里只有精品中国| 高清毛片免费看| 久久国产乱子免费精品| 建设人人有责人人尽责人人享有的 | 亚洲国产欧洲综合997久久,| 久久久a久久爽久久v久久| 国内揄拍国产精品人妻在线| 国产精品蜜桃在线观看| 亚洲精品日韩在线中文字幕| 水蜜桃什么品种好| 国产高潮美女av| 春色校园在线视频观看| 美女脱内裤让男人舔精品视频| 欧美zozozo另类| 久久久久免费精品人妻一区二区| 91久久精品国产一区二区三区| 欧美97在线视频| 国产成人免费观看mmmm| 又爽又黄a免费视频| www日本黄色视频网| 韩国av在线不卡| 午夜福利高清视频| 亚洲四区av| 在线a可以看的网站| 狠狠狠狠99中文字幕| 亚洲精华国产精华液的使用体验| 国产精品爽爽va在线观看网站| 欧美97在线视频| 国产精品国产三级国产av玫瑰| 亚洲不卡免费看| eeuss影院久久| 久久精品国产99精品国产亚洲性色| 久久欧美精品欧美久久欧美| 久久精品国产亚洲网站| av在线观看视频网站免费| 狂野欧美白嫩少妇大欣赏| 成人毛片60女人毛片免费| 国产亚洲精品久久久com| 亚洲成人av在线免费| 女人十人毛片免费观看3o分钟| 久久久久免费精品人妻一区二区| 一级毛片久久久久久久久女| 精品少妇黑人巨大在线播放 | 波野结衣二区三区在线| 国产精品一及| 日本三级黄在线观看| 在线观看一区二区三区| 精品99又大又爽又粗少妇毛片| 亚洲自拍偷在线| 国产精品一二三区在线看| 日韩人妻高清精品专区| 少妇熟女欧美另类| 51国产日韩欧美| 永久免费av网站大全| 国产亚洲av嫩草精品影院| 熟女电影av网| 午夜精品在线福利| 欧美精品一区二区大全| 午夜爱爱视频在线播放| 天天躁夜夜躁狠狠久久av| 简卡轻食公司| 日韩精品青青久久久久久| av女优亚洲男人天堂| 日本-黄色视频高清免费观看| av国产久精品久网站免费入址| 一个人看的www免费观看视频| 女人十人毛片免费观看3o分钟| 亚洲最大成人中文| 亚洲国产精品成人综合色| 国产精品乱码一区二三区的特点| 日韩av在线大香蕉| 成人亚洲欧美一区二区av| 午夜福利在线观看吧| 夫妻性生交免费视频一级片| 日韩高清综合在线| 国内精品美女久久久久久| 日本欧美国产在线视频| 国产高潮美女av| 简卡轻食公司| 午夜福利在线在线| 久久精品国产99精品国产亚洲性色| 国产精品无大码| 超碰97精品在线观看| 人人妻人人澡欧美一区二区| 免费看日本二区| 国产 一区精品| 成人二区视频| 黄片wwwwww| 精品久久久久久成人av| 久久久久久久久大av| 中文在线观看免费www的网站| 亚洲av.av天堂| 国产色爽女视频免费观看| 国产欧美另类精品又又久久亚洲欧美| 啦啦啦观看免费观看视频高清| 高清av免费在线| 国产伦精品一区二区三区四那| 男女边吃奶边做爰视频| 国产又色又爽无遮挡免| 国产黄色小视频在线观看| 少妇熟女aⅴ在线视频| 一二三四中文在线观看免费高清| 欧美日韩综合久久久久久| 97热精品久久久久久| 成人亚洲欧美一区二区av| 亚洲综合精品二区| 欧美精品一区二区大全| 麻豆精品久久久久久蜜桃| 日本五十路高清| 干丝袜人妻中文字幕| 美女大奶头视频| 极品教师在线视频| 久久精品久久久久久噜噜老黄 | 少妇的逼好多水| 国产激情偷乱视频一区二区| 舔av片在线| 国产成人一区二区在线| 一个人观看的视频www高清免费观看| 一个人看的www免费观看视频| 两个人视频免费观看高清| 午夜免费男女啪啪视频观看| 精品人妻偷拍中文字幕| 久久久午夜欧美精品| 我要看日韩黄色一级片| 国产乱人偷精品视频| 日本免费一区二区三区高清不卡| 一个人免费在线观看电影| 国产精品麻豆人妻色哟哟久久 | 久久精品人妻少妇| 美女cb高潮喷水在线观看| 伦理电影大哥的女人| 国产精品三级大全| 国产又黄又爽又无遮挡在线| 日韩中字成人| 国产乱来视频区| 日本免费一区二区三区高清不卡| 日本一二三区视频观看| 看十八女毛片水多多多| 综合色丁香网| 中文字幕av在线有码专区| 长腿黑丝高跟| 中文在线观看免费www的网站| www日本黄色视频网| 麻豆乱淫一区二区| 边亲边吃奶的免费视频| 春色校园在线视频观看| 国语自产精品视频在线第100页| 午夜亚洲福利在线播放| 免费无遮挡裸体视频| 最近手机中文字幕大全| 精品人妻偷拍中文字幕| 91精品国产九色| 国产伦精品一区二区三区视频9| 老师上课跳d突然被开到最大视频| 国产成人精品婷婷| 国产精品不卡视频一区二区| 91久久精品国产一区二区成人| 国产av码专区亚洲av| 国产真实乱freesex| 国产三级在线视频| 亚洲精品乱码久久久v下载方式| 黑人高潮一二区| 小蜜桃在线观看免费完整版高清| 久久久精品欧美日韩精品| 国产午夜精品一二区理论片| 五月伊人婷婷丁香| 草草在线视频免费看| 亚洲欧美中文字幕日韩二区| 国产黄片美女视频| www日本黄色视频网| 欧美成人一区二区免费高清观看| 日韩成人伦理影院| 国产精品一区二区三区四区久久| 国产91av在线免费观看| 国产午夜精品久久久久久一区二区三区| 国产真实乱freesex| 在线a可以看的网站| 99国产精品一区二区蜜桃av| 99久久精品一区二区三区| 国产精品,欧美在线| 内地一区二区视频在线| 成人三级黄色视频| 国产黄色视频一区二区在线观看 | 2021天堂中文幕一二区在线观| 国产老妇伦熟女老妇高清| 网址你懂的国产日韩在线| 一级二级三级毛片免费看| 国产免费又黄又爽又色| 免费播放大片免费观看视频在线观看 | 国模一区二区三区四区视频| 观看免费一级毛片| 国产精品福利在线免费观看| 午夜激情欧美在线| 中文天堂在线官网| 1024手机看黄色片| 伦理电影大哥的女人| 久久综合国产亚洲精品| 成人美女网站在线观看视频| 免费av毛片视频| 日本黄色片子视频| 日本黄色视频三级网站网址| 一二三四中文在线观看免费高清| 亚洲性久久影院| 国产一区二区在线av高清观看| 久久久久久久亚洲中文字幕| 亚洲国产精品sss在线观看| 久久99热6这里只有精品| 三级国产精品欧美在线观看| 午夜福利视频1000在线观看| 成人亚洲欧美一区二区av| 久久6这里有精品| 一个人看视频在线观看www免费| 国产高清国产精品国产三级 | 亚洲内射少妇av| 日韩欧美国产在线观看| 热99在线观看视频| 成人美女网站在线观看视频| 日本免费a在线| 欧美区成人在线视频| 午夜激情福利司机影院| 九九久久精品国产亚洲av麻豆| 久久这里有精品视频免费| 成人午夜高清在线视频| 永久免费av网站大全| 国产精品久久久久久久久免| 国产精品一区二区三区四区久久| 精品少妇黑人巨大在线播放 | 欧美日本亚洲视频在线播放| av线在线观看网站| 国产欧美另类精品又又久久亚洲欧美| 夜夜爽夜夜爽视频| 国国产精品蜜臀av免费| 国产色婷婷99| 国产精品一区二区三区四区久久| 国产高清三级在线| 亚洲av.av天堂| 九九爱精品视频在线观看| 国产精品无大码| 免费在线观看成人毛片| 久久久亚洲精品成人影院| 99热全是精品| 午夜日本视频在线| 免费黄色在线免费观看| 午夜福利在线在线| 人妻系列 视频| av在线观看视频网站免费| 免费在线观看成人毛片| 亚洲精品,欧美精品| 久久草成人影院| 免费播放大片免费观看视频在线观看 | 免费看日本二区| 日韩中字成人| 高清毛片免费看| 99热网站在线观看| 成人亚洲精品av一区二区| 男女下面进入的视频免费午夜| 内地一区二区视频在线| 亚洲国产精品专区欧美| 十八禁国产超污无遮挡网站| 国产欧美另类精品又又久久亚洲欧美| 国产精品麻豆人妻色哟哟久久 | 国产精品精品国产色婷婷| 午夜视频国产福利| 我要看日韩黄色一级片| 不卡视频在线观看欧美| 99久久无色码亚洲精品果冻| 亚洲国产最新在线播放| 99久久精品国产国产毛片| 欧美日韩一区二区视频在线观看视频在线 | 免费观看性生交大片5| 欧美区成人在线视频| 国产美女午夜福利| 深夜a级毛片| 乱码一卡2卡4卡精品| 亚洲18禁久久av| 美女被艹到高潮喷水动态| 26uuu在线亚洲综合色| 国产亚洲av片在线观看秒播厂 | 欧美区成人在线视频| 亚洲欧美清纯卡通| 成人毛片a级毛片在线播放| 一区二区三区乱码不卡18| 麻豆成人午夜福利视频| 中文亚洲av片在线观看爽| 亚洲va在线va天堂va国产| h日本视频在线播放| 一区二区三区乱码不卡18| 在线天堂最新版资源| 欧美色视频一区免费| 亚洲激情五月婷婷啪啪| 成人鲁丝片一二三区免费| 久久精品国产自在天天线| 老女人水多毛片| 久久久久久国产a免费观看| 特级一级黄色大片| av国产久精品久网站免费入址| av在线蜜桃| 久久精品久久久久久久性| 国产不卡一卡二| 国产色爽女视频免费观看| 亚洲国产欧美人成| 搞女人的毛片| videossex国产| 精品一区二区三区人妻视频| 久久人人爽人人片av| 少妇丰满av| 午夜精品一区二区三区免费看| 亚洲最大成人av| h日本视频在线播放| 久久久久网色| 国产三级在线视频| 色尼玛亚洲综合影院| 精品久久久久久久久av| 国产精品99久久久久久久久| 亚洲高清免费不卡视频| 免费看a级黄色片| 亚洲三级黄色毛片| 男女视频在线观看网站免费| av播播在线观看一区| 美女被艹到高潮喷水动态| 18禁裸乳无遮挡免费网站照片| 亚洲精品成人久久久久久| 人人妻人人看人人澡| 日本欧美国产在线视频| 草草在线视频免费看| 熟妇人妻久久中文字幕3abv| 狂野欧美白嫩少妇大欣赏|