×

CD2合金

swMATH ID: 38503
软件作者: 沙哈尔·毛兹;简·奥利弗·林格特(Jan Oliver Ringert);伯恩哈德·伦普
描述: CD2合金:重温合金类图分析。我们介绍了CD2Alloy,它是UML类图(CD)到Alloy的一种新颖、强大的转换。与现有的基于浅层嵌入策略的翻译不同,CD2Alloy仅限于检查一致性和生成单个CD的一致对象模型,并支持有限的CD语言功能集,CD2Aloy使用了更深层次的嵌入策略。CD2Alloy没有将每个CD构造映射到语义等效的Alloy构造,而是将(某些)CD构造定义为Alloy中的新概念。这可以解决涉及多张CD且早期工作无法解决的几个分析问题,并支持CD语言功能的扩展列表。这些想法是在一个原型Eclipse插件中实现的。这项工作推动了CD分析的最新技术,也可以被视为一个有趣的案例研究,研究了一种建模语言到另一种语言的不同可能翻译,以及它们的优缺点。
主页: https://www.se-rwth.de/materials/cd2aloy网站/
相关软件: 超小卫星;WhyLine公司;南美林猫;VERMEER公司;威士忌;波尔多葡萄酒;cddiff(cddiff);复合SAT;马尔格雷夫;合金*;科拉特;测试时代;梅斯4;z3(零3);合金;可爱的
引用于: 1文件

0连载引用

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文