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

2005年3月5日

再谈实例化和图转换

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

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

2005年3月2日

EclipseUML2.0::Class的接口

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

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

主题与模型

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

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

MDA轮廓

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

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

UML::Element的代数规范

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

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

2005年1月20日

MDA is a big reflection

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

posted @ 2005-01-20 02:38 阿飞外传 阅读(474) 评论(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 阿飞外传 阅读(476) 评论(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 阿飞外传 阅读(600) 评论(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 阿飞外传 阅读(553) 评论(0) 编辑

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

导航

公告