the global schema of the project

The Local Controller is represented with plantUML.

the the LC is transformed to a Local Aggregated Controller LAC. the LAC is also represented with plantUML. xtext is used to create a DSL to express the global constraints GC. and then we make another model to model transformation to a Distributed controlled based on the GC and the LAC. in the DC we used '<' and '>' instead of '(' and ')' because the plantUML doesn't accept parenthesis inside parenthesis.

the another the DC is transformed to a Grafcet.