2. Functional Requirements

The dftool provides functionality to draw, edit, and execute dataflow diagrams (DFDs). It also provides functionality to translate a DFD to and from its textual representation in a formal modeling and specification language (FMSL).

Following an overview of the dftool user interface, details of tool usage are presented in the following scenarios: