Foundations for features

Feature Interactions in Telecommunications and Software Systems VIII

Volumn , Issue , 2005, Pages 3-11

  Bruns, Glenn ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FEATURE INTERACTIONS;

COMPUTER SOFTWARE;

TELECOMMUNICATION;

EID: 84881589439     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. R. Accorsi, C. Areces, W. Bouma, and M. de Rijke. Features as constraints. In Proceedings of FIW'00, pages 210-225. IOS Press, 2000.
2. Lynne Blair and Jianxiong Pang. Aspect-oriented solutions to feature interaction concerns using AspectJ. In Feature. Interactions in Telecommunications Systems VII, pages 87-104. IOS Press, 2003.
3. J. Blom, B. Jonsson, and L. Kempe. Using temporal logic for modular specification of telephone services. In L. G. Bouma and Hugo Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 197-216, Amsterdam, The Netherlands, May 1994. IOS Press.
4. Johan Blom, Bengt Jonsson, and Lars Kempe. Using temporal logic for modular specification of telephone services. In W. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, 1994.
5. Jan Bredereke. Automata-theoretic criteria for feature interactions in telecommunications systems. Technical Report 273/95, Dept. of Comp. Sci., Univ of Kaiserslautern, December 1995.
6. G. Bruns, P. Mataga, and I. Sutherland. Features as service transformers. In Feature Interactions in Telecommunications Systems V. IOS Press, 1999.
7. M. Calder, M. Kolberg, E. Magill, D. Marples, and S. Reiff-Marganiec. Hybrid solutions to the feature interaction problem. In Feature Interactions in Telecommunications Systems VII, pages 187-205. IOS Press, 2003.
8. F. Cassez, M. D. Ryan, and P.-Y. Schobbens. Proving feature non-interaction with alternating-time temporal logic. In Language Constructs for Describing Features, pages 85-104. Springer Verlag, 2001.
9. Rémi Douence and Pascal Fradet and Mario Südholt. A framework for the detection and resolution of aspect interactions. In Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering. Springer-Verlag, Lecture Notes in Computer Science 2487.
10. Amy P. Felty and Kedar S. Namjoshi. Feature specification and automatic conflict detection. ACM Transactions on Software Engineering and Methodology, 12(1):3-27, January 2003.
11. K. Fisler and S. Krishnamurthi. Modular verification of collaboration-based software designs. In Proceedings of FSE '01, 2001.
12. Christophe Gaston, Marc Aiguier, and Pascale Le Gall. Algebraic treatment of feature-oriented systems. In Language Constructs for Describing Features. Springer Verlag, 2001.
13. Robert J. Hall. Feature combination and interaction detection vis foreground/background models. Computer Networks, 32(4):449-469, 2000.
14. H. Harris and M. D. Ryan. Theoretical foundations of updating systems. In Proceedings of FSE 2003. IEEE Computer Society Press, 2003.
15. Jonathan D. Hay and Joanne M. Atlee. Composing features and resolving interactions. In SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, pages 110-119. ACM Press, 2000.
16. Dirk O. Keck and Paul J. Kuehn. The feature and service interaction problem in telecommunications systems: A survey. IEEE Trans. Soflw. Eng., 24(10):779-796, 1998.
17. Cornel Klein, Christian Prehofer, and Bernhard Rumpe. Feature specification and refinement with state transition diagrams. In Feature Interactions in Telecommunications Systems IV. IOS Press, 1997.
18. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
19. Malte Plath and Mark Ryan. Feature integration using a feature construct. Sci. Comput. Program., 41(1):53-84, 2001.
20. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 179-190. ACM Press, 1989.
21. Christian Prehofer. Prom inheritance to feature interaction or composing monads. Technical Report TUM-I9715, Technische Univerität München, 1997.
22. B Stepien and L Logrippo. Feature interaction detection by using backward reasoning with LOTOS. In S.T. Vuong and S.T. Chanson, editors, Protocol Specification, Testing and Verification XIV, pages 71-86. Chapman & Hall, 1995.