中文

用于持续模块化维护的可逆程序重构

软件工程 2012-04-13 v1

摘要

当为软件选择主要的结构分解轴(如面向函数或面向数据的分解)时,其他轴便成为次要的,而当这些次要轴之一变得至关重要时,这可能造成危害。这被称为“主导分解的暴政”。在模块化扩展的背景下,这个问题被称为表达式问题(Expression Problem),并已找到许多解决方案,但在更广泛的模块化维护背景下提出的解决方案却很少。我们利用可逆程序变换解决了维护中的主导分解暴政问题。我们在典型的表达式问题示例上对此进行了说明。我们还报告了在 Java 和 Haskell 程序上的实验,并讨论了我们方法中存在的未决问题。

关键词

引用

@article{arxiv.1201.5230,
  title  = {Invertible Program Restructurings for Continuing Modular Maintenance},
  author = {Julien Cohen and Rémi Douence and Akram Ajouli},
  journal= {arXiv preprint arXiv:1201.5230},
  year   = {2012}
}

备注

6 pages, Early Research Achievements Track; 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Szeged : Hungary (2012)