Sciweavers

FIW
2003
115views Communications» more  FIW 2003»
13 years 5 months ago
Generalising Feature Interactions in Email
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
Muffy Calder, Alice Miller
FIW
2003
13 years 5 months ago
On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions
We demonstrate that many undesired telephony feature interactions are also shared-control mode confusions. A mode confusion occurs when the observed behaviour of a technical syste...
Jan Bredereke
FIW
2003
13 years 5 months ago
Representing New Voice Services and Their Features
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
Kenneth J. Turner
FIW
2007
123views Communications» more  FIW 2007»
13 years 5 months ago
Composing Features by Managing Inconsistent Requirements
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
Robin C. Laney, Thein Than Tun, Michael Jackson, B...
FIW
2007
13 years 5 months ago
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
Muzammil Shahbaz, Benoît Parreaux, Francis K...
FIW
2007
157views Communications» more  FIW 2007»
13 years 5 months ago
Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
Roberto Silveira Silva Filho, David F. Redmiles
FIW
2007
120views Communications» more  FIW 2007»
13 years 5 months ago
Problem-Oriented Feature Interaction Detection in Software Product Lines
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
Andreas Classen
FIW
2007
105views Communications» more  FIW 2007»
13 years 5 months ago
Towards Feature Interactions in Business Processes
The feature interaction problem is generally associated with conflicting features causing undesirable effects. However, in this paper we report on a situation where the combinati...
Stephen Gorton, Stephan Reiff-Marganiec
FIW
2007
120views Communications» more  FIW 2007»
13 years 5 months ago
How to Guarantee Service Cooperation in Dynamic Environments?
The rise of communicating devices has led to more and more machine to machine applications. In this context devices can be modeled using serviceoriented computing. Furthermore serv...
Lionel Touseau
FIW
2007
133views Communications» more  FIW 2007»
13 years 5 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...