Translating Data Flow Diagrams into Z (and Vice Versa).

摘要

This report describes the results of work into the integration of structured and formal methods, in particular, data flow diagrams and Z. Data flow diagrams are given a formal, mathematical basis by defining rules to translate these diagrams into Z. Rules are also given for generating a data flow diagram from a Z specification, and for checking the compatibility of a data flow diagram and a Z specification.