MEISRDL静态图模型的一致性检查方法

《MEISRDL静态图模型的一致性检查方法》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、meisrdl静态图模型的一致性检查方法郝斐'，蒋鑫2,董庆超2,张杰'(1•北京军区总医院信息科，北京100049；2.解放军理工大学指挥自动化学克，江苏南京210007；3.总装备部驻318厂军事代表室，北京100053)»更:复杂系统循求描述语旨(MEISRUL)是一种基于业务特征的侑息系统需求描述语言。由于谏诅苻是-•种半形式化语言,无法进行垩F榊疑语义的模型检脸,模型中容易存在语义上的才仍或冲突。为了解决该河題，文章握岀一种MEI-SRDL静念图模和的一致性检先方法°该方法采用描述逻辑SHOIN(D)描述MEISRDL静态图图

2、元•实现半形式化的MEI・SRDL模国的形式化转换，通过模取映射算法可以有效推理判断模创语义矛盾。实例证明：该方法解决fMEISRDL图模战无法进行梢确语义模熨检验的问题，为复杂系统需求模理的讲义一致性楡査工作•捉供了可靠的技术支持。关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引喜复朵系统需求描述语言(Meisrdl)'小是在圮杂系统研制过程中用于顶层需求获取和分析的核心语言。它采用半形式化的建模方式较为椎确地描述复杂系统需求的各要

7、索，以便系统用户能够清晰地表达其耍求，系统开发方的系统分析师能够正确理解核心业务，把握用户的需求，保证开发出来的系统能够真正满足川户的需求。MEISRDL由业务框架描述(BFD)、技收柚日期：2011』3・22;修回日期：20订-06-25基金项目：国防他研基金顶口(9I4DA06020206JB8I0!)；"「一五”装备倾先研究项目｛513060102)；国家离技术研究发展计划(863计划)(2007AA012126>作者简介:郝览(198】・)，男.山西欧平人，助理工程师・CCF会员，主要研究方向为指挥自动化理论。术框架描述(TF

8、D)和功能操作描述(FOD)三个方面的需求建模组成，这三个部分互为补充，分别从业务、技术和功能操作三个方面描述一个复杂系统的各种需求特征，为研发人员建立一个完整的需求概念&该语言不需要系统用户具备形式化的背