OOZS:AN OBJECT ORIENTED EXTENSION TO Z

Integrating formal methods and object oriented methods is considered as one of the effective ways to make use of their desirable features in software development. Based on the Z specification language,a structured and object oriented formal specification language OOZS is designed. This paper introduces the basic idea of OOZS and its object oriented features.