A Heuristic Approach to Detect Feature Interactions in Requirements

We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift system, incorporating new features to a simple lift, concerning the lift overfull and the executive floor with priority. This method is part of a broader approach to requirements elicitation and formal specification. 1 The General Approach Our work aims at providing methological support for analysts and specfiers of software-based systems. To this end, we have developed an integrated approach to requirements elicitation and formal specification, which is sketched in [HS98]. 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 ...

• Type: Conference
• Year: 1998
• Where: FIW
• Authors: Maritta Heisel, Jeanine Souquières
• Keywords: FIW 1998, FIW 2007, Formal Specification, Requirements Elicitation, Requirements Elicitation Phase