BIDIRECTIONAL TRANSFORMATION OF STRUCTURAL MODELING ELEMENTS BETWEEN THE UML CLASS DIAGRAM AND OBJECT-Z