Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
The Z notation: a reference manual
The Z notation: a reference manual
The design of relational databases
The design of relational databases
Conceptual modelling of database applications using an extended ER model
Data & Knowledge Engineering
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Structured Analysis - A Draft Method for Writing Z Specifications
Proceedings of the Z User Workshop
OOER: Toward Making the E-R Approach Object-Oriented
Proceedings of the Seventh International Conference on Enity-Relationship Approach: A Bridge to the User
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |
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.