A Heuristic Approach to Detect Feature Interactions in Requirements
Maritta Heisel, Jeanine Souquières · 1998
. We present a method to systematically detect feature interactions in requirements. The requirements are expressed as constraints on system event traces. This method is part of a broader approach to requirements elicitation and formal specification. 1 The General Approach Our work aims at providing methodological support for analysts and specifiers of softwarebased systems. To this end, we have developed an integrated approach to requirements elicitation and formal specification, which is sketched in [3]. We do not invent any new languages, but give guidance how to proceed to (i) identify and formally express the requirements concerning the system to be constructed, and (ii) systematically transform these requirements into a formal specification. The difference between requirements and a specification is that requirements refer to the entire system to be realized, whereas a specification refers only to the part of the system to be implemented by software. Our method begins with a...