This workpackage reviews the state of the art in the areas of workflow modelling, security and dependability requirements representation, verification tools and technologies at the workflow level. A thorough compilation of existing published work is followed by a critical review of state of the art.
- A2.D1.1 - State of the art review [report] [public] due april 2006
This deliverable will be a report on trends and evolution of existing approaches on specification of S&D requirements and solutions at the workflow level.