Improving the Translation from Data Flow Diagrams into Z by Incorporating the Data Dictionary

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1992
Accession Number
ADA250769

Entities

People

  • G. P. Randell

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Composite Materials
  • Computer Programming
  • Construction
  • Dictionaries
  • Formal Languages
  • Iterations
  • Language
  • Notation
  • Plastic Explosives
  • Programming Languages
  • Sequences
  • Specifications
  • Structured Programming
  • Translations

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computational Modeling and Simulation