Reference/Literaturverweis [Bre03b]

Bredereke, J.:
Feature Orientation Considered Harmful? (abstract).
In Ehrich, H.-D., Meyer, J.-J., and Ryan, M. (editors), "Objects, Agents and Features", Materials of Dagstuhl Seminar No. 03081 (Feb. 2003).

Full Text of Abstract / Gesamter Text der Zusammenfassung

A feature-oriented description of a telephone switching system is attractive but also promotes undesired feature interactions. We introduce to the current feature-oriented view and to feature interaction problems. We identify the need for a more modular requirements structure in the sense of information hiding. We propose a formal requirements specification methodology that avoids some of the feature interaction problems from the beginning, and that converts some more into type errors. We maintain all the variants and versions of such a system together as one family of formal specifications. For this, we define a formal feature combination mechanism. We present a tool and also report on a quite large case study.

The same in / Dasselbe in
Postscript/gzip (13 kB) - PDF (24 kB)

Slides of the Talk / Vortragsfolien

PDF (273 kB) - PDF, print version (242 kB) - Postscript/4-up/gzip, print version (150 kB)

The two telephone switching system specification excerpts shown in the talk:

• family specification: PDF (74 kB) - Postscript/gzip (33 kB)
• member specification: PDF (37 kB) - Postscript/gzip (12 kB)

Position Statement Slides for Panel on Features / Einführungsfolien für Diskussionsrunde über Features

PDF (26 kB) - Postscript/gzip (35 kB)

Keywords

feature orientation; formal requirements; maintenance; feature interaction problems; telephone switching; Object-Z.

Tool / Werkzeug