Getting Started with xDECAF

The extensible data flow diagram constraint analysis framework (xDECAF) is a data flow analysis that uses input models, like Data Flow Diagrams, to determine whether the components described in that model adhere to constraints formulated by users of the analysis.

Installation

Using our Online Editor Recommended

The Data Flow Analysis can be run fully inside a browser, no additional setup required. You can model your system using our online representation of Data Flow Diagrams and formulate constraints via our DSL.

For more information see the Online Editor Wiki Section

Running Locally

Should you wish running the analysis locally, you need to decide which development environment you wish to use:

Eclipse

Using our analysis is easy using the provided eclipse product from the Downloads Page After that you can follow the Eclipse Setup Guide

IntelliJ

Our analysis can be used inside of IntelliJ as well, albeit with some more required setup. Follow the instructions outlined in the IntelliJ Setup Page