所有编程语言都提供抽象（abstraction）机制。可以认为，你所能够解决的问题的复杂性直接取决于抽象的类型和质量。我所谓的“类型”是指“你所抽象的是什么？”汇编语言是对底层机器的小型抽象。接着出现的许多所谓“命令式（Imperative）”语言（诸如FORTRAN、BASIC、C等）都是对汇编语言的抽象。这些语言在汇编语言之上有了大幅的改进，但是它们所作的主要抽象仍要求你在解决问题时要基于计算机的结构，而不是基于你试图要解决的问题的结构来考量。程序员必须建立在机器型（Machine Model）（位于你对问题建模所在的解空间(Problem Space)内）之间的关联。建立这种映射（Mapping）是费力的，而且它下属于编程语言的内在性质，这使得程序难以编写，并且维护代价高昂。由此，产生了完整的“编程方法(Programming Method)”产业。

另一种对机器建模的方式就是对待解决问题建模。早期的编程语言，诸如LISP和APL都选择世界的某种特定视图（分别对应于“所有问题最终都是列表（List）”或者“所有问题都是算法形式的（algorithmic）”）。PROLOG则将所有问题转换成为决策链（Chain of decisions）。此外还产生了基于约束条件（constraint-based）编程的语言和专门通过对图形符号操作来实现编程的语言（后者被证明限制性过强）。这些方式对于它们被设计时所瞄准要解决的特定类型的问题都是不错的解决方案，但是一量超出其特定领域，它们就力不从心了。

面向对象方式（Object-oriented approach）通过向程序员提供用来表示在问题空间中的元素的工具而更进上步。这种表示方式具有足够的概括性，使得程序不会受限于任何特定类型的问题。我们将问题空间中的元素及其在解空间中的表示成为“对象（Object）”。（你还需要上些无法类比为问题空间元素的对象）。这种思想的实质是：程序可以通过添加新类型的对象使自身适用于某个特定问题。因此，当你在阅读描述解决方案的代码的同时，也是在阅读问题的表述。相比以前我们所拥有的所有语言，这是一种更灵活和更强有力的语言抽象。所以，OOP允许以问题的形式来描述问题，而不是以执行解决方案的计算机的形式来描述问题。但是它仍然与计算成本机有联系：每个对象看起来都江堰市有点像一台微型计算成本机——它具有状态，并且能够执行你赋予它的各种操作。如果要在现实世界中对对象作类比，那么说它们都具有特性（Characteristic）和行为（Behavior）似乎不错。

Alan  Kay曾经总结了第一个成功的面向对象语言，同时也是 Java赖为根基的语言之一的 Smalltalk的五个基本特性，这些特性表现了一种纯粹的面向对象程序员设计方式：

1、万物皆为对象。将对象视为奇特的变量，它可以存储数据，除此之外，你还可以要求它在自身上执行操作。理论上讲，你可以抽取待解问题的任何概念化构件（狗、建筑物、服务等），将其表示为程序中的对象。

2、程序是对象的集合，它们彼此对过发送消息来调用对方。要想产生一个对对象的请求，就必须对该对象发送一条消息。更具体地说，你可以把消息想象为对某个特定对象的方法的调用请求。

3、每个对象都拥有由其它对象所构成的存储。你可以通过创建包含现有对象集合的包的方式来创建新类型的对象。因此，你可以在程序中构建复杂的体系，同时将其复杂性通过对象的质朴性得以屏蔽。

4、每个对象都拥有其类型（Type）。按照通用说法，“每个对象都是某个类（Class）的一个实例（Instance）”，其中“类”就是“类型”的同义词。每个类中最重要的区别于其它类的特性就是“你可以发送什么消息给它？”

5、某一特定类型的所有对象都可以接收（Receive）同样的消息。这是一名意味深长的表述，你在稍后便会看到。因为“圆形(circle)”类型的对象同时也是“几何形（shape）”类型的对象，所以一个“圆形”对象必定能够接受（accept）发送给“几何形”对象的消息。这意味着你可以编写与“几何形”交互并自动处理所有与几何形性质相关的事物的代码。这种“可替代性（substitutability）”是OOP中最强有力的概念之一。

Booch提出了一个对对象的更加简洁的描述：对象拥有状态（State）、行为（Behaviour）和标识(Identity)。这意味着每一个对象都可以拥有内部数据（它们给出了该对象的状态）和方法（它们产生行为），并且每一个对象都可以唯一地与其他对象相区分开，具体说来，就是每一个对象在内存中都有一个唯一的地址。