阿飞外传

可靠性-泛代数的解释

摘要：可靠性与完备性的帖子对该概念的认识还不够，这里再增加一张图。仍感谢陈意云老师及其著作>。阅读全文

posted @ 2004-11-07 01:10 阿飞外传阅读(1053) 评论(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 阿飞外传阅读(1228) 评论(0) 推荐(0)

可靠性与完备性

摘要： --部分内容来自陈意云老师的>，在此表示感谢。阅读全文

posted @ 2004-11-03 11:51 阿飞外传阅读(909) 评论(1) 推荐(0)

由模型转换正确性所想

摘要： --模型转换正确性 --如果不能意识到建模者的意图（领域意图），就谈不上语义，也谈不上模型转换的正确性。模型转换正确性--从规范的角度来讲，就是规范的满足性，在转换前后得到（以某程现象的）保持。如：按代数语义的model定义：t1=E=t2 -> eval(t1)=eval(t2)--... 阅读全文

posted @ 2004-10-18 18:19 阿飞外传阅读(828) 评论(0) 推荐(0)

表面语法与抽象语法

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

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

<<产生式编程方法，工具与应用>>问题

摘要： 1）2.8.7代数方法－第2段尾－类别理论－Category Theory －Category Theory-在数学上称为“范畴论”，在计算机科学中称为“类属理论”。 2）3.2.2问题空间－第3段－协作和角色－“类仅仅是通过组合协作而进行的综合” －不知道“综合”的含义，感觉类是承担某种角色而参与... 阅读全文

posted @ 2004-08-16 02:57 阿飞外传阅读(1076) 评论(0) 推荐(0)

图模式

摘要： “记住概略性的图还是比较容易的－位置语义”。学会读代码很重要，学会读图更重要，尤其是在模型驱动构架时代。读代码，最好的训练是读好的标准的库代码（SIG的STL，java的标准库）。同样，读图，最好的训练是读规范上的图、读Rose工具产生的图（可以说最体现UML标准）、读各种元模... 阅读全文

posted @ 2004-08-16 01:21 阿飞外传阅读(805) 评论(0) 推荐(0)

OCL需要吗

摘要： OCL应用方面确实存在不少观望者，这有两个原因： 1）他们认为：模型只适用于展示待构建系统的bigPicture，怀疑模型生成代码和模型可执行的开发范式的功用性。 2）OCL没有好的工具支持。第1个原因，我想从另一个角度应答： OCL并非仅用于表达UML模型的计算完整性，应用O... 阅读全文

posted @ 2004-08-16 01:16 阿飞外传阅读(4066) 评论(7) 推荐(0)

AOP的二级语言

摘要：推荐关于AOP的本质论述的paper： What Is Aspect-Oriented Programming http://ic.arc.nasa.gov/people/filman/text/oif/aop-is2.pdf AOP本质特征（AOP系统的可判性） 1）量化：AOP编程... 阅读全文

posted @ 2004-08-16 00:54 阿飞外传阅读(884) 评论(1) 推荐(0)

MDA技术url

摘要：模型驱动构架网 http://www.mdaChina.net 模型驱动的软件开发（Model-Driven Software Development模型驱动的软件开发） http://www.mdsd.info/mdsd_cm/headlines.php OMG建模技术标准采纳 ... 阅读全文

posted @ 2004-08-16 00:43 阿飞外传阅读(646) 评论(1) 推荐(0)