共 4 页: 上一页 1 2 3 4 下一页

2005年3月5日

再谈实例化和图转换

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

posted @ 2005-03-05 20:38 阿飞外传 阅读 (858) 评论 (0) 编辑

2005年3月2日

EclipseUML2.0::Class的接口

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

posted @ 2005-03-02 02:01 阿飞外传 阅读 (913) 评论 (0) 编辑

主题与模型

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

posted @ 2005-03-02 01:57 阿飞外传 阅读 (748) 评论 (0) 编辑

MDA轮廓

摘要:---把实例化换(物理实例化好像还不行)成协议,把语言换成库。 阅读全文

posted @ 2005-03-02 01:49 阿飞外传 阅读 (926) 评论 (1) 编辑

UML::Element的代数规范

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

posted @ 2005-03-02 01:34 阿飞外传 阅读 (765) 评论 (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 阿飞外传 阅读 (1087) 评论 (0) 编辑

2005年1月20日

MDA is a big reflection

摘要:反射,MDA的核心。反射就是把代码的潜藏结构(设计信息)挖掘、知识化、共享、可运行,给我们自已解释领域结构的权力,是在丢给编译器之前的机会。 反射需要考虑的技术问题: 1)反射连续性和上下自由性。 反射连续性,取决于语言族是否存在放之任意层次皆可的语言核心,如关系数据的关系和关系操作,代数语义... 阅读全文

posted @ 2005-01-20 02:38 阿飞外传 阅读 (476) 评论 (0) 编辑

2004年11月20日

i need a job

摘要:i will get my PhD degree in Jul.,2005. Any job invitation is welcome. my blog: http://www.cnblogs.com/xiterator my CV: 4000000000677523 (MDA sol... 阅读全文

posted @ 2004-11-20 12:43 阿飞外传 阅读 (479) 评论 (0) 编辑

2004年11月7日

CGN的IP之父访谈的两句话

摘要:以下内容引自 CGN的IP之父访谈 http://www.codegeneration.net/tiki-read_article.php?articleId=61Charles: Companies are storing plans for skyscrapers, for whole airp... 阅读全文

posted @ 2004-11-07 02:42 阿飞外传 阅读 (602) 评论 (0) 编辑

A sample of writing a loop in Action Semantic codes

摘要:int i = 0; for(; i<10; ++i) { do something; } allocate a cell -- 这里没有... 阅读全文

posted @ 2004-11-07 02:22 阿飞外传 阅读 (556) 评论 (0) 编辑

共 4 页: 上一页 1 2 3 4 下一页

导航