Abstract
We are concerned with the maintenance of formal requirements documents in the application area of telephone switching. We propose a specification methodology that avoids some of the so-called 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.
Chapter PDF
Similar content being viewed by others
References
L. G. Bouma, Nancy Griffeth, and Kristofer Kimbler. Special issue: Feature interactions in telecommunications systems. Comp. Networks 32(4) (April 2000).
Muffy Calder and Evan Magill, editors. “Feature Interactions in Telecommunications and Software Systems VI”. IOS Press, Amsterdam (May 2000).
Kristofer Kimbler and L. G. Bouma, editors. ‘Feature Interactions in Telecommunications and Software Systems V”. IOS Press, Amsterdam (September 1998).
Jan Bredereke. Families of formal requirements in telephone switching. In Calder and Magill [2], pages 257–273.
Jan Bredereke. “Communication Systems Design With Estelle-On Style, Efficiency, and Analysis”. PhD thesis, University of Kaiserslautern, Shaker Verlag, Aachen, Germany (August 1997).
Clemens Fischer. Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis, report of the Comp. Sce. dept. 2/2000, University of Oldenburg, Oldenburg, Germany (April 2000).
Clemens Fischer. CSP-OZ: a combination of Object-Z and CSP. In Howard Bowman and John Derrick, editors, “Formal Methods for Open Object-Based Distributed Systems (FMOODS’97)”, volume 2, pages 423–438. Chapman & Hall (July 1997).
A. W. Roscoe. “The Theory and Practice of Concurrency”. Prentice-Hall (1997).
Graeme Smith. “The Object-Z Specification Language”. Kluwer Academic Publishers (2000).
John Michael Spivey. “The Z notation: a reference manual”. Series in Computer Science. Prentice-Hall, New York, 2nd edition (1995).
Jan Bredereke. “genFamMem 2.0 Manual-a Specification Generator and Type Checker for Families of Formal Requirements”. University of Bremen (October 2000). URL http://www.tzi.de/~brederek/genFamMem/.
Levine, Mason, and Brown. “Lex & Yacc”. O’Reilly & Associates Inc (1992).
Jens Von Garrel. Parsing, Typechecking und Transformation von CSP-OZ nach Jass. Masters thesis, University of Oldenburg, Germany, Dept. of Comp. Sci. (July 1999).
Mattias Werner. “daVinci V2.1.x Online Documentation”. University of Bremen (June 1998). http://www.tzi.de/~davinci/doc_V2.1/.
Jan Bredereke. Modular, changeable requirements for telephone switching in CSP-OZ-revision 2.0. Tech. Rep. IBS-00-1, University of Oldenburg, Oldenburg, Germany (2001). To appear.
Jan Bredereke. Modular, changeable requirements for telephone switching in CSP-OZ. Tech. Rep. IBS-99-1, University of Oldenburg, Oldenburg, Germany (October 1999).
Jan Bredereke. “genFamMem 2.0 Home Page”. University of Bremen (2000). URL http://www.tzi.de/~brederek/genFamMem/.
Stephen Gilmore and Mark Ryan, editors. “Proc. of Workshop on Language Constructs for Describing Features”, Glasgow, Scotland (15–16 May 2000). ESPRIT Working Group 23531-Feature Integration in Requirements Engineering.
Shmuel Katz. A superimposition control construct for distributed systems. ACM Trans. Prog. Lang. Syst. 15(2), 337–356 (April 1993).
Malte Plath and Mark Ryan. Defining features for CSP: Reflections on the feature interaction contest. In Gilmore and Ryan [19], pages 55–69.
Robert J. Hall. Feature combination and interaction detection via foreground/background models. Comp. Networks 32(4), 449–469 (April 2000).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bredereke, J. (2001). A Tool for Generating Specifications from A Family of Formal Requirements. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds) Formal Techniques for Networked and Distributed Systems. FORTE 2001. IFIP International Federation for Information Processing, vol 69. Springer, Boston, MA. https://doi.org/10.1007/0-306-47003-9_20
Download citation
DOI: https://doi.org/10.1007/0-306-47003-9_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7470-1
Online ISBN: 978-0-306-47003-5
eBook Packages: Springer Book Archive