Smalltalk-80 is the archetypal object-oriented programming language and environment. This paper briefly introduces the basic concepts and abstract syntax of Smalltalk-80，and then，presents a formal model of Smalltalk-80. The static and dynamic denotational semantics of Smalltalk-80 are described through the formal model.