The overall objective of WP1 is to develop a framework for identification, modelling and analysis of requirements pertaining to dynamic variability in presence of co-existing, co-dependant system configurations. Specifically the work-package will focus on developing:

• techniques for identification of dynamic variability and co-existing, co-dependent configurations in requirements specification documents;
• means for modelling dynamic variability in requirements and co-existing, co-dependent configurations in this context;
• compositional reasoning and trade-off analysis about alternatives pertaining to dynamic variations in co-existing, co-dependent configurations.

A key focus will be to complement analysis of each requirement with analysis of its cumulative effect on the sum of the other requirements and configuration transformation paths. This analysis of configuration dependencies and alternative transformation paths will build on the already extensive expertise on compositional reasoning and semantics-based analysis for revealing requirements trade-offs at University of Lancaster.