23、模型转换细化检查的研究与实践

模型转换细化检查的研究与实践

1. QVT - R 实现及特性

1.1 QVT - R 代码示例

以下是 BottomClasses 策略的 QVT - R 实现代码:

16
where { AttributeToColumn(c, t); SuperAttributeToColumn(c, t); } }
17
18
relation AttributeToColumn {
19
an : String;
20
checkonly domain source c : SimpleClass::Class {
21
atts = a : SimpleClass::Attribute { name = an } };
22
enforce domain target t : SimpleRelational::Table {
23
cols = cl : SimpleRelational::Column { name = an } }; }
24
25
relation SuperAttributeToColumn {
26
checkonly domain source c : SimpleClass::Class {
27
package = p : SimpleClass::Package { classes = sc : SimpleClass::Class {} } };
28
enforce domain target t : SimpleRelational::Table {};
29
when { c.ancestors()−>includes(sc); }
30
where { AttributeToColumn(sc, t); } }
3
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值