模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中模型驗(yàn)證的研究與實(shí)現(xiàn)

《模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中模型驗(yàn)證的研究與實(shí)現(xiàn)》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、北京郵電大學(xué)碩士學(xué)位論文模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中模型驗(yàn)證的研究與實(shí)現(xiàn)姓名：馮躍忠申請學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)科學(xué)與技術(shù)指導(dǎo)教師：李曉峰20080228北京郵}U人學(xué)碩l：學(xué)位論文模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中模型驗(yàn)證的研究1j實(shí)現(xiàn)模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中模型驗(yàn)證技術(shù)的研究與實(shí)現(xiàn)摘要模型驅(qū)動(dòng)架構(gòu)(MDA)是對象管理組織(OMG)于2002年提出的新一代的業(yè)務(wù)生成方法。在過去的五年中，MDA技術(shù)取得了很大發(fā)展，被應(yīng)用到諸如電信、航空航天、銀行以及醫(yī)療衛(wèi)生行業(yè)。作為一種新的業(yè)務(wù)生成方式，MDA越來越受到人們的關(guān)注。將模型驅(qū)動(dòng)技術(shù)引入到電信領(lǐng)域，用于

2、新一代電信業(yè)務(wù)生成具有重大意義。模型驗(yàn)證是模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中的關(guān)鍵技術(shù)。本文對模型驗(yàn)證技術(shù)進(jìn)行了研究，并設(shè)計(jì)了一種基于模型驗(yàn)證規(guī)則庫的模型驗(yàn)證技術(shù)框架，實(shí)現(xiàn)了模型驗(yàn)證引擎和模型驗(yàn)證規(guī)則的分離，提高了模塊的可重用性，從而簡化了模型驗(yàn)證引擎的開發(fā)。關(guān)鍵詞模型驅(qū)動(dòng)電信業(yè)務(wù)生成規(guī)則庫驗(yàn)證規(guī)則模型驗(yàn)證引擎北京郵電人學(xué)網(wǎng)絡(luò)與交換國家重點(diǎn)實(shí)驗(yàn)室北京郵電人學(xué)碩Jj學(xué)位論文模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中模型驗(yàn)證的研究oj實(shí)現(xiàn)MODELCHECⅪNGTECHNOLOGYRESEARCHANDIMPLEMENTp汀10NINMDAABSTRACTModelDr

3、ivenArchitectureisanewservicecreationapproachwhichlaunchedbyOMGin2002．Inthepastfiveyears，MDAtechnologyhasdevelopedveryfastandithasbeenappliedinTelecom，Aerospace，BankingandHospitalindustries．Asanewservicecreationapproach，MDAhasreceivedincreasingattentioninrecentyears．Itwou

4、ldbegreatsignificancetobringtheMDAservicecreationapproachintotheTelecomservicecreationfield．ModelcheckingisacriticaltechnologyinModelDrivenService—creationapproach．Thispaperhasinvestigatedthetechnologyanddesignedamodelcheckingruledatabasebasedonmodelcheckingtechnologyfram

5、ework．Itmakesthemodelcheckingengineandmodelcheckingruleseparately,inthiswaycanmakethemodelsmorereusableandsimplifythemodelcheckingengine’Sdevelopment．北京郵電大學(xué)網(wǎng)絡(luò)與交換國家重點(diǎn)實(shí)驗(yàn)室1北京郵I【1人學(xué)碩I：學(xué)位論文模型驅(qū)動(dòng)的業(yè)務(wù)生成技術(shù)中模型驗(yàn)證的研究，‘j實(shí)現(xiàn)KEYWORDSmodeldrivenarchitecturetelecomservicecreationruledatabas

6、echeckingrulemodelcheckingengine．北京郵電人學(xué)網(wǎng)絡(luò)與交換國家重點(diǎn)實(shí)驗(yàn)室2．▲上．—J一刖昌模型驅(qū)動(dòng)架構(gòu)(ModelDrivenArchitecture，MDA)技術(shù)作為新一代的軟件開發(fā)方法學(xué)的出現(xiàn)為提高軟件的開發(fā)效率，增強(qiáng)軟件的可移植性、可重用性、協(xié)同工作能力以及可維護(hù)性提供了解決辦法。與此同時(shí)，在通信領(lǐng)域中隨著通信技術(shù)和Intemet的快速發(fā)展，網(wǎng)絡(luò)的融合步伐正在不斷加快。網(wǎng)絡(luò)架構(gòu)朝著下一代網(wǎng)絡(luò)的方向演進(jìn)，它是一種融合了各種異構(gòu)網(wǎng)絡(luò)(移動(dòng)、固定通信網(wǎng)，互聯(lián)網(wǎng)以及各種新型網(wǎng)絡(luò))和技術(shù)的開放式通信網(wǎng)絡(luò)，形成能

7、夠隨時(shí)隨地為用戶提供“量身定做”的個(gè)性化服務(wù)的和諧通信的業(yè)務(wù)環(huán)境。社會(huì)不斷發(fā)展，人們對信息的需求閂益增大，對電信業(yè)務(wù)提出了越來越高的要求。在此背景之下，就要求業(yè)界能提供一種快速靈活、及時(shí)有效地開發(fā)各種新型增值業(yè)務(wù)的方法。模型驅(qū)動(dòng)架構(gòu)(MDA)技術(shù)就是滿足這些需求的業(yè)務(wù)生成方法，將MDA引入到電信業(yè)務(wù)生成領(lǐng)域具有重大意義。在國內(nèi)，北京郵電大學(xué)交換與網(wǎng)絡(luò)國家重點(diǎn)實(shí)驗(yàn)室交換與智能控制研究中心最早開始將MDA方法學(xué)引入下一代電信業(yè)務(wù)生成領(lǐng)域。經(jīng)過三年多的技術(shù)跟蹤以及研究摸索，取得了豐碩的成果。目前實(shí)驗(yàn)室已成功申請三項(xiàng)國家專利，發(fā)表了與該模型驅(qū)動(dòng)架

8、構(gòu)(MDA)課題相關(guān)的數(shù)十篇國內(nèi)外核心刊物學(xué)術(shù)論文，同時(shí)還成功申請了與模型驅(qū)動(dòng)業(yè)務(wù)生成相關(guān)的電信企業(yè)基金研發(fā)項(xiàng)目和國家自然科學(xué)基金項(xiàng)目(No．60672122融合網(wǎng)絡(luò)環(huán)境下業(yè)務(wù)智能化研究)，后