Using SPIN for feature interaction analysis—a case study
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A pragmatic approach to service interaction filtering between call control services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Version Model for Aspect Dependency Management
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Feature Interaction Detection in Active Networks
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Use of Logic to Describe Enhanced Communications Services
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Feature Interaction in Composed Systems
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
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
Asset mapping: developing inter-enterprise solutions from legacy components
Systems engineering for business process change
An experiment in feature engineering
Programming methodology
A feature manager approach to the analysis of component-interactions
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
Address translation in telecommunication features
ACM Transactions on Software Engineering and Methodology (TOSEM)
Feature interaction in policies
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
Component coordination: a telecommunication case study
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
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
Using semi-formal methods for detecting interactions among smart homes policies
Science of Computer Programming
Modeling and analysis of value added services using message sequence charts
Journal of Network and Computer Applications
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Towards goal-interaction detection during COTS selection
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Model-checking the Preservation of Temporal Properties upon Feature Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising Features by Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic symmetry detection for model checking using computational group theory
FM'05 Proceedings of the 2005 international conference on Formal Methods
Proof planning for first-order temporal logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Detecting OAM&P design defects using a feature interaction approach
International Journal of Network Management
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Hi-index | 0.00 |
From the Publisher:Typically, telecommunications services are implemented in software. Feature Interaction is the term used to describe interference between services or features; most attention is given to cases where the interference is undesirable, i.e. there is an incompatibility. In telecommunications, control and data is distributed and of such a large scale that software development is by numerous disjoint teams; by its nature, therefore, this software experienced the feature interaction problem first. But, while the workshop focuses on communications services, the subject has relevance to any domain where separate software entities control a shared resource. An important aspect of this and past workshops is the mix of experts in the area. A synergy is obtained by mixing academics and industrialists, vendors and operators, engineers and computer scientists, practitioners with theorists. At Glasgow, the workshop tradition is maintained, so in addition to fully refereed papers, time is also devoted to invited speakers, discussion sessions, and posters. The afternoon discussion sessions and the posters have key roles. Both allow a degree of exchange that presentations cannot permit: the posters on a one-on-one basis, the discussion sessions on a broader platform. Of course the presentations are an important framework for the workshop by introducing novel ideas and reporting on experiences. In addition, three well-known workers within the field are invited to give their perspective on the problem. What better way to test out the offered approaches than by having a contest? This sixth workshop maintains the contest started at the last workshop in Sweden. Groups enter the contest during the months preceding the workshop, but the winner is kept secret and only announced during the workshop. We are entering an exciting new phase for feature interaction. New generation networks are offering huge opportunities for growth and change. For example, a momentum built upon CORBA and DCOM is accelerating as consortia such PARLAY and JAIN offer open public standards. No longer do we have isolated features and services unaware of each other controlling shared resources; the signalling limitations of POTS and IN are giving way to a regime where services may communicate directly and negotiate. Balancing this new paradigm will be the increased possibilities of interaction: simply consider an accelerating number of features and services across an increasingly disparate range of networks, within an increasingly deregulated market. Consequently, enormous, new possibilities for feature interaction detection, resolution, and of course avoidance will be revealed; never has feature interaction research been so necessary.