Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering.

摘要: Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of line. Understanding impact binding decisions (i.e. selecting or dismissing features) particular challenge: (i) taken must not violate any constraint, and (ii) effects consequences every decision need to be understood well. This problem can reduced significantly with good support both for specification making. We have developed an extension ADORA language tool which capable modeling visualizing functionality single model provides automated reasoning on space. In this paper we describe how our approach supports stepwise, incremental derivation requirements specification. visualize what has been derived so far, automatically re-evaluate propagate results as restrictions remaining options. demonstrate by showing sequence steps example industrial automation domain. claim that improves efficiency quality process.