Data Modelling in ZIM

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.

Content

Author and article information

Conference

Publication date: March 1996

Publication date (Print): March 1996

Pages: 1-13

Affiliations

[0001]Department of Computer Science and Applied Mathematics, University of Kuopio

Kuopio, Finland

Article

DOI: 10.14236/ewic/MI1996.9

SO-VID: 2505c5b8-a13e-47f4-8496-66535b86b908

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the Methods Integration Workshop

Conference acronym: MI

Conference number:

Conference location: Leeds, UK

Conference date: 25-26 March 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Methods Integration Workshop

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/MI1996.9

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

Data Modelling in ZIM

Abstract