软件开发的本质

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值