面向分层架构的重构方法及其在ROOL中的应用

本文探讨了面向分层架构的重构方法及其在程序设计中的应用，特别关注的是面向对象编程的实践。作者们提出了一种基于正式细化的重构策略，这种方法是基于顺序面向对象语言ROOL（类似于Java）的细化过程。ROOL是一种包含类、继承、属性可见性控制、动态绑定和递归功能的编程语言子集。 重构的核心在于确保在不改变软件外部行为的前提下，对内部结构进行优化，这与传统的软件修改理念相一致。重构过程是通过一套严谨的编程法则来指导的，这些法则不仅涵盖命令操作，还涉及面向对象特性的处理，如方法和类的设计。这些法则是在ROOL的最弱前提语义下建立和验证的，从而确保了重构的正确性和有效性。 文章强调，虽然面向对象编程被认为能够提高软件的可维护性和可扩展性，但在实际操作中，重构需要遵循一定的规则和原则，如将复杂类分解、调整类之间的关系等。作者的方法提供了一个系统化的方法论，通过遵循重构规则，可以在保证代码质量的同时，有效地对分层架构进行有序地修改。 研究者通过电子邮件地址mlc@upe.poli.br、Ana.cs.york.ac.uk和acas@cin.ufpe.br可以进一步联系，本文发表于《理论计算机科学电子笔记》第130期，2005年，被授权在CCBY-NC-ND许可下开放访问，DOI为10.1016/j.entcs.2005.03.015。整体上，这篇文章为软件开发者提供了一种基于形式化的、面向分层架构的重构工具和技术，有助于提升软件工程实践的质量和效率。