元建模、PIM建模和转换、PSM建模和转换、技术空间（Jean-Bezivin的说法） and with the promise of vertical model transformation, such as PIM2PSM，XMI to Grammar，Generator（Generative Programming），Program transformation，。。。

似乎大有“符号软件工程”（SSE：Symbol Software Engineering）的味道，将平台看成新一轮的机器，只要在有保证的垂直转换标准下（或偏转换），我们可以在平台元模型之上， 大搞符号软件工程：符号定义（公理语义-说不清楚的假设，真有语义存在吗？），符号使用，符号重构、转换（将语义映射到另一组符号集，真有语义存在吗？）、组合&重用、验证、模拟（符号的meaning的一种自表象和自推理），垂直转换（符号的meaning的一种平台表象途径），运行（符号的meaning的一种平台表象），测试（符号的meaning的一种平台推理），产品（符号衍生物），符号挖掘，符号定义。。。