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

摘要： 摘自[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... 阅读全文

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

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

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

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

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

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

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

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