随笔分类 -  MDA

模型驱动构架
ruby-core
摘要:包中的是ruby的核心类(算是M2+M3级) 外面的User是M1级。 虚线是instance_of关系 具有金穗带构架,Object.instance_of?(Class) = true, Class.ancestors.include?(Object) = true 不是很明白,中间杀出个程咬金... 阅读全文

posted @ 2006-09-21 18:44 阿飞外传 阅读(511) 评论(0) 推荐(0)

简单rails开发环境
摘要:简单rails开发环境VI+shell 阅读全文

posted @ 2006-09-03 22:59 阿飞外传 阅读(369) 评论(0) 推荐(0)

关于MDA的长期等待
摘要:很久没有写blog了,有工作原因、有对MDA的思考和(初浅)实践原因。 下面谈一点关于MDA的感受。 1. PIM-PSM-CODE 这是MDA眼中最MDA的软件开发方法,也有工具如OptimalJ实现了这种范式,当初在成立mdachina.net的时候,这个工具被俺之辈如视MDA之珍宝,俺则是把... 阅读全文

posted @ 2006-03-07 15:33 阿飞外传 阅读(1389) 评论(1) 推荐(0)

Is 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) ... 阅读全文

posted @ 2005-08-21 23:11 阿飞外传 阅读(990) 评论(1) 推荐(0)

语言内实例表示机制 类型信息隐藏 MOF自描述
摘要:语言内实例表示机制:一个语言除提供自定义类型描述外,是否提供了自定义类型的相应实例的描述机制,并提供实例与类型的兼容性确认(validation)?,提供语言内实例表示机制的语 言有:XML(XMLSchema/XMLDoc),maude(类别规范/对象项),UML(UML::Class等/UML... 阅读全文

posted @ 2005-08-12 14:52 阿飞外传 阅读(965) 评论(1) 推荐(0)

图模式-续
摘要:--图模式(文法的设计模式)。 (omod PERSON is inc HUMAN . inc CONVERSION . inc CONFIGURATION . class Person | name : String, age : Int . subclass Person Str... 阅读全文

posted @ 2005-04-19 21:18 阿飞外传 阅读(1285) 评论(1) 推荐(0)

符号软件工程(SSE) next MDA?
摘要:元建模、PIM建模和转换、PSM建模和转换、技术空间(Jean-Bezivin的说法) and with the promise of vertical model transformation, such as PIM2PSM,XMI to Grammar,Generator(Generative... 阅读全文

posted @ 2005-03-28 07:40 阿飞外传 阅读(1443) 评论(1) 推荐(0)

Algebra operator declaration 's UML profile
摘要:用MagicDraw 9.0设计一个Algebra operator declaration的UML profile,(好像MagicDraw 9.0似乎不支持执行UML profile中定义的约束?): 阅读全文

posted @ 2005-03-26 15:12 阿飞外传 阅读(1144) 评论(0) 推荐(0)

应用元建模读书笔记
摘要:应用元建模读书笔记,写的很粗,仅供学习使用。 /Files/xiterator/NoteOnAppMetamodeling.rar 阅读全文

posted @ 2005-03-22 22:57 阿飞外传 阅读(1163) 评论(0) 推荐(0)

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

posted @ 2005-03-05 20:38 阿飞外传 阅读(962) 评论(0) 推荐(0)

EclipseUML2.0::Class的接口
摘要:没什么可说,只有一张图。 阅读全文

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

主题与模型
摘要:--- 语言层化狂想 阅读全文

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

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

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

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

posted @ 2005-01-20 02:38 阿飞外传 阅读(548) 评论(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 阿飞外传 阅读(615) 评论(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 阿飞外传 阅读(651) 评论(0) 推荐(0)

元建模级别
摘要:摘自[Tony Clark, Andy Evans, et al.,Applied Metamodelling],>内容为注释。 We are often asked by clients how they can assess the quality of a metamodel. To he... 阅读全文

posted @ 2004-11-07 00:58 阿飞外传 阅读(1231) 评论(0) 推荐(0)

表面语法与抽象语法
摘要:这是摘自Jean Bézivin的“From Object Composition to Model Transformation with the MDA”一文中关于OMG的4层标准建模栈与文本式编程语言定义的对照图示。虽然大致上对应,但在定义表面语法上(即M2的抽象语法所对应的具体语法),MOF... 阅读全文

posted @ 2004-08-28 00:52 阿飞外传 阅读(1645) 评论(0) 推荐(0)

导航