符号软件工程(SSE) next MDA?


元建模、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的一种平台推理),产品(符号衍生物),符号挖掘,符号定义。。。

posted on 2005-03-28 07:40 阿飞外传 阅读(...) 评论(...) 编辑 收藏

导航

公告