阿飞外传

摘要：元建模、PIM建模和转换、PSM建模和转换、技术空间（Jean-Bezivin的说法） and with the promise of vertical model transformation, such as PIM2PSM，XMI to Grammar，Generator（Generative... 阅读全文

摘要：用MagicDraw 9.0设计一个Algebra operator declaration的UML profile，（好像MagicDraw 9.0似乎不支持执行UML profile中定义的约束？）： 阅读全文

摘要：应用元建模读书笔记，写的很粗，仅供学习使用。 /Files/xiterator/NoteOnAppMetamodeling.rar 阅读全文

摘要：老问题，但我始终没有真正理解，目前也是这样。 贴三张图，我想可以作为以后理解实例化和模型转换的依据。 1) 图语言定义维样例 2）图转换维样例（图转换仍然是语言定义的一部分） 2.1）图转换规则定义 2.2）图转换规则的执行对照 阅读全文

摘要：没什么可说，只有一张图。 阅读全文

摘要：--- 语言层化狂想 阅读全文

摘要：---把实例化换（物理实例化好像还不行）成协议，把语言换成库。 阅读全文

摘要：学了这么久的maude，也没什么感觉，帖段代码吧。 (omod UML2-KERNEL-ELEMENT is pr UML2-BASE . sorts OwnedCommentRC OwnedElementRC . subsorts OwnedCommentRC OwnedElementRC ... 阅读全文

摘要：不是。请看下图 摘自UML2.0 infrastructure： Classifier A classifier is a classification of instances — it describes a set of instances that have something in c... 阅读全文