Skip to main content
SpringerLink
Log in

Language Constructs for Describing Features

Proceedings of the FIREworks workshop

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Stephen Gilmore

    1. Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mark Ryan

    1. School of Computer Science, University of Birmingham, Edgbaston, England

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation