CD2Alloy：再论使用 Alloy 进行类图分析
软件工程
2014-09-09 v1
摘要
我们提出了 CD2Alloy，这是一种将 UML 类图（CDs）转换为 Alloy 的新型且强大的翻译方法。与现有的基于浅层嵌入策略的翻译不同（因此仅限于检查单个 CD 的一致性并生成符合的对象模型，且支持有限的 CD 语言特性集），CD2Alloy 使用了更深层的嵌入策略。CD2Alloy 不是将每个 CD 构造映射到语义等价的 Alloy 构造，而是将（某些）CD 构造定义为 Alloy 内的新概念。这使得能够解决涉及多个 CD 的分析问题，而这些问题是早期工作无法解决的，并支持扩展的 CD 语言特性列表。这些思想在一个原型 Eclipse 插件中得以实现。这项工作推进了 CD 分析的最新水平，也可被视为将一种建模语言翻译为另一种语言的不同可能方式及其优缺点的有趣案例研究。
引用
@article{arxiv.1409.2314,
title = {CD2Alloy: Class Diagrams Analysis Using Alloy Revisited},
author = {Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1409.2314},
year = {2014}
}
备注
15 pages, 8 figures