可靠性-泛代数的解释
摘要：
可靠性与完备性的帖子对该概念的认识还不够，这里再增加一张图。仍感谢陈意云老师及其著作>。 阅读全文
posted @ 2004-11-07 01:10 阿飞外传 阅读(1044) 评论(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 阿飞外传 阅读(1220) 评论(0) 推荐(0) 编辑
由模型转换正确性所想
摘要：
--模型转换正确性 --如果不能意识到建模者的意图（领域意图），就谈不上语义，也谈不上模型转换的正确性。 模型转换正确性--从规范的角度来讲，就是规范的满足性，在转换前后得到（以某程现象的）保持。如：按代数语义的model定义：t1=E=t2 -> eval(t1)=eval(t2)--... 阅读全文
posted @ 2004-10-18 18:19 阿飞外传 阅读(819) 评论(0) 推荐(0) 编辑
表面语法与抽象语法
摘要：
这是摘自Jean Bézivin的“From Object Composition to Model Transformation with the MDA”一文中关于OMG的4层标准建模栈与文本式编程语言定义的对照图示。虽然大致上对应，但在定义表面语法上（即M2的抽象语法所对应的具体语法），MOF... 阅读全文
posted @ 2004-08-28 00:52 阿飞外传 阅读(1623) 评论(0) 推荐(0) 编辑
<<产生式编程方法，工具与应用>>问题
摘要：
1）2.8.7代数方法－第2段尾－类别理论－Category Theory －Category Theory-在数学上称为“范畴论”，在计算机科学中称为“类属理论”。 2）3.2.2问题空间－第3段－协作和角色－“类仅仅是通过组合协作而进行的综合” －不知道“综合”的含义，感觉类是承担某种角色而参与... 阅读全文
posted @ 2004-08-16 02:57 阿飞外传 阅读(1068) 评论(0) 推荐(0) 编辑
图模式
摘要：
“记住概略性的图还是比较容易的－位置语义”。 学会读代码很重要，学会读图更重要，尤其是在模型驱动构架时代。读代码，最好的训练是读好的标准的库代码（SIG的STL，java的标准库）。同样，读图，最好的训练是读规范上的图、读Rose工具产生的图（可以说最体现UML标准）、读各种元模... 阅读全文
posted @ 2004-08-16 01:21 阿飞外传 阅读(797) 评论(0) 推荐(0) 编辑
OCL需要吗
摘要：
OCL应用方面确实存在不少观望者，这有两个原因： 1）他们认为：模型只适用于展示待构建系统的bigPicture，怀疑模型生成代码和模型可执行的开发范式的功用性。 2）OCL没有好的工具支持。 第1个原因，我想从另一个角度应答： OCL并非仅用于表达UML模型的计算完整性，应用O... 阅读全文
posted @ 2004-08-16 01:16 阿飞外传 阅读(4061) 评论(7) 推荐(0) 编辑
