克尼塞尔，Günter;海尔格·科赫 重构的静态组合。 （英语） 兹比尔1091.68031 科学。计算。程序。 52，编号1-3，9-51（2004）. 摘要：可能的重构数量是无限的，因此没有一个工具供应商能够为所有特定的用户需求提供自定义重构。因此，我们提出了一种新的重构工具，它允许用户像其他文档一样创建、编辑和撰写所需的重构。这种重构编辑器的核心是能够从现有重构中组合出更大的重构。从组合重构的前提条件计算组合重构的先决条件是很重要的，因为早期的转换会影响后期转换的前提条件的真实性。在不引用应应用重构的特定程序的情况下计算这些效果的能力称为程序依赖组合。这是创建可在任意程序上重用的复合重构的先决条件。本文的主要贡献是为条件程序转换的自动、程序相关组合提供了一个形式化模型。我们表明，条件转换（包括重构）可以由一组有限的基本操作组成。组合前提条件的程序依赖推导基于“转换描述”的概念，可以将其视为罗伯茨“后置条件”的简化但同样强大的变体（重构的实用分析，博士论文（1999））。我们的方法简化了重构工具的实现——只有基本操作和组合能力必须在工具中硬编码。作为概念验证，我们绘制了一个转换框架，该框架实现了我们的方法（jConditioner），并基于该框架构建了一个实验性重构工具（ConTraCT），其中包括激发我们工作的编辑功能。 引用于1文件 MSC公司： 68纳米99 软件理论 关键词：重构;条件程序转换;OR序列;AND序列;组成;前提条件的推导;转换说明 PDF格式BibTeX公司 XML格式引用 \textit{G.克尼塞尔}和\textit{H.科赫}，科学。计算。程序。52，编号1--3，9--51（2004；Zbl 1091.68031） 全文： 内政部