Feature Interaction as a Context Sharing Problem

Feature Interactions in Software and Communication Systems X

Volumn , Issue , 2009, Pages 133-148

  Nhlabatsi, Armstrong ^a   Laney, Robin ^a   Nuseibeh, Bashar ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

Context Sharing; Entailment Relation; Feature Interaction Problem; Feature Interaction Taxonomies; Requirements Inconsistency

Indexed keywords

CONTEXT SHARING; ENTAILMENT RELATION; FEATURE INTERACTIONS; JACKSON; REQUIREMENTS INCONSISTENCIES; SHARED CONTEXT;

TAXONOMIES;

COMMUNICATION SYSTEMS;

EID: 84870655660     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3233/978-1-60750-014-8-133     Document Type: Conference Paper

References (57)

1. Abadi, M. and L. Lamport, Composing specifications. ACM Transactions on Programming Languages and Systems (TOPLAS), 1993.15(1): p. 73-132.
2. Areces, C, W. Bouma, and M.d. Rijke. Feature Interaction as a Satisfiability Problem, in Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. 2000. College Park, MD, USA.
3. Bisbal, J. and B.H.C. Cheng. Resource-based Approach to Feature Interaction in Adaptive Software. in Proceedings of the 1 st ACM SIGSOFT workshop on Self-managed systems. 2004. Newport Beach, California, USA: IEEE Computer Society.
4. Blair, L., T. Jones, and S. Reiff-Marganiec. A feature manager approach to the analysis of component-interactions, in Proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems. 2002. Enschede, The Netherlands: Kluwer.
5. Blair, L. and K.J. Turner. Handling Policy Conflicts in Call Control, in Proceedings of International Conference on Feature Interaction VIII. 2005. Amsterdam: IOS Press.
6. Bond, G.W., E. Cheung, K.H. Purdy, P. Zave, and C. Ramming, An Open Architecture for Next-Generation Telecommunication Services. ACM Transactions on Internet Technology (TOIT), 2004. 4(1): p. 83-123.
7. Braithwaite, K.H. and J.M. Atlee, Towards automated detection of feature interactions, in Feature Interactions in Telecommunications Systems. 1994, IOS Press. p. 36-59.
8. Bredereke, J. Configuring Members of a Family of Requirements Using Features, in Feature Interactions in Telecommunications and Software Systems VIII. 2005. Leister, U.K.: IOS Press.
9. Bredereke, J., On Feature Orientation and on Requirements Encapsulation Using Families of Requirements, in Objects, Agents, and Features. 2004, Springer-Verlag: Berlin Heidelberg. p. 26-44.
10. Calder, M., M. Kolberg, E. Magill, and S. Reiff-Marganiec, Feature interaction: A critical review and considered forecast. Computer Networks, 2003. 41(1): p. 115-141.
11. Cameron, E.J., N. Griffeth, Y.J. Lin, M.E. Nilson, W.K. Schnure, and H. Velthuijsen, A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, 1993. 31(3): p. 64-69.
12. Cameron, E.J. and H. Velthuijsen, Feature interactions in telecommunications systems. IEEE Communications Magazine, 1993. 31(8): p. 18-23.
13. Chi, C. and R. Hao, Test generation for interaction detection in feature-rich communication systems. Journal of Computer Networks: Special Issue on Feature Interaction, 2007. 51(2): p. 426-438.
14. Classen, A., P. Heymans, and P.-Y. Schobbens, What's in a Feature: A Requirements Engineering Perspective, in Fundamental Approaches to Software Engineering. 2008, Springer: Berlin/Heidelberg. p. 16-30.
15. Dini, P., A. Clemm, T. Gray, F.J. Lin, L. Logrippo, and S. Reiff-Marganiec, Policy-enabled mechanisms for feature interactions: reality, expectations, challenges. Computer Networks, 2004. 45(5): p. 585-603.
16. Fu, Q., P. Harnois, L. Logrippo, and J. Sincennes, Feature interaction detection: a LOTOS-based approach. Journal of Computer Networks, 2000. 32(4): p. 433-448.
17. Godskesen, J.C., A Formal Framework for Feature Interaction with Emphasis on Testing, in Feature Interactions in Telecommunications Systems III. 1995, IOS Press: Kyoto, Japan, p. 21 - 30.
18. Haley, C.B., R. Laney, J.D. Moffett, and B. Nuseibeh, Security Requirements Engineering: A Framework for Representation and Analysis. IEEE Transactions on Software Engineering. 2008. 34(1): p. 133-153.
19. Hall, R.J., Feature combination and interaction detection via foreground/background models. Journal of Computer Networks, 2000. 32(4): p. 449-469.
20. Hall, R.J., Feature Interaction in Electronic Mail, in Feature Interactions in Telecommunications and Software Systems VI, M. Calder and E.H. Magill, Editors. 2000, IOS Press: Glasgow, Scotland, UK. p. 67-82.
21. Hall, R.J., Fundamental Nonmodularitv in Electronic Mail. Automated Software Engineering, 2005. 12(1): p. 41-79.
22. Hamed, H. and E. Al-Shaer, Taxonomy of conflicts in network security policies. Communications Magazine, IEEE, 2006. 44(3): p. 134-141.
23. Hsi, I. and C. Potts. Studying the Evolution and Enhancement of Software Features, in Proceedings of the 16th IEEE International Conference on Software Maintenance (ICSM'00). 2000. San Jose, California, USA.
24. Jackson, M., Problem frames: analysing and structuring software development problems. ACM Press. 2001, Harlow: Addison-Wesley, 2001.
25. Jackson, M. and P. Zave. Domain descriptions, in Proceedings of IEEE International Symposium on Requirements Engineering. 1993. San Diego, CA, U.S.A.
26. Kang, K.C., S. Kima, J. Lee, K. Kim, E. Shin, and M. Huh, FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering, 1998. 5(0): p. 143-168.
27. Keck, D.O. and P.J. Kuehn, The Feature and Service Interaction Problem in Telecommunications Systems: A Survey. IEEE Transactions on Software Engineering, 1998. 24(10): p. 779-796.
28. Kolberg, M. and E.H. Magill, Managing feature interactions between distributed SIP call control services. Journal of Computer Networks: Special Issue on Feature Interaction, 2007. 51(2): p. 536-557.
29. Kolberg, M., E.H. Magill, and M. Wilson, Compatibility Issues between Services Supporting Networked Appliances. IEEE Communications Magazine, 2003. 41(11): p. 136-147.
30. Laney, R., T.T. Tun, M. Jackson, and B. Nuseibeh. Composing Features by Managing Inconsistent Requirements, in Proceedings of the 9th International Conference on Feature Interactions in Software and Communication Systems. 2007. Grenoble, France.
31. Lin, F.J. and Y.J. LIN. A building block approach to detecting and resolving feature interaction, in Proceedings of 2nd International Workshop on Feature Interactions in Telecommunications Software Systems. 1994. Amsterdam, The Netherlands.
32. Maccari, A. and A. Heie, Managing infinite variability in mobile terminal software. Software: Practice and Experience, 2005. 35(6): p. 513-537.
33. Metzger, A., Feature interactions in embedded control systems. Computer Networks, 2004. 45(5): p. 625-644.
34. Metzger, A. and C. Webel. Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model, in Feature Interactions in Telecommunications and Software Systems VII. 2003. Ottawa, Canada: 10 Press.
35. Nakamura, M., H. Igaki, and K.-i. Matsumoto. Feature Interactions in Integrated Services of Networked Home Appliances: An Object Oriented Approach, in 8th International Conference on Feature Interactions in Telecommunications and Software Systems. 2004. Leicester, UK.
36. Nhlabatsi, A., R. Laney, and B. Nuseibeh. Building Contingencies into Specifications (Poster). in Proceedings of the 16th IEEE International Conference in Requirements Engineering (RE 2008). 2008. Barcelona, Catalunya, Spain.
37. Nhlabatsi, A., R. Laney, and B. Nuseibeh, Feature Interaction: the Security Threat from within Software Systems. Progress in Informatics, 2008(5): p. 75-89.
38. Pang, J. and L. Blair. An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features. in Proceedings of the 22nd International Conference on Distributed Computing Systems Workshops (ICDCSW '02). 2002. Vienna, Austria.
39. Pulvermueller, E., A. Speck, J.O. Coplien, M. D'Hondt, and W.D. Meuter, Feature Interaction in Composed Systems, in Object-Oriented Technology, A. Frohner, Editor. 2002, Springer Berlin/Heidelberg, p. 1-16.
40. Reiff-Marganiec, S. and K.J. Turner, Feature Interaction in Policies. Computer Networks: The International Journal of Computer and Telecommunications Networking, 2004. 45(5): p. 569-584.
41. Sefidcon, A. and F. Khendek, FID: feature interaction detection tool. Microprocessors and Microsystems, 2000. 24(6): p. 283-289.
42. Shaw, J., J. Giglierano, and J. Kallis, Marketing complex technical products: The importance of intangible attributes. Industrial Marketing Management, 1989. 18(1): p. 45-53.
43. Shehata, M., A. Eberlein, and A. Fapojuwo, Using semi-formal methods for detecting interactions among smart homes policies. Science of Computer Programming, 2007. 67(2-3): p. 125-161.
44. Shehata, M., A. Eberlein, and A.O. Fapojuwo, A taxonomy for identifying requirement interactions in software systems. Journal of Computer Networks: Special Issue on Feature Interaction, 2007. 51(2): p. 398-425.
45. Siddiqi, S. and J.M. Atlee, A hybrid model for specifying features and detecting interactions. Journal of Computer Networks, 2000. 32(4): p. 471-485.
46. Sochos, P., I. Philippow, and M. Riebisch. Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture, in Proceedings of 5th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World. 2004. Erfurt, Germany.
47. Thiel, S., S. Ferber, T. Fischer, A. Hein, and M. Schlick. A Case Study in Applying a Product Line Approach for Car Periphery Supervision Systems, in Proceedings of In-Vehicle Software 2001. 2001. Detroit, Michigan, USA.
48. Turner, CR., A. Fuggetta, L. Lavazza, and A.L. Wolf, A Conceptual basis for feature engineering. The Journal of Systems and Software, 1999. 49(1): p. 3-15.
49. Turner, K.J. and L. Blair, Policies and conflicts in call control. Journal of Computer Networks: Special Issue on Feature Interaction, 2007. 51(2): p. 496-514.
50. Weiss, M. and B. Esfandiari. On Feature Interactions Among Web Services, in Proceedings of IEEE International Conference on Web Services. 2004. San Diego, Califonia, USA.
51. Weiss, M., B. Esfandiari, and Y. Luo, Towards a classification of web service feature interactions. Journal of Computer Networks: Special Issue on Feature Interaction, 2007. 51(2): p. 359-381.
52. Wu, X. and H. Schulzrinne, Handling feature interactions in the language for end system services. Journal of Computer Networks: Special Issue on Feature Interaction, 2007. 51(2): p. 515-535.
53. Zave, P. Requirements for Evolving Systems: A Telecommunications Perspective, in Proceedings of 5th IEEE International Symposium on Requirements Engineering (RE'01). 2001. Toronto, Canada: IEEE Computer Society.
54. Zave, P. and M. Jackson, A Call Abstraction for Component Coordination. Electronic Notes in Theoretical Computer Science, 2002. 66(4): p. 36-55.
55. Zave, P. and M. Jackson, Conjunction as composition. ACM Transactions on Software Engineering and Methodology, 1993. 2(4): p. 379-411.
56. Zave, P. and M. Jackson, Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, 1997. 6(1): p. 1-30.
57. Zhang, W., H. Mei, and H. Zhao. A feature-oriented approach to modeling requirements dependencies, in Proceedings of the 13th IEEE International Conference on Requirements Engineering. 2005. Paris, France.