CDDiff：类图的语义区分
CDDiff: Semantic Differencing for Class Diagrams
摘要：
类图（CD），它指定类和它们之间的关系，被广泛用于建模面向对象系统的结构。随着模型、程序和系统随着时间的推移而发展，在开发生命周期期间和之后，有效的变更管理是软件开发中的一个主要挑战，近年来吸引了大量的研究工作。在本文中，我们提出了cddiff，CD的语义差异操作。与大多数现有的模型比较方法不同，这些方法比较两个给定图的具体或抽象语法，并输出语法更改或编辑操作的列表，cddiff考虑手头的图的语义，并输出一组diff见证，其中每个都是一个对象模型，在第一个CD中是可能的，在第二个CD中是不可能的。我们鼓励使用cddiff，正式定义它，并显示它是如何计算的。计算是基于合金的还原。这项工作是在原型Eclipse插件中实现的。实例表明，我们的方法的国家的最先进的版本比较和演变分析的独特贡献。
英文摘要：
Class diagrams (CDs), which specify classes and the relationships between them, are widely used for modeling the structure of object-oriented systems. As models, programs, and systems evolve over time, during the development lifecycle and beyond it, effective change management is a major challenge in software development, which has attracted much research efforts in recent years. In this paper we present cddiff, a semantic diff operator for CDs. Unlike most existing approaches to model comparison, which compare the concrete or the abstract syntax of two given diagrams and output a list of syntactical changes or edit operations, cddiff considers the semantics of the diagrams at hand and outputs a set of diff witnesses, each of which is an object model that is possible in the first CD and is not possible in the second. We motivate the use of cddiff, formally define it, and show how it is computed. The computation is based on a reduction to Alloy. The work is implemented in a prototype Eclipse plug-in. Examples show the unique contribution of our approach to the state-of-the-art in version comparison and evolution analysis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
