软件开发的本质

关于这个话题，我似乎说过好多次了。软件系统其实就是现实系统的抽象，就是现实系统的模型。最近，看到一个论点，是这样说的：软件建模（架构）的过程其实就是一个定理证明的过程。我得说，在我看来，这有一定的真理性。但是事实有一定的差异。基本原因是：我们碰到问题的时候，并不总是对问题的解决方案一无所知的，或者更确切的说，对问题的解决方案几乎总是有一定的了解得。这时候，证明的过程其实并不是很明显，反而是表达的过程成了重头戏。
这儿，我在阐述一遍我的观点，软件就是模型，就是抽象。基于上面的描述，软件开发过程也就是构思模型和表达模型的过程。由于表达和构思互相影响，密不可分（大家可以参照语言和思维的关系来理解这一点），所以我只说表达这个方面。我们的模型如何表达现实？
必须解释一下数据的概念了。数据就是表达关系的，关系紧密到一定程度就叫做属性了。一个客体，或者常常被称作对象，物件，就是用其属性描述的。我们描述了客体，也就反映了现实。而客体是数据的集合，所以我们操作数据也就是反映了现实的行为了。对于数据的操作我们有CRUD（Create Read Update Destory）四个，对应于数据库系统的INSERT、SELECT、UPDATE、DELETE四个基本的数据操纵原语。所有的客体的行为，最终都是用CRUD来表达的。所以，只要我们正确地表达了数据，我们就能够正确地表达软件系统。