Language Constructs for Describing Features

1. Front Matter

   Pages I-X

   PDF

2. Structuring Telecommunications Features

   • Kenneth J. Turner

   Pages 1-9

3. Feature-Oriented Description, Formal Methods, and DFC

   • Pamela Zave

   Pages 11-26

4. Use Case Maps as a Feature Description Notation

   • Daniel Amyot

   Pages 27-44

5. An incremental method for the design of feature-oriented systems

   • Karim Berkani, Pascale Le Gall, Francis Klay

   Pages 45-64

6. Abstraction and refinement of features

   • Dominique Cansell, Dominique Méry

   Pages 65-84

7. Proving feature non-interaction with Alternating-Time Temporal Logic

   • Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens

   Pages 85-103

8. Algebraic Treatment of Feature-oriented Systems

   • Christophe Gaston, Marc Aiguier, Pascale Le Gall

   Pages 105-124

9. The PEPA Feature Construct

   • Stephen Gilmore, Jane Hillston

   Pages 125-142

10. A Heuristic Algorithm to Detect Feature Interactions in Requirements

    • Maritta Heisel, Jeanine Souquières

    Pages 143-162

11. Defining Features for CSP: Reflections on the Feature Interaction Contest

    • Malte Plath, Mark Dermot Ryan

    Pages 163-175

12. Stack Service Model

    • D. Samborski

    Pages 177-196

13. The Declarative Language STR (State Transition Rule)

    • T. Yoneda, T. Ohta

    Pages 197-211

14. Modular Feature Integration and Validation in a Synchronous Context

    • Nicolas Zuanon

    Pages 213-231

15. Back Matter

    Pages 233-233

    PDF

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly being developed and deployed. This volume contains refereed papers resulting from the ESPRIT FIREworks working group. The papers focus on the language constructs which have been developed describing features, and advocate a feature-oriented approach to software design including requirements specification languages and verifications logics.

• Feature Interaction
• Formal Description Techniques
• Pascal
• Software Engineering
• Turing
• algorithms
• communication
• design
• formal methods
• language
• logic
• software
• telecommunications
• validation
• verification

• Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

  Stephen Gilmore

• School of Computer Science, University of Birmingham, Edgbaston, England

  Mark Ryan

Policies and ethics