AT:

• entryCriterias and exitCriterias will be parsed during the transformation
• they behave like it is described in specification:
  • stage and task:
    • if an entryCriteria of a stage or task is fulfilled a state transition will be performed from "AVAILABE" into {"ACTIVE", "ENABLED"}
    • if an exitCriteria of a stage or task is fulfilled the transition "exit" will be perfomed on the stage or task instance
  • Milestone: if an entryCriteria of a stage or task is fulfilled a state transition will be performed from "AVAILABLE" into "COMPLETED"