中文摘要：

在软件较高的抽象层次如软件体系结构，实施重构更有助于提高软件的易维护性，从而降低软件的维护成本。大量复杂的重构操作需要（半）自动化的支持。该文提出一种体系结构规约重写方法，将体系结构重构转换为接口重构和实现体重构2方面的规约重写，并给出规约重写基本操作规则。分析了实现体规约的重构操作，提出子构件提升操作、同级构件合并操作、跨级构件合并和构件分离合并操作4种基本操作。

英文摘要：

Software refactoring at software architecture level can improve software maintainability and decease the cost for maintenance. In order to automate the software architecture refactoring, this paper proposes a way for software architecture refactoring, which consists of interface specification rewrite operators and implementation rewrite operators.