置换公理化的缺陷
虽然我浓墨重彩阐述了“置换”公理化作为软件设计中的种种优势，然而对于公理化过程来说，其本身的缺陷也是显而易见的。
首先需要明确的是：方法不是唯一的，公理化方法是处理方法之一，但是不是唯一。对于经验性的处理方式，公理化是无法覆盖的。其与经验总结是相辅相成的，所以，前人总结的模式，不能因为采用公理化方法而抹杀掉。软件设计要健康成长，需要两种方法兼容并蓄，而且很多时候又是相互缠绕，螺旋推进。
同时，公理化是否能够进行有效的处理，与“置换”本身的抽象息息相关。公理化只是给出了一个形式上的正确性，但是无法保证内容实质上的准确性。所以，在不同的抽象结果下，公理化都能够推导出一个结果。往往因为假设上的不同条件，会获得不同体系的结论。而这些体系无正确和错误之分，只有适应和不适应区别。
并且，公理化无法提供从功能域到结构域具体的映射实现手段。也就是说公理化过程无法辅助实际的抽象处理，比如公理化无法告诉你此处抽象为向量的结构一定比抽象为树的结构更符合需求。其具有的演绎功能仅仅适用于通过假设推导结论，而不能从结论推导出假设，因此，在某种程度上公理化可能对于应用者来说，是一个无关痛痒的无用之物。不明白公理化为何物也能“独行天下”。
也许，如此多的缺陷，导致了我们长时间的忽视，最终导致软件设计无法走的更远更深化，也从另一个角度看到，软件设计还不是一个成熟的领域，还需要通过一系列的理论进行规范，还需要进行进一步的发展和完善，而最需要补课的正是数理化的抽象方法，其中的公理化抽象方法更是迫在眉睫。
参考资料
1. 百度搜索 网站：https://www.baidu.com
2. 互动百科 网站：http://www.baike.com
4. 《敏捷软件开发：原则、模式与实践》 作者：Robert C. Martin ；译者 邓辉 ；出版社清华大学出版社 ；出版时间：2003 年9月
5. 《泛型编程与STL》 作者: Matthew H. Austern ；译者: 侯捷 ；出版社: 中国电力出版社；出版时间: 2003年1月
6. 《C++Templates中文版》 作者: David Vandevoorde / Nicolai M.Josuttis ；译者: 陈伟柱 ；出版社: 人民邮电出版社 ；出版时间: 2008年2月
7. 《Java与模式》 作者：阎宏 ；出版社：电子工业出版社 ；出版时间：2002年10月
8. 《架构风格与基于网络的软件架构设计（博士论文）》 作者：Roy Thomas Fielding ；译者：李锟、廖志刚、刘丹、杨光
9. 《通向实在之路：宇宙法则的完全指南》 作者：罗杰·彭罗斯（英国）；译者：王文浩；出版社:湖南科技出版社；出版时间:2013-11
10. 《信息论基础（原书第2版）》 作者：Thomas M.Cover Joy A. Thomas，译者：阮吉寿等 出版社：机械工业出版社；出版时间：2008年1月
11. 《道德经》作者：老子（老聃）
12. 《重温微积分》 作者：齐民友 ；出版社：高等教育出版社 ；出版时间：2004年1月
13. 《面向对象分析与设计》 作者： Grady Booch / Robert A. Maksimchuk / Michael W. Engel / Bobbi J. Young / Jim Conallen / Kelli A. Houston ；译者：王海鹏 / 潘加宇 ；出版社：人民邮电出版社 ；出版时间：2009年8月
原文地址：http://blog.51cto.com/13832308/2133035