Improving the Translation from Data Flow Diagrams into Z by Incorporating the Data Dictionary
G. P. Randell · Defense Technical Information Center (DTIC) · 1992
Earlier work developed formal translation rules for generating a specification in the formal language Z from a data flow diagram. The Z specification produced lacked detail, especially on the types of the data flowing around the system. This report describes how to use information from a data dictionary to improve the Z specification. Formal translation rules from a data dictionary to Z are presented.