摘要
IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范(DEVS)模型的转化方法,通过DEVS的仿真运行来对IDEF0模型进行分析和验证.该方法实现了IDEF0方法中系统分析与模型验证的有效衔接,具有扩展性和灵活性,为IDEF0模型的验证提供了支持.
IDEF0 method is an important method of structural system analysis. IDEF0 model is a static function model, dont have running mechanism, cant be dynamically analyzed conveniently, such that it is difficult to be validated. This paper presented formal description specification of IDEF0 model and its extended method, put forward a transformation method between IDEF0 model and DEVS model, IDEFO model can be analyzed and validated by simulation execution of DEVS model. This method realizes effective connection between system analysis and model validation, has expansibility and flexibility, and provides support for IDEFO model val- idation.
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第9期1924-1927,共4页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目(71071160)资助
关键词
仿真
模型验证
IDEF0
DEVS
simulation
model validation
IDEFO
discrete event system specification ( DEVS )