(Science and Technology on Information Systems Engineering Laboratory, School of Information and Management, The National University of Defense Technology , Changsha 410073, China)
Abstract：IDEF0 method is an important method of structural system analysis. IDEF0 model is a static function model, don′t have running mechanism, can′t 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, IDEF0 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 IDEF0 model validation.
