Improving the Translation from Data Flow Diagrams into Z by Incorporating the Data Dictionary
ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)
Pagination or Media Count:
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.
- Computer Programming and Software