Language Constructs for Describing Features: Proceedings of the FIREworks workshop, Part 47Stephen Gilmore, Mark D. Ryan 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 |
Other editions - View all
Common terms and phrases
abstract models activity agents ANISE approach architecture basic call basic service behaviour Bouma Call Forwarding Call Screening CALLS$1 combination components composition operators Computer condition constraints datatype defined definition denoted describe detect feature interactions diagrams dial door_closed door_open editors Engineering event example expert feature construct feature design context feature integration feature interaction problem feature-oriented systems formal methods function idle(x input interaction candidates interaction detection Interactions in Telecommunications invariant IOS Press ITU-T language logic Michael Jackson model checking model-checking modularity morphism notation OCSLIST offhook PEPA PERSONS postcondition POTS precondition proof obligations refinement REL_PERSONS requirements ringing rule satisfies scenarios semantics signature Software Systems specification stack Standard ML subscriber SYS_AUTH telecommunication systems telecommunications services telephone temporal logic terminal terminal x testing tion token transition User Requirements Notation USER_REQ_AUTH validation variables Zave