Documentation

The documentation covers an explanation of the SADF terminology and the SADF tools. The reference guides include an explanation of the XML format for specifying SADF graphs and an overview of the command line options for the SADF tools as well as their API.

Terminology

• Scenario-Aware Dataflow

Features

• SADF graph transformation algorithms
• Formal verification of qualitative properties
• Analysis of quantitative performance metrics
• Visualisation and documentation of SADF graphs
• Simulation of SADF graphs
• Conversion to other XML formats

Reference Guides

• Description of the command line interface
• Application Programming Interface
• Description of the XML file format for SADF graphs