Transforms Class to Formal Specification By Object-Z

Abstract

this paper presents an example for
transforming class symbol in class diagram to formal
specification using z-notation and object-Z. In class
symbol, there are three parts in class. Each part of given
class transforms to each section of Object-Z model. To
sum up, the result is found that transform class to formal
specification by z-notation and object-Z is possible as
show in this paper.