資源描述:
《MEISRDL靜態(tài)圖模型的一致性檢查方法》由會員上傳分享,免費在線閱讀,更多相關內(nèi)容在工程資料-天天文庫。
1、meisrdl靜態(tài)圖模型的一致性檢查方法郝斐',蔣鑫2,董慶超2,張杰'(1?北京軍區(qū)總醫(yī)院信息科,北京100049;2.解放軍理工大學指揮自動化學克,江蘇南京210007;3.總裝備部駐318廠軍事代表室,北京100053)?更:復雜系統(tǒng)循求描述語旨(MEISRUL)是一種基于業(yè)務特征的侑息系統(tǒng)需求描述語言。由于諫詛苻是-?種半形式化語言,無法進行堊F榊疑語義的模型檢臉,模型中容易存在語義上的才仍或沖突。為了解決該河題,文章握岀一種MEI-SRDL靜念圖模和的一致性檢先方法°該方法采用描述邏輯SHOIN(D)描述MEISRDL靜態(tài)圖圖
2、元?實現(xiàn)半形式化的MEI?SRDL模國的形式化轉(zhuǎn)換,通過模取映射算法可以有效推理判斷模創(chuàng)語義矛盾。實例證明:該方法解決fMEISRDL圖模戰(zhàn)無法進行梢確語義模熨檢驗的問題,為復雜系統(tǒng)需求模理的講義一致性楡査工作?捉供了可靠的技術支持。關11詞:MEI5RDL;—致性檢査;描述邏輯;SHOIN(D)中圖分類號:E917;TP391.9文獻標識碼:A文章編號:1673-629X(2011)10-002H-04ConsistencyModelCheckingforMEISRDLStaticDiagramsHAOFei1,JIANGXin2,D
3、ONGQing-chao2,ZHANGJiJ(1.DepartmentofInformation,GeneralHospitalofBeijingMilitaryRegion,Beijing1OOD49.China;2.InstituteofCommandAutomation9PLAUniversityofScience&Technology,Nanjing2100071China;3.MilitaryRepiesentativeofficeofGeneralArinameinDepamneniin318Factory,Beijing1
4、00053.China)Ab5trac1:MEISRDLisakindoffcquiicincDtsdcscripConlanguageIocapturethecharacrensticsofSoSbusiness?Butinsuchawayofsemi-formaldescription.don'tmakeamodelconsistencydelectwnbwedonexactsemantics
5、bkni,itbuggextsaincdtodfordetectingofmodel,basedontheMEISRDLstaticdia-申ains.ThismainideaistotransfonnthecomponentsofMEISRDLstaucdiagramsintoformalmodelsbyusingdesenpiioniogkSHOIN(D).Consistencyuftheiransformedmodelscanbeauionuidcallydetectedbyautomatednooningsysiems.Thee
6、xpehmeiwshowslhaithemethodcansolvetheproblemofthemodelmicgntycheckingbasedonexactsemanticsandguaranteeconwstcncyofmulti-viewmodels.Keywords:MEISRDL;consistencydetecting;de心ptionLogic;SHOIN(D)0引喜復朵系統(tǒng)需求描述語言(Meisrdl)'小是在圮雜系統(tǒng)研制過程中用于頂層需求獲取和分析的核心語言。它采用半形式化的建模方式較為椎確地描述復雜系統(tǒng)需求的各要
7、索,以便系統(tǒng)用戶能夠清晰地表達其耍求,系統(tǒng)開發(fā)方的系統(tǒng)分析師能夠正確理解核心業(yè)務,把握用戶的需求,保證開發(fā)出來的系統(tǒng)能夠真正滿足川戶的需求。MEISRDL由業(yè)務框架描述(BFD)、技收柚日期:2011』3?22;修回日期:20訂-06-25基金項目:國防他研基金頂口(9I4DA06020206JB8I0!);"「一五”裝備傾先研究項目{513060102);國家離技術研究發(fā)展計劃(863計劃)(2007AA012126>作者簡介:郝覽(198】?),男.山西歐平人,助理工程師?CCF會員,主要研究方向為指揮自動化理論。術框架描述(TF
8、D)和功能操作描述(FOD)三個方面的需求建模組成,這三個部分互為補充,分別從業(yè)務、技術和功能操作三個方面描述一個復雜系統(tǒng)的各種需求特征,為研發(fā)人員建立一個完整的需求概念&該語言不需要系統(tǒng)用戶具備形式化的背