摘要：
Problem Description 小明自从告别了ACM/ICPC之后，就开始潜心研究数学问题了，一则可以为接下来的考研做准备，再者可以借此机会帮助一些同学，尤其是漂亮的师妹。这不，班里唯一的女生又拿一道数学题来请教小明，小明当然很高兴的就接受了。不过等他仔细读题以后，发现自己也不会做，这下小明囧了：如果回复说自己不懂，岂不是很没面子？ 所以，他现在私下求你帮忙解决这道题目，题目是这样的： 给你n个数字，分别是a1,a2,a3,a4,a5……an，这些数字每过一个单位时间就会改变，假设上一个单位时间的数字为a1’,a2’,a3’……an’，那么这个单位时间的数字a[i] = a[i ... 阅读全文
摘要：
The Relations Language（一）1、转换和模型类型一个例子是：transformation umlRdbms(uml:SimpleUML, rdbms:SimpleRDBMS){...}此声明名字为“transformation”，有两个类型的候选模型：“uml”和“rdbms”。名为“uml”的模型声明SimpleUML包作为它的元模型，“rdbms”模型声明SimpleRDBMS包为它的的元模型。调用一个转换的目的：1）检查两个模型是否一致；2）修改一个模型增强一致性。（可以这样理解：1）源模型存在，目标模型为空，检查两个模型不一致，则增加目标模型以增强一致性；2）源模型 阅读全文
摘要：
QVT规范具有混合的声明/命令式特性。声明部分又被分成Relations和Core两层。QVT各metamodel之间的关系如下图所示：1、RelationsMOF model之间关系的声明规范。Relations语言支持复杂对象的模式匹配，并且隐式地创建追踪类及它们的实例以记录在模型转换执行中发生了什么。2、Core一种小型模型语言。Core语言仅仅支持在评估变量的条件后,在变量集合上的模式匹配。3、类比可以在Java虚拟机上做类比，如果将Core语言看做是Java字节码，Core语义看做行为规范，那么Relations语言扮演的角色就是Java语言，从Relations到Core的转换标准 阅读全文