2005年3月2日

EclipseUML2.0::Class的接口

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

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

主题与模型

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

posted @ 2005-03-02 01:57 阿飞外传 阅读(826) 评论(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 阿飞外传 阅读(1412) 评论(0) 推荐(0)

导航