博客园 - 阿飞外传uuid:24b78886-0ed1-41c2-8670-e3f31dcf42c4;id=1189912017-07-15T14:26:45Z阿飞外传https://www.cnblogs.com/xiterator/feed.cnblogs.comhttps://www.cnblogs.com/xiterator/archive/2006/09/21/511063.htmlruby-core - 阿飞外传包中的是ruby的核心类(算是M2+M3级) 外面的User是M1级。 虚线是instance_of关系 具有金穗带构架,Object.instance_of?(Class) = true, Class.ancestors.include?(Object) = true 不是很明白,中间杀出个程咬金...2006-09-21T10:44:00Z2006-09-21T10:44:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】包中的是ruby的核心类(算是M2+M3级) 外面的User是M1级。 虚线是instance_of关系 具有金穗带构架,Object.instance_of?(Class) = true, Class.ancestors.include?(Object) = true 不是很明白,中间杀出个程咬金... <a href="https://www.cnblogs.com/xiterator/archive/2006/09/21/511063.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2006/09/03/rails.html简单rails开发环境 - 阿飞外传简单rails开发环境VI+shell2006-09-03T14:59:00Z2006-09-03T14:59:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】简单rails开发环境VI+shell <a href="https://www.cnblogs.com/xiterator/archive/2006/09/03/rails.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2006/03/07/344786.html关于MDA的长期等待 - 阿飞外传很久没有写blog了,有工作原因、有对MDA的思考和(初浅)实践原因。 下面谈一点关于MDA的感受。 1. PIM-PSM-CODE 这是MDA眼中最MDA的软件开发方法,也有工具如OptimalJ实现了这种范式,当初在成立mdachina.net的时候,这个工具被俺之辈如视MDA之珍宝,俺则是把...2006-03-07T07:33:00Z2006-03-07T07:33:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】很久没有写blog了,有工作原因、有对MDA的思考和(初浅)实践原因。 下面谈一点关于MDA的感受。 1. PIM-PSM-CODE 这是MDA眼中最MDA的软件开发方法,也有工具如OptimalJ实现了这种范式,当初在成立mdachina.net的时候,这个工具被俺之辈如视MDA之珍宝,俺则是把... <a href="https://www.cnblogs.com/xiterator/archive/2006/03/07/344786.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/08/21/219833.htmlIs MOF the kernel language of MDA langs family - 阿飞外传Fig.2.4 shows a segment extracted from the book Concepts, Techniques, and Modelsof Computer Programming(ctmCP) To seperate the Practical lang (P, PL) ...2005-08-21T15:11:00Z2005-08-21T15:11:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】Fig.2.4 shows a segment extracted from the book Concepts, Techniques, and Modelsof Computer Programming(ctmCP) To seperate the Practical lang (P, PL) ... <a href="https://www.cnblogs.com/xiterator/archive/2005/08/21/219833.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/08/12/213463.htmlgraduated - 阿飞外传so i should drop the post 'i need a job'. Thanks to all the people in MDA QQ groups.2005-08-12T07:43:00Z2005-08-12T07:43:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】so i should drop the post 'i need a job'. Thanks to all the people in MDA QQ groups. <a href="https://www.cnblogs.com/xiterator/archive/2005/08/12/213463.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/08/12/213423.html语言内实例表示机制 类型信息隐藏 MOF自描述 - 阿飞外传语言内实例表示机制:一个语言除提供自定义类型描述外,是否提供了自定义类型的相应实例的描述机制,并提供实例与类型的兼容性确认(validation)?,提供语言内实例表示机制的语 言有:XML(XMLSchema/XMLDoc),maude(类别规范/对象项),UML(UML::Class等/UML...2005-08-12T06:52:00Z2005-08-12T06:52:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】语言内实例表示机制:一个语言除提供自定义类型描述外,是否提供了自定义类型的相应实例的描述机制,并提供实例与类型的兼容性确认(validation)?,提供语言内实例表示机制的语 言有:XML(XMLSchema/XMLDoc),maude(类别规范/对象项),UML(UML::Class等/UML... <a href="https://www.cnblogs.com/xiterator/archive/2005/08/12/213423.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/04/19/140791.html图模式-续 - 阿飞外传--图模式(文法的设计模式)。 (omod PERSON is inc HUMAN . inc CONVERSION . inc CONFIGURATION . class Person | name : String, age : Int . subclass Person Str...2005-04-19T13:18:00Z2005-04-19T13:18:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】--图模式(文法的设计模式)。 (omod PERSON is inc HUMAN . inc CONVERSION . inc CONFIGURATION . class Person | name : String, age : Int . subclass Person Str... <a href="https://www.cnblogs.com/xiterator/archive/2005/04/19/140791.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/28/126924.html符号软件工程(SSE) next MDA? - 阿飞外传元建模、PIM建模和转换、PSM建模和转换、技术空间(Jean-Bezivin的说法) and with the promise of vertical model transformation, such as PIM2PSM,XMI to Grammar,Generator(Generative...2005-03-27T23:40:00Z2005-03-27T23:40:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】元建模、PIM建模和转换、PSM建模和转换、技术空间(Jean-Bezivin的说法) and with the promise of vertical model transformation, such as PIM2PSM,XMI to Grammar,Generator(Generative... <a href="https://www.cnblogs.com/xiterator/archive/2005/03/28/126924.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/26/126275.htmlAlgebra operator declaration 's UML profile - 阿飞外传用MagicDraw 9.0设计一个Algebra operator declaration的UML profile,(好像MagicDraw 9.0似乎不支持执行UML profile中定义的约束?):2005-03-26T07:12:00Z2005-03-26T07:12:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】用MagicDraw 9.0设计一个Algebra operator declaration的UML profile,(好像MagicDraw 9.0似乎不支持执行UML profile中定义的约束?): <a href="https://www.cnblogs.com/xiterator/archive/2005/03/26/126275.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/22/123808.html应用元建模读书笔记 - 阿飞外传应用元建模读书笔记,写的很粗,仅供学习使用。 /Files/xiterator/NoteOnAppMetamodeling.rar2005-03-22T14:57:00Z2005-03-22T14:57:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】应用元建模读书笔记,写的很粗,仅供学习使用。 /Files/xiterator/NoteOnAppMetamodeling.rar <a href="https://www.cnblogs.com/xiterator/archive/2005/03/22/123808.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/05/113648.html再谈实例化和图转换 - 阿飞外传老问题,但我始终没有真正理解,目前也是这样。 贴三张图,我想可以作为以后理解实例化和模型转换的依据。 1) 图语言定义维样例 2)图转换维样例(图转换仍然是语言定义的一部分) 2.1)图转换规则定义 2.2)图转换规则的执行对照2005-03-05T12:38:00Z2005-03-05T12:38:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】老问题,但我始终没有真正理解,目前也是这样。 贴三张图,我想可以作为以后理解实例化和模型转换的依据。 1) 图语言定义维样例 2)图转换维样例(图转换仍然是语言定义的一部分) 2.1)图转换规则定义 2.2)图转换规则的执行对照 <a href="https://www.cnblogs.com/xiterator/archive/2005/03/05/113648.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/02/111090.htmlEclipseUML2.0::Class的接口 - 阿飞外传没什么可说,只有一张图。2005-03-01T18:01:00Z2005-03-01T18:01:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】没什么可说,只有一张图。 <a href="https://www.cnblogs.com/xiterator/archive/2005/03/02/111090.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/02/111089.html主题与模型 - 阿飞外传--- 语言层化狂想2005-03-01T17:57:00Z2005-03-01T17:57:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】--- 语言层化狂想 <a href="https://www.cnblogs.com/xiterator/archive/2005/03/02/111089.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/02/111087.htmlMDA轮廓 - 阿飞外传---把实例化换(物理实例化好像还不行)成协议,把语言换成库。2005-03-01T17:49:00Z2005-03-01T17:49:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】---把实例化换(物理实例化好像还不行)成协议,把语言换成库。 <a href="https://www.cnblogs.com/xiterator/archive/2005/03/02/111087.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/02/111085.htmlUML::Element的代数规范 - 阿飞外传学了这么久的maude,也没什么感觉,帖段代码吧。 (omod UML2-KERNEL-ELEMENT is pr UML2-BASE . sorts OwnedCommentRC OwnedElementRC . subsorts OwnedCommentRC OwnedElementRC ...2005-03-01T17:34:00Z2005-03-01T17:34:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】学了这么久的maude,也没什么感觉,帖段代码吧。 (omod UML2-KERNEL-ELEMENT is pr UML2-BASE . sorts OwnedCommentRC OwnedElementRC . subsorts OwnedCommentRC OwnedElementRC ... <a href="https://www.cnblogs.com/xiterator/archive/2005/03/02/111085.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/03/02/111079.htmlUML::InstanceValue是元类吗 - 阿飞外传不是。请看下图 摘自UML2.0 infrastructure: Classifier A classifier is a classification of instances — it describes a set of instances that have something in c...2005-03-01T16:21:00Z2005-03-01T16:21:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】不是。请看下图 摘自UML2.0 infrastructure: Classifier A classifier is a classification of instances — it describes a set of instances that have something in c... <a href="https://www.cnblogs.com/xiterator/archive/2005/03/02/111079.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2005/01/20/94461.htmlMDA is a big reflection - 阿飞外传反射,MDA的核心。反射就是把代码的潜藏结构(设计信息)挖掘、知识化、共享、可运行,给我们自已解释领域结构的权力,是在丢给编译器之前的机会。 反射需要考虑的技术问题: 1)反射连续性和上下自由性。 反射连续性,取决于语言族是否存在放之任意层次皆可的语言核心,如关系数据的关系和关系操作,代数语义...2005-01-19T18:38:00Z2005-01-19T18:38:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】反射,MDA的核心。反射就是把代码的潜藏结构(设计信息)挖掘、知识化、共享、可运行,给我们自已解释领域结构的权力,是在丢给编译器之前的机会。 反射需要考虑的技术问题: 1)反射连续性和上下自由性。 反射连续性,取决于语言族是否存在放之任意层次皆可的语言核心,如关系数据的关系和关系操作,代数语义... <a href="https://www.cnblogs.com/xiterator/archive/2005/01/20/94461.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2004/11/20/66181.htmli 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...2004-11-20T04:43:00Z2004-11-20T04:43:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】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... <a href="https://www.cnblogs.com/xiterator/archive/2004/11/20/66181.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2004/11/07/61143.htmlCGN的IP之父访谈的两句话 - 阿飞外传以下内容引自 CGN的IP之父访谈 http://www.codegeneration.net/tiki-read_article.php?articleId=61Charles: Companies are storing plans for skyscrapers, for whole airp...2004-11-06T18:42:00Z2004-11-06T18:42:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】以下内容引自 CGN的IP之父访谈 http://www.codegeneration.net/tiki-read_article.php?articleId=61Charles: Companies are storing plans for skyscrapers, for whole airp... <a href="https://www.cnblogs.com/xiterator/archive/2004/11/07/61143.html" target="_blank">阅读全文</a>https://www.cnblogs.com/xiterator/archive/2004/11/07/61142.htmlA sample of writing a loop in Action Semantic codes - 阿飞外传int i = 0; for(; i<10; ++i) { do something; } allocate a cell -- 这里没有...2004-11-06T18:22:00Z2004-11-06T18:22:00Z阿飞外传https://www.cnblogs.com/xiterator/【摘要】int i = 0; for(; i<10; ++i) { do something; } allocate a cell -- 这里没有... <a href="https://www.cnblogs.com/xiterator/archive/2004/11/07/61142.html" target="_blank">阅读全文</a>