CD2Alloy: class diagrams analysis using alloy revisited
CD2Alloy: class diagrams analysis using alloy revisited
复制标题
DOI：
10.1007/978-3-642-24485-8_44
复制
发表时间：
2011-10
期刊：
影响因子：
--
通讯作者：
S. Maoz;Jan Oliver Ringert;Bernhard Rumpe
中科院分区：
文献类型：
--
作者：
S. Maoz;Jan Oliver Ringert;Bernhard Rumpe
我们提出了CD2Alloy，一个新颖的、强大的UML类图（cd）到Alloy的翻译。现有的翻译基于浅嵌入策略，因此仅限于检查单个CD的一致性和生成一致的对象模型，并且支持有限的CD语言特性集，与此不同，CD2Alloy使用更深的嵌入策略。CD2Alloy没有将每个CD构造映射到语义上等效的Alloy构造，而是将（一些）CD构造定义为Alloy中的新概念。这可以解决一些涉及多个CD的分析问题，并且早期的工作无法解决这些问题，并支持扩展的CD语言特性列表。这些思想在一个原型Eclipse插件中实现。这项工作推进了CD分析的最新技术，也可以被视为一个有趣的案例研究，研究一种建模语言到另一种建模语言的不同可能的翻译，以及它们的优点和缺点。
We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy. Unlike existing translations, which are based on a shallow embedding strategy, and are thus limited to checking consistency and generating conforming object models of a single CD, and support a limited set of CD language features, CD2Alloy uses a deeper embedding strategy. Rather than mapping each CD construct to a semantically equivalent Alloy construct, CD2Alloy defines (some) CD constructs as new concepts within Alloy. This enables solving several analysis problems that involve more than one CD and could not be solved by earlier works, and supporting an extended list of CD language features. The ideas are implemented in a prototype Eclipse plug-in. The work advances the state-of-the-art in CD analysis, and can also be viewed as an interesting case study for the different possible translations of one modeling language to another, their strengths and weaknesses.