Reference/Literaturverweis [Bre02b]

Bredereke, J.:
A Tool for Generating Specifications from a Family of Formal Requirements (abstract).
In: Anderson, S., Bloomfield, R., Heisel, M., Krämer, B. (editors), "Dependability of Component Based Systems", no. 359 in Dagstuhl-Seminar-Report, pp. 1-2 (Nov. 2002).

Full Text of Abstract / Gesamter Text der Zusammenfassung

Telephony features are related to components, and telephony users expect quite dependable systems. Feature interaction problems increasingly impair their service. 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 which checks for feature interaction problems, which extracts a desired family member from the family document, and which generates documentation on the structure of the family. We also report on a quite large case study.

The same in / Dasselbe in
Postscript/gzip (15 kB) - PDF (26 kB)

Slides of the Talk / Vortragsfolien

Postscript/gzip (87 kB) - Postscript/4-up/gzip (90 kB)

Keywords

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

Tool / Werkzeug