Language Constructs for Describing Features: Proceedings of the FIREworks workshop, Part 47

Front Cover
Stephen Gilmore, Mark D. Ryan
Springer Science & Business Media, Nov 27, 2000 - Computers - 233 pages
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.
 

Contents

Structuring Telecommunications Features
1
FeatureOriented Description Formal Methods and DFC
11
Use Case Maps as a Feature Description Notation
27
An incremental method for the design of featureoriented systems
45
Abstraction and refinement of features
65
Proving feature noninteraction with AlternatingTime Temporal Logic
85
Algebraic Treatment of Featureoriented Systems
105
The PEPA Feature Construct
125
A Heuristic Algorithm to Detect Feature Interactions in Requirements
143
Reflections on the Feature Interaction Contest
163
Stack Service Model
177
The Declarative Language STR State Transition Rule
197
Modular Feature Integration and Validation in a Synchronous Context
213
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information