小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2012年
9期
1924-1927
,共4页
张耀鸿%易先清%廖晓林%吕翔
張耀鴻%易先清%廖曉林%呂翔
장요홍%역선청%료효림%려상
仿真%模型验证%IDEF0%DEVS
倣真%模型驗證%IDEF0%DEVS
방진%모형험증%IDEF0%DEVS
IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范( DEVS)模型的转化方法,通过DEVS的仿真运行来对IDEF0模型进行分析和验证.该方法实现了IDEF0方法中系统分析与模型验证的有效衔接,具有扩展性和灵活性,为IDEF0模型的验证提供了支持.
IDEF0方法是結構化繫統分析的重要方法,但IDEF0模型是靜態的功能模型,不包含運行機製,不便于進行動態分析,導緻對模型的驗證較為睏難.本文建立瞭IDEF0模型的形式化描述,併對IDEF0模型進行瞭擴展,提齣IDEF0模型到離散事件繫統規範( DEVS)模型的轉化方法,通過DEVS的倣真運行來對IDEF0模型進行分析和驗證.該方法實現瞭IDEF0方法中繫統分析與模型驗證的有效銜接,具有擴展性和靈活性,為IDEF0模型的驗證提供瞭支持.
IDEF0방법시결구화계통분석적중요방법,단IDEF0모형시정태적공능모형,불포함운행궤제,불편우진행동태분석,도치대모형적험증교위곤난.본문건립료IDEF0모형적형식화묘술,병대IDEF0모형진행료확전,제출IDEF0모형도리산사건계통규범( DEVS)모형적전화방법,통과DEVS적방진운행래대IDEF0모형진행분석화험증.해방법실현료IDEF0방법중계통분석여모형험증적유효함접,구유확전성화령활성,위IDEF0모형적험증제공료지지.
