用面向对象的方法进行类的信息抽象有哪些方法或原则？

比如 人类（class name：human），这个class的property和behavior怎样抽象出来？

有哪些方法或原则能保证抽象出来的属性是全面而不重复，又有实际意义的？

答:

回答你这个问题需要了解类型，类型是什么？
类型是一组对象的概念描述，是接口的集合，包括一下三个部分{interfaces,axioms,pre
conditions}
类型的设计的针对特定问题的，类型可以理解成一个集合，所有属于这个集合的对象，通
过一组特征函数来描述，这样一组特征函数就是“拥有某种具体的interfaces,符合某种a
xioms,并且interfaces符合某种precondition的约束”，符合这样一个特征函数，就可以
认为是这个类型的对象，或者说是这个对象的实例。

最后来回答你的问题，对象对于某种应用来说它总是一面，而不是全部，abstract在语义
中包含剪裁的含义，也就是去掉一些与应用无关的信息，而仅仅保留和应用有关的信息，
这些信息通过interface,axiom,precondition来定义。