再谈实例化和图转换
摘要：
老问题，但我始终没有真正理解，目前也是这样。 贴三张图，我想可以作为以后理解实例化和模型转换的依据。 1) 图语言定义维样例 2）图转换维样例（图转换仍然是语言定义的一部分） 2.1）图转换规则定义 2.2）图转换规则的执行对照 阅读全文
posted @ 2005-03-05 20:38 阿飞外传 阅读(966) 评论(0) 推荐(0)
UML::Element的代数规范
摘要：
学了这么久的maude，也没什么感觉，帖段代码吧。 (omod UML2-KERNEL-ELEMENT is pr UML2-BASE . sorts OwnedCommentRC OwnedElementRC . subsorts OwnedCommentRC OwnedElementRC ... 阅读全文
posted @ 2005-03-02 01:34 阿飞外传 阅读(1007) 评论(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 阿飞外传 阅读(1419) 评论(0) 推荐(0)
MDA is a big reflection
摘要：
反射，MDA的核心。反射就是把代码的潜藏结构（设计信息）挖掘、知识化、共享、可运行，给我们自已解释领域结构的权力，是在丢给编译器之前的机会。 反射需要考虑的技术问题： 1）反射连续性和上下自由性。 反射连续性，取决于语言族是否存在放之任意层次皆可的语言核心，如关系数据的关系和关系操作，代数语义... 阅读全文
posted @ 2005-01-20 02:38 阿飞外传 阅读(553) 评论(0) 推荐(0)
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 阿飞外传 阅读(616) 评论(0) 推荐(0)
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 阿飞外传 阅读(718) 评论(0) 推荐(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 阿飞外传 阅读(656) 评论(0) 推荐(0)
浙公网安备 33010602011771号