一种从功能模型到动态模型的映射机制

ＣＩＭＳ多方位（视图）模型的一致性问题是ＣＩＭＳ建模方法学中的研究重点。本文提出了一种从基于ＩＤＥＦ０的功能模型到基于Ｐｅｔｒｉ－Ｎｅｔ的动态模型的映射机制，为研究模型一致性问题提供了一种行之有效的途径。