Translating Data Flow Diagrams into Z (and Vice Versa)

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1990
Accession Number
ADA233014

Entities

People

  • G. P. Randell

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Formal Languages
  • Inclusions
  • Intellectual Property
  • Language
  • Law
  • Personality
  • Sequences
  • Specifications
  • Standards
  • Systems Analysis
  • Translations

Fields of Study

  • Computer science

Readers

  • Aerodynamics/Aeronautics.
  • Database Systems and Applications