Prof. Dr. Jan Bredereke

Reference/Literaturverweis [Bre04c]

Bredereke, J.:
Modular Requirements Against Feature Interaction Problems (abstract).
In: Reussner, R., Stafford, J., Szyperski, C. (editors), "Architecting Systems with Trustworthy Components", No. 04511 in Dagstuhl Seminar Proceedings, p. 10 (Mar. 2006).

Full Text of Abstract / Gesamter Text der Zusammenfassung

Structuring requirements into information-hiding modules helps against feature interaction problems. Feature-oriented descriptions are popular, for example, in telephone switching. But composing many features often leads to undesired behaviour. Our requirements modules group those properties together that are likely to change together. This reduces dependencies among requirements modules. Dependencies should be documented explicitly. This helps to detect remaining interaction problems. For the formalism Z, we show how we can structure requirements into modules and document dependencies. We propose a small extension for Z that allows hierarchical grouping, and interfaces. Interfaces restrict the access to changing parts of the requirements.

The same in / Dasselbe in
PDF (22 kB)

Slides of the Talk / Vortragsfolien

PDF (121 kB) - Postscript/8-up/gzip (57 kB)


Feature orientation; feature interaction problems; maintenance; information-hiding modules; formal requirements; Z.