03 2005 档案

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

posted @ 2005-03-28 07:40 阿飞外传 阅读(1443) 评论(1) 推荐(0)

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

posted @ 2005-03-26 15:12 阿飞外传 阅读(1144) 评论(0) 推荐(0)

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

posted @ 2005-03-22 22:57 阿飞外传 阅读(1163) 评论(0) 推荐(0)

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

posted @ 2005-03-05 20:38 阿飞外传 阅读(962) 评论(0) 推荐(0)

EclipseUML2.0::Class的接口
摘要：没什么可说，只有一张图。 阅读全文

posted @ 2005-03-02 02:01 阿飞外传 阅读(983) 评论(0) 推荐(0)

主题与模型
摘要：--- 语言层化狂想 阅读全文

posted @ 2005-03-02 01:57 阿飞外传 阅读(828) 评论(0) 推荐(0)

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

posted @ 2005-03-02 01:49 阿飞外传 阅读(1026) 评论(1) 推荐(0)

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

posted @ 2005-03-02 01:34 阿飞外传 阅读(1000) 评论(0) 推荐(0)

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

posted @ 2005-03-02 00:21 阿飞外传 阅读(1413) 评论(0) 推荐(0)

导航