EclipseUML2.0::Class的接口
摘要：
没什么可说，只有一张图。 阅读全文
posted @ 2005-03-02 02:01 阿飞外传 阅读(979) 评论(0) 推荐(0) 编辑
主题与模型
摘要：
--- 语言层化狂想 阅读全文
posted @ 2005-03-02 01:57 阿飞外传 阅读(817) 评论(0) 推荐(0) 编辑
MDA轮廓
摘要：
---把实例化换（物理实例化好像还不行）成协议，把语言换成库。 阅读全文
posted @ 2005-03-02 01:49 阿飞外传 阅读(1018) 评论(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 阿飞外传 阅读(988) 评论(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 阿飞外传 阅读(1401) 评论(0) 推荐(0) 编辑
