UML模型形式化轉(zhuǎn)換及驗(yàn)證的研究.pdf

1、聲明本人鄭重聲明：所呈交的學(xué)位論文，是本人在指導(dǎo)教師的指導(dǎo)下，獨(dú)立進(jìn)行研究所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含其他個(gè)人或集體已經(jīng)發(fā)表或撰寫過(guò)的研究成果。對(duì)本文的研究做出重要貢獻(xiàn)的個(gè)人和集體，均已在文中以明確方式標(biāo)明。本聲明的法律責(zé)任由本人承擔(dān)。論文作者簽名：擻五日期：壘墮!塹：i關(guān)于學(xué)位論文使用權(quán)的說(shuō)明本人完全了解太原理工大學(xué)有關(guān)保管、使用學(xué)位論文的規(guī)定，其中包括：①學(xué)校有權(quán)保管、并向有關(guān)部門送交學(xué)位論文的原件與復(fù)印件

2、；②學(xué)?？梢圆捎糜坝　⒖s印或其它復(fù)制手段復(fù)制并保存學(xué)位論文；③學(xué)?？稍试S學(xué)位論文被查閱或借閱；④學(xué)?？梢詫W(xué)術(shù)交流為目的，。復(fù)制贈(zèng)送和交換學(xué)位論文；⑤學(xué)?？梢怨紝W(xué)位論文的全部或部分內(nèi)容(保密學(xué)位論文在解密后遵守此規(guī)定)。簽名：差虹杰日期：塵堡：蘭：皇勒繇牡嗍刃13‘太原理工大學(xué)碩士研究生學(xué)位論文理證明等方式對(duì)相應(yīng)系統(tǒng)進(jìn)行驗(yàn)證。最后，本文結(jié)合電梯系統(tǒng)實(shí)例及LR(1)文法，具體闡述了IM，模型到B、z方法形式規(guī)約的轉(zhuǎn)換框架，并結(jié)合工具Pro