Data Modelling in ZIM
Virpi Kasurinen, Kaisa Sere · Electronic workshops in computing · 1996
Data modelling is an important part of the software development process. In this paper we propose the ZIM (Z In data Modelling) method to do data modelling. ZIM is an approach where structured or object-oriented requirements specifications given as entity-relationship diagrams are transformed to formal Z specifications . Techniques from the world of relational data modelling are used to guarantee that the generated Z specification is well structured and in a certain sense minimal. The ZIM method is exemplified via a case study.