Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Design and validation of computer protocols
Design and validation of computer protocols
Formal specification of telephone systems in LOTOS: The constraint-oriented style approach
Computer Networks and ISDN Systems
A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
The RACE Open Services Architecture project
IBM Systems Journal
Communications of the ACM
Feature interaction detection using backward reasoning with LOTOS
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Feature interactions in the global information infrastructure
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Reachability analysis of feature interactions: a progress report
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An architectural approach to minimizing feature interactions in telecommunications
IEEE/ACM Transactions on Networking (TON)
Detecting feature interactions in telecommunications systems designs
Detecting feature interactions in telecommunications systems designs
An object-based model of the service control function
ICCC '95 Proceedings of the 12th international conference on computer communication on Information highways : for a smaller world and better living: for a smaller world and better living
A Petri-nets based approach for detecting feature interactions in telecommunications services
ICCC '95 Proceedings of the 12th international conference on computer communication on Information highways : for a smaller world and better living: for a smaller world and better living
Comprehensive approach to service interaction handling
Computer Networks and ISDN Systems - Special issue on feature interactions in telecommunications software
The Intelligent Network Standards: Their Application to Services
The Intelligent Network Standards: Their Application to Services
The feature interaction problem in networked multimedia services — present and future
BT Technology Journal
Specification & Detection of IN Service Interference Using LOTOS
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Specification, detection and resolution of IN feature interactions with Estelle
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Application of protocol sythesis technique to resolution of the service interaction problem
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Secrets of Call Forwarding: A Specification Case Study
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Formal Methods and Service Specification
IS&N '94 Proceedings of the Second International Conference on Intelligence in Broadband Services and Networks: Towards a Pan-European Telecommunication Service Infrastructure
Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation
IS&N '94 Proceedings of the Second International Conference on Intelligence in Broadband Services and Networks: Towards a Pan-European Telecommunication Service Infrastructure
Detecting feature interactions with Caesar/Aldebaran.
Detecting feature interactions with Caesar/Aldebaran.
Open distributed processing: an architectural basis for information networks
Computer Communications
The TINA consortium: toward networking telecommunications information services
IEEE Communications Magazine
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A pragmatic approach to service interaction filtering between call control services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Verifying cross-cutting features as open systems
ACM SIGSOFT Software Engineering Notes
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
The Influence of Software Module Systems on Modular Verification
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A New Algorithm for Service Interaction Detection
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Playing with Abstraction and Refinement for Managing Features Interactions
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Theory and practice of enhancing a legacy software system
Systems engineering for business process change
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements interaction management
ACM Computing Surveys (CSUR)
Problems and Deficiencies of UML as a Requirements Specification Language
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Parameterized Interfaces for Open System Verification of Product Lines
Proceedings of the 19th IEEE international conference on Automated software engineering
Guest editorial: directions in feature interaction research
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
On detecting feature interactions in the programmable service environment of internet telephony
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
Resource-based approach to feature interaction in adaptive software
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Generating interaction test cases for mobile phone systems from use case specifications
ACM SIGSOFT Software Engineering Notes
Towards a classification of web service feature interactions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Managing feature interactions between distributed SIP call control services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Bi-objective release planning for evolving software systems
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Modeling and analysis of value added services using message sequence charts
Journal of Network and Computer Applications
Modelling feature interactions in the automotive domain
Proceedings of the 2008 international workshop on Models in software engineering
Decomposing Verification Around End-User Features
Verified Software: Theories, Tools, Experiments
Immune-Inspired Online Method for Service Interactions Detection
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Algorithms and tool support for dynamic information flow analysis
Information and Software Technology
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
Programming and Computing Software
Describing Next Generation Communication Services: A Usage Perspective
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
The art of the meta-aspect protocol
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Detection and resolution of feature interactions in IP multimedia subsystem
International Journal of Network Management
Feature interactions between internet services and telecommunication services
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Mapping problem-space to solution-space features: a feature interaction approach
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Supervisory control for real-time systems based on conflict-tolerant controllers
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Using coloured petri nets to model and verify telecommunications systems
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Managing distributed feature interactions in enterprise SIP application servers
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
Feature oriented evolutions for context-aware adaptive systems
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Controlling real world pervasive environments with knowledge bases
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Journal of Mobile Multimedia
Architecturing conflict handling of pervasive computing resources
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Model checking requirements at run-time in adaptive systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
A software lifecycle process for context-aware adaptive systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Leveraging state-based user preferences in context-aware reconfigurations for self-adaptive systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Detecting the web services feature interactions
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Towards a classification of web service feature interactions
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A two-level approach for modeling and verification of telecommunication systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Session initiation as a service
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Feature interaction in a federated communications-enabled collaboration platform
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
Today's telecommunications systems are enhanced by a large and steadily growing number of supplementary services, each of which consists of a set of service features. A situation where a combination of these services behaves differently than expected from the single services' behaviors, is called service interaction. This interaction problem is considered as a major obstacle to the introduction of new services into telecommunications networks. In this contribution, we give a survey of the work carried out in this field during the last decade. After a brief review of classification criteria that exist for feature interactions so far, we use a perspective we call the emergence level view. This perspective pays respect to the fact that the sources for interactions can be of many different kinds, like, e.g., requirement conflicts or resource contentions. It is used to rationalize the impossibility of coping with the problem with one single approach. Afterwards, we present a framework of four different criteria in order to classify the approaches dealing with the problem: The general kind of approach taken, a refinement of the well-known detection, resolution, and prevention categories, serves as the main classification criterion. It is complemented by the method used, the stage during the feature lifecycle where an approach applies, and the system (network) context. The major results of the different approaches are then presented briefly using this classification framework. We finally draw some conclusions on the applicability of this framework and on possible directions of further research in this field.