This repository contains an analysis to extract dataflows from a palladio modeling project, analyze their data characteristics and formulate constraints to check if definied bounds are respected by the model. For more information visit the official page of the project.

• Install the product from our updatesite
• Clone this repository
• Import the projects in this repository