• Corpus ID: 17666239

Feature Interaction in Composed System

  title={Feature Interaction in Composed System},
  author={Elke Pulverm{\"u}ller and Andreas Speck and James O. Coplien and Maja D'Hondt and Wolfgang DeMeuter},
Featureinteractionis nothingnew andnot limited to computerscience.Theproblemof undesirable feature interaction (feature interactionproblem) hasalreadybeeninvestigatedin thetelecommunicationdomain.Ourgoalis theinvestigationof feature interactionin component-based systemsbeyondtelecommunication. Thepositionpaperoutlines terminologydefinitions. It proposesa classificationto comparedifferenttypesof featureinteraction. A list of examplesgiveanimpressionaboutthe natureandtheimportanceof… 

Figures and Tables from this paper

Detecting Feature Interactions in Web Services with Timed Automata
A model checking method for detecting feature interactions in Web services composition by translating Web services descriptions written in WS-BPEL into timed automata, and applying a well known model checking tool UPPAAL that supports this formalism.
Towards Unified Treatment of Security and Other Non-Functional Properties
Examination of existing approaches for describing QoS and security properties, followed by an attempt to unify concepts from both worlds are examined.


The Feature and Service Interaction Problem in Telecommunications Systems. A Survey
This work presents a framework of four different criteria in order to classify the approaches dealing with the service interaction problem, and draws some conclusions on the applicability of this framework and on possible directions of further research in this field.
Composing features and resolving interactions
This paper model each feature as a separate labelled-transition system and defines a 1conflict-free (CF) composition operator that prevents enabled transitions from synchronizing if they interact: if several features' transitions are simultaneously enabled but have conflicting actions, a non-conflicting subset of the enabled transitions are synchronized in the composition.
On the Emergence of Properties in Component-Based Systems
It is shown that emergence phenomena can be interpreted in more than one way: (1) considering an individual component, the rest of the system is acting as a “regulator” for that component which has a more constrained behaviour and exhibits more properties; (2) the overall good behaviour of thesystem requires cooperation of the components which gives rise to the emergence of new properties.
Coordination: the evolutionary dimension
  • L. Andrade, J. Fiadeiro
  • Computer Science
    Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 38
  • 2001
This paper argues for the adoption of an additional structuring principle - coordination - which treats components as black boxes and is compositional with respect to change, and provides a formal semantics based on category theory that admits an implementation via design patterns.
Distributed cooperation with action systems
It is shown that for fairly serializable systems, properties that hold for any concurrent execution of the system can be established by temporal proofs that are conducted entirely within the simpler sequential execution model.
Propagating Class and Method Combination
This paper presents a mixin based class and method combination mechanism with block structure propagation that is integrated directly in the language, ensuring a clear semantics and a seamless interaction with the type system.
Patterns for Coordination
The evolutionary model is based on the representation of the more volatile aspects of the application domain like business rules as connectors whose purpose is to coordinate the interaction among core, more stable, components, without interfering with the services provided by the core objects of the system.
Distributed system design with message sequence charts
This thesis proposes a seamless, methodically founded integration of MSCs into the development process for distributed, reactive systems, and presents two transformation procedures, supporting the transition from interaction scenarios to complete behavior specifications for individual components.
Modeling Reactive Systems With Statecharts : The Statemate Approach
This guide shows how to use these two synergistic languages of Statecharts to develop a conceptual model of the system, which can then be combined with a physical or structural model using the third language of Module-charts.
Analysing dynamic change in software architectures: a case study
  • J. Kramer, J. Magee
  • Computer Science
    Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159)
  • 1998
This paper investigates the ability to perform behaviour analysis on systems which conform to the change model and uses Labelled Transition Systems to specify behaviour and Compositional Reachability Analysis to check composite system models.