Work package 2.2 and deliverables

This workpackage consists in defining an initial set of S&D requirements for workflows, expressed in a requirements specification language.

A specification language for S&D requirements at the level of workflows will be developed. The language is built upon state of the art requirements representation languages.

Deliverables :

  • A2.D2.1 - Security and Dependability Requirements for Workflows [report] [public]

Specifies a draft version of the specification language for S&D requirements at the workflow level. The report will include a first set of S&D requirements specified in this language.

  • A2.D2.2 - Revised Specification Language for Workflow S&D Requirements/Properties [report] [public]

This report supplements deliverable A2.D2.1 ”S&D requirements for workflows”.

  • A2.D2.3 - Enhanced Specification Language For Workflow S&D Requirements/Properties [report] [public]

This report is an extended version of A2.D2.2 with additional workflow requirements.