Formalization of multi-resolution modeling based on dynamic structure DEVS
So far there exists no general, common specification for multi-resolution modeling (MRM) to represent models consistent with each other. To address this problem, a new formalism, multi-resolution DEVS (MR-DEVS) is put forward. The definition of multi-resolution entity (MRE), which is the basic object MRM deals with and base for MR-DEVS, is given. Then, MR-DEVS, combining and extending multiple popular existing dynamic structure DEVS formalisms, is elaborated in detail. MR-DEVS is capable of capturing all key characteristics of MRM essentially, including adapting to resolutions changing automatically by reflection, describing consistency mappings and modeling causation by consistency mapping functions and modeling emergence by functions of coupling among sub-entities constituting the same MRE. Any other existing formalism can't do these all.