阿飞外传

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