FORCES Project - Telecommunications Service Bibliography

The following bibliography deals with telecommunications service creation, engineering and feature interaction. It is not intended to be completely exhaustive; contributions are welcome. The text here approximates the BibTeX version, compressed with gzip.

Accorsi-Areces-Bouma-deRijke-2000

Rafael Accorsi, Carlos Areces, Wiet Bouma, and Maarten de Rijke. Features as constraints. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 210-225, Amsterdam, Netherlands, May 2000. IOS Press.

Aggoun-Combes-1997

Imene Aggoun and Pierre Combes. Observers in the SCE and the SEE to detect and resolve service interactions. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 198-212. IOS Press, Amsterdam, Netherlands, June 1997.

Aho-Gallagher-Griffeth-Schell-Swayne-1998

Alfred V. Aho, Sean Gallagher, Nancy D. Griffeth, Cynthia R. Schell, and Deborah F. Swayne. SCF3/Sculptor with Chisel: Requirements engineering for communications services. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 45-63. IOS Press, Amsterdam, Netherlands, September 1998.

Aitken-1992

J. Aitken. Feature interaction in mainstream IN applications. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 22-40, Florida, USA, December 1992.

Amer-Karmouch-Gray-Mankovskii-2000

Magdi Amer, Ahmed Karmouch, Tom Gray, and Serge Mankovskii. Feature interaction resolution using fuzzy policies. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 94-112, Amsterdam, Netherlands, May 2000. IOS Press.

Amyot-2001

Daniel Amyot. Use Case Maps as a feature description notation. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 27-44, Berlin, Germany, January 2001. Springer-Verlag.

Amyot-Buhr-Gray-Logrippo-1999

Daniel Amyot, Raymond J. A. Buhr, T. Gray, and Luigi M. S. Logrippo. Use case maps for the capture and validation of distributed systems requirements. In Proc. 4th. IEEE International Symposium on Requirements Engineering, pages 44-53. Institution of Electrical and Electronic Engineers Press, New York, USA, June 1999.

Amyott-Charfi-Gorse-Gray-2000

Daniel Amyott, L. Charfi, N. Gorse, and Tom Gray. Feature description and feature interaction analysis with use case maps and L OTOS. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 274-289, Amsterdam, Netherlands, May 2000. IOS Press.

Asimov-Miloslavsky-Pogosyants-1998

Nikolay Asimov, Alex Miloslavsky, and Gregory Pogosyants. Feature interaction problem in computer-telephony integration systems. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 73-77. IOS Press, Amsterdam, Netherlands, September 1998.

Au-Atlee-1997

Pansy K. Au and Joanne M. Atlee. Evaluation of a state-based model of feature interactions. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 153-167. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Barbuceanu-Gray-Mankovskii-1998

Mihai Barbuceanu, Tom Gray, and Serge Mankovskii. How to make your agents fulfil their obligations. In H. S. Nwana and D. T. Ndumu, editors, Proc. 3rd. Conference on Practical Application of Intelligent Agents and Multi-Agents, pages 255-276, London, UK, March 1998.

Bergstra-Bouma-1997

Jan Bergstra and Wiet Bouma. Models for feature descriptions and interactions. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 31-45. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Berkani-LeGall-Klay-2001

Karim Berkani, Pascale Le Gall, and Francis Klay. An incremental method for the design of feature-oriented systems. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 45-64, Berlin, Germany, January 2001. Springer-Verlag.

Blair-Pang-2000

Lynne Blair and Jianxiong Pang. Feature interactions - Life beyond traditional telephony. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 83-93, Amsterdam, Netherlands, May 2000. IOS Press.

Blom-1997

Johan Blom. Formalisation of requirements with emphasis on feature interaction detection. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 61-77. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Blom-Bol-Kempe-1995

Johan Blom, Roland Bol, and Lars Kempe. Automatic detection of feature interactions in temporal logic. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 1-19. IOS Press, Amsterdam, Netherlands, 1995.

Blumenthal-OReilly-Russo-1997

Ralph B. Blumenthal, Maureen P. O'Reilly, and Pete Russo. Addressing feature interactions during service creation. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 364-370. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Bostrom-Engstedt-1995

Martin Boström and Måns Engstedt. Feature interaction detection and resolution in the delphi framework. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 157-172. IOS Press, Amsterdam, Netherlands, 1995.

Bouma-Griffeth-Kimbler-2000

L. G. Bouma, Nancy D. Griffeth, and Kristofer Kimbler. Guest editorial: Feature interactions in telecommunications systems. Computer Networks, 32(4):383-387, April 2000.

Bouma-Zuidweg-1992

Wiet Bouma and H. Zuidweg. Towards formal analysis of feature interactions. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 156-156, Florida, USA, December 1992.

Boumezbeur-Logrippo-1993

Rezki Boumezbeur and Luigi M. S. Logrippo. Specifying telephone systems in L OTOS. IEEE Communications Magazine, pages 38-45, August 1993.

Bredereke-1998

Jan Bredereke. Avoiding feature interactions in the user's interface. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 305-317. IOS Press, Amsterdam, Netherlands, September 1998.

Bredereke-2000

Jan Bredereke. Families of formal requirements in telephone switching. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 257-273, Amsterdam, Netherlands, May 2000. IOS Press.

Bruns-Mataga-Sutherland-1998

Glenn Bruns, Peter Mataga, and Ian Sutherland. Features as service transformers. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 85-97. IOS Press, Amsterdam, Netherlands, September 1998.

Buhr-Amyot-Elammari-Quesnel-Gray-Mankovski-1998

Raymond J. A. Buhr, Daniel Amyot, M. Elammari, D. Quesnel, T. Gray, and S. Mankovski. Feature-interaction visualizaton and resolution in an agent environment. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 135-149. IOS Press, Amsterdam, Netherlands, September 1998.

Cain-Gillespie-1992

M. Cain and D. Gillespie. Automatic generation of efficient run-time feature management data structures from high-level feature relationships. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 1-12, Florida, USA, December 1992.

Cain-1992

Michael Cain. Managing run-time interactions between call-processing features. IEEE Communications Magazine, pages 44-50, February 1992.

Calder-Reiff-1997

M. Calder and S. Reiff. Modelling legacy telecommunications switching systems for interaction analysis. In Systems Engineering for Business Process Change. Springer Verlag, 1997.

Calder-1998

Muffy H. Calder. What use are formal design and analysis methods to telecommunications services? In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 23-31. IOS Press, Amsterdam, Netherlands, September 1998.

Calder-Magill-Marples-1999

Muffy H. Calder, Evan H. Magill, and David Marples. Hybrid approach to software interworking problems: Managing interactions between legacy and evolving telecommunications software. IEE Software, 146(3):167-175, June 1999.

Cameron-Griffeth-Lin-Nilson-Schnure-Velthuijsen-1993

E. Jane Cameron, Nancy D. Griffeth, Yow-Jian Lin, Margaret E. Nilson, William K. Schnure, and Hugo Velthuijsen. A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, pages 64-69, March 1993.

Cameron-Lin-1991

E. Jane Cameron and Yow-Jian Lin. A real-time transition model for analyzing behavioral compatibility of telecommunications services. In SIGSOFT, December 1991.

Cameron-Velthuijsen-1993

E. Jane Cameron and Hugo Velthuijsen. Feature interactions in telecommunications systems. IEEE Communications Magazine, pages 18-23, August 1993.

Cameron-Cheng-Gallagher-Lin-Russo-Sobirk-1998

Jane Cameron, Kong Cheng, Sean Gallagher, Fuchun Joseph Lin, Peter Russo, and Daniel Sobirk. Next generation service creation: Process, methodology, and tool integration. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 299-304. IOS Press, Amsterdam, Netherlands, September 1998.

Cameron-Cheng-Lin-Liu-Pinheiro-1997

Jane Cameron, Kong Cheng, Fuchun Joseph Lin, Hong Liu, and Bob Pinheiro. A formal AIN service creation, feature interactions analysis and management environment: An industrial application. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 342-346. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Cameron-Lin-1998

Jane Cameron and Fuchun Joseph Lin. Feature interactions in the new world. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 3-9. IOS Press, Amsterdam, Netherlands, September 1998.

Cansell-Mery-2001

Dominique Cansell and Dominique Méry. Abstraction and refinement of features. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 65-84, Berlin, Germany, January 2001. Springer-Verlag.

Capellmann-Combes-Pettersson-Renard-Ruiz-1997

C. Capellmann, Pierre Combes, J. Pettersson, B. Renard, and J. L. Ruiz. Consistent interaction detection - A comprehensive approach integrated with service creation. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 183-197. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Cassez-Ryan-Schobbens-2001

Franck Cassez, Mark D. Ryan, and Pierre-Yves Schobbens. Proving feature non-interaction with alternating-time temporal logic. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 85-103, Berlin, Germany, January 2001. Springer-Verlag.

Cattrall-Howard-Jordan-Buj-1995

D. Cattrall, G. Howard, D. Jordan, and S. Buj. An interaction-avoiding call processing model. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 85-96. IOS Press, Amsterdam, Netherlands, 1995.

Chadha-Griffeth-Lin-1993

Ritu Chadha, Nancy D. Griffeth, and Yow-Jian Lin. The first international workshop on feature interactions in telecommunications systems: A summary report. TINA IV, pages 201-209, September 1993.

Charnois-1997

Thierry Charnois. A natural language processing approach for avoidance of feature interactions. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 347-363. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Chen-Lafortune-Lin-1997

Yi-Liang Chen, Stéphane Lafortune, and Feng Lin. Resolving feature interactions using modular supervisory control with priorities. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 108-122. IOS Press, Amsterdam, Netherlands, June 1997.

Cheng-Ohta-1995

Kong Eng Cheng and Tadashi Ohta, editors. Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems. IOS Press, Amsterdam, Netherlands, 1995.

Cohen-Dorn-1992

D. Cohen and N. Dorn. An experiment in analyzing switch recovery procedures. In Michel Diaz and Roland Groz, editors, Proc. Formal Description Techniques V, pages 23-34. North-Holland, Amsterdam, Netherlands, October 1992.

Collins-Harris-Willis-1992

R. Collins, S. Harris, and D. Willis. Feature interaction and AIN evolution. In Tina III, Narita, Japan, pages G1.2.1-G1.2.12, PO Box 3511, Station C, Ottawa, Ontario, Canada, K1Y 4H7, January 1992. Bell Northern Research.

Cross-OBrian-1991

Marilyn Cross and Fergus O'Brian. A perspective from communication as social interaction. In Hugo Velthuijsen, editor, FITSS Workshop, pages 160-161, December 1991.

Debaille-Lubacz-1984

S. Debaille and J. Lubacz. Delay and throughput comparisons of switching techniques in integrated networks. Proc. 7th. International Conference on Computer Communication, pages 503-509, October 1984.

Derrett-1992

N. Derrett. Classification of feature interactions. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 153-154, Florida, USA, December 1992.

Dini-Boutaba-Logrippo-1997

Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors. Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems. IOS Press, Amsterdam, Netherlands, June 1997.

Dini-vonBochmann-1995

Petre Dini and Gregor von Bochmann. Automatic reconfiguration for runtime feature-interaction resolution in an object-oriented environment. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 115-126. IOS Press, Amsterdam, Netherlands, 1995.

Dssouli-Some-Guillery-Rico-1997

Rachida Dssouli, Stéphane Somé, J-W Guillery, and Natalie Rico. Detection of feature interactions with REST. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 271-283. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

duBousquet-Ouabdesselam-Richier-Zuanon-1998

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, and Nicolas Zuanon. Incremental feature validation: A synchronous point of view. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 262-275. IOS Press, Amsterdam, Netherlands, September 1998.

duBousquet-Ouabdesselam-Richier-Zuanon-2000

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, and Nicolas Zuanon. Feature interaction detection using A synchronous approach and testing. Computer Networks, 32(4):419-431, April 2000.

Efimouchkin-Issaeva-1997

Vladimir Efimouchkin and Tatiana Issaeva. Performance analysis of intelligent call blocking probability. In Marijan Kunstic, editor, Proc. 4th. International Conference on Telecommunications, pages 247-261. University of Zagreb, Croatia, June 1997. ISBN 953-184-003-2.

ElOuahidi-Bouhdadi-2000

Bouabid El Ouahidi and Mohamed Bouhdadi. Internet/telecommunications integration: Towards IN-capable SIP networks. Networks and Distributed Systems (Réseaux et Systèmes Répartis), 12(2):259-280, October 2000.

Engels-Feijs-Mauw-1997

André Engels, Loe M. G. Feijs, and Sjouke Mauw. Test generation for intelligent networks using model checking. In Ed Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of Lecture Notes in Computer Science, pages 384-398. Springer-Verlag, 1997.

Erradi-Khendek-Dssouli-vonBochmann-1992

Mohammed Erradi, Ferhat Khendek, Rachida Dssouli, and Gregor von Bochmann. Dynamic extension of object-oriented distributed system specification. In Hugo Velthuijsen, editor, FITSS Workshop, pages 116-132, December 1992.

Faci-Logrippo-1993

Mohammed Faci and Luigi M. S. Logrippo. Specifying features and analysing their interactions in a L OTOS environment. Technical Report TR-93-21, Department of Computer Science, University of Ottawa, Canada, December 1993.

Faci-Logrippo-1994

Mohammed Faci and Luigi M. S. Logrippo. Specifying features and analysing their interactions in a L OTOS environment. In L. G. Bouma and Hugo Velthuijsen, editors, Proc. 2nd. International Workshop on Feature Interactions in Telecommunications Systems and Software Systems, pages 136-151. IOS Press, Amsterdam, Netherlands, May 1994.

Faci-Logrippo-Stepien-1989

Mohammed Faci, Luigi M. S. Logrippo, and Bernard Stépien. Formal specifications of telephone systems in L OTOS. In Ed Brinksma, Giuseppe Scollo, and Christopher A. Vissers, editors, Proc. Protocol Specification, Testing and Verification VIII. North-Holland, Amsterdam, Netherlands, June 1989.

Faci-Logrippo-Stepien-1991

Mohammed Faci, Luigi M. S. Logrippo, and Bernard Stépien. Formal specification of telephone systems in L OTOS: The constraint-oriented style approach. Computer Networks and ISDN Systems, 21(1):53-67, March 1991.

Faci-Logrippo-Stepien-1997

Mohammed Faci, Luigi M. S. Logrippo, and Bernard Stépien. Structural models for specifying telephone systems. Computer Networks, 29(4):501-528, March 1997.

Felty-Namjoshi-2000

Amy P. Felty and Kedar S. Namjoshi. Feature specification and automatic conflict detection. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 179-192, Amsterdam, Netherlands, May 2000. IOS Press.

Flam-Radatovic-1997

Dragutin Flam and Vjeran Radatovic. TQM in telecommunication software design. In Marijan Kunstic, editor, Proc. 4th. International Conference on Telecommunications, pages 109-120. University of Zagreb, Croatia, June 1997. ISBN 953-184-003-2.

Fragoulopoulos-Kolyvas-Venieris-1997

E. K. Fragoulopoulos, G. T. Kolyvas, and I. S. Venieris. Performance evaluation of a bearer channel control protocol for broadband access networks. In Marijan Kunstic, editor, Proc. 4th. International Conference on Telecommunications, pages 405-413. University of Zagreb, Croatia, June 1997. ISBN 953-184-003-2.

Frappier-Mili-Desharnais-1997

Marc Frappier, A. Mili, and J. Desharnais. Detecting feature interactions on relational specifications. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 123-137. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Fritsche-1995

Norbert Fritsche. Runtime resolution of feature interactions in architectures with separated call and feature control. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 43-63. IOS Press, Amsterdam, Netherlands, 1995.

Fu-Harnois-Logrippo-Sincennes-2000

Q. Fu, Pascal Harnois, Luigi M. S. Logrippo, and Jacques Sincennes. Feature interaction detection: A L OTOS-based approach. Computer Networks, 32(4):433-448, April 2000.

Fuentes-Troya-1997

L. Fuentes and J. M. Troya. Designing multimedia telecommunication services with an extensible component-oriented framework. In Marijan Kunstic, editor, Proc. 4th. International Conference on Telecommunications, pages 183-192. University of Zagreb, Croatia, June 1997. ISBN 953-184-003-2.

Gaarder-Audestad-1993

Klaus Gaarder and Jan A. Audestad. Feature interaction policies and the undecidability of a general feature interaction problem. In TINA IV, pages II.189-II.200, September 1993.

Gaston-Aiguier-LeGall-2001

Christophe Gaston, Marc Aiguier, and Pascale Le Gall. Algebaraic treatment of feature-oriented systems. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 105-124, Berlin, Germany, January 2001. Springer-Verlag.

Georgatsos-Nauta-Velthuijsen-1997

Panos Georgatsos, Tjeerd Nauta, and Hugo Velthuijsen. Role of service management in service interaction handling in an IN environment. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 213-225. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Gibson-1997

J. Paul Gibson. Feature requirements models: Understanding interactions. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 46-60. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Gibson-1998

J. Paul Gibson. Towards a feature interaction algebra. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 217-231. IOS Press, Amsterdam, Netherlands, September 1998.

Gibson-Hamilton-Mery-2000

J. Paul Gibson, Geoff Hamilton, and Dominique Méry. A taxonomy for triggered interactions using fair object semantics. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 193-209, Amsterdam, Netherlands, May 2000. IOS Press.

Gilmore-Hillston-2001

Stephen T. Gilmore and Jane Hillston. The PEPA feature construct. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 125-142, Berlin, Germany, January 2001. Springer-Verlag.

Godkesen-1995

Jens Christian Godkesen. A formal framework for feature interaction with emphasis on testing. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 21-30. IOS Press, Amsterdam, Netherlands, 1995.

Gregoire-Ferguson-1997

Jean-Charles Gregoire and M. J. Ferguson. Neglected topics of feature interactions: Mechanisms, architecture requirements. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 3-12. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Griffeth-Blumenthal-Gregoire-Ohta-2000a

Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Gregoire, and Tadashi Ohta. A feature interaction benchmark for the first feature interaction detection contest. Computer Networks, 32(4):389-418, April 2000.

Griffeth-Blumenthal-Gregoire-Ohta-2000b

Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Gregoire, and Tadashi Ohta. Feature interaction detection contest of the fifth international workshop on feature interactions. Computer Networks, 32(4):487-510, April 2000.

Griffeth-Blumenthal-Gregoire-Ohta-1998

Nancy D. Griffeth, Ralph B. Blumenthal, Jean-Charles Gregoire, and Tadashi Ohta. Feature interaction detection contest. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 327-359. IOS Press, Amsterdam, Netherlands, September 1998.

Griffeth-Lin-1993

Nancy D. Griffeth and Yow-Jian Lin. Extending telecommunications systems: The feature interaction problem. Computer, pages 14-18, August 1993.

Griffeth-Velthuijsen-1992b

Nancy D. Griffeth and Hugo Velthuijsen. The negotiating agent model for rapid feature development. Technical Report R2401, Bellcore, Morristown, New Jersey, USA, June 1992.

Griffeth-Velthuijsen-1992a

Nancy D. Griffeth and Hugo Velthuijsen. Negotiations in telecommunications systems. Technical Report R2401, Bellcore, Morristown, New Jersey, USA, June 1992.

Griffeth-Velthuijsen-1993

Nancy D. Griffeth and Hugo Velthuijsen. Reasoning about goals to resolve conflicts. In International Conference on Intelligent and Cooperative Information Systems, pages 1-14, May 1993.

Hall-1998

Robert J. Hall. Foreground/background models. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 232-246. IOS Press, Amsterdam, Netherlands, September 1998.

Hall-2000a

Robert J. Hall. Feature combination and interaction detection via foreground/background models. Computer Networks, 32(4):449-469, April 2000.

Hall-2000b

Robert J. Hall. Feature interactions in electronic mail. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 67-82, Amsterdam, Netherlands, May 2000. IOS Press.

Heisel-Souquieres-1998

Maritta Heisel and Jeanine Souquiéres. A heuristic approach to detect feature interactions in requirements. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 165-171. IOS Press, Amsterdam, Netherlands, September 1998.

Heisel-Souquieres-2001

Maritta Heisel and Jeanine Souquières. A heuristic algorithm to detect feature interaction requirements. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 143-162, Berlin, Germany, January 2001. Springer-Verlag.

Homayoon-Singh-1988

Seth Homayoon and Harmi Singh. Methods of addressing the interactions of intelligent network services with embedded switch services. IEEE Communications Magazine, pages 42-47, December 1988.

Inoue-Takami-Ohta-1992

Y. Inoue, K. Takami, and T. Ohta. Method of supporting detection and elimination of feature interaction in a telecommunication system. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 61-81, Florida, USA, December 1992.

Iraqi-Erradi-1997

Y. Iraqi and M. Erradi. An experiment for the processing of feature interactions within an object-oriented environment. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 298-312. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Jackson-Zave-1998

Michael Jackson and Pamela Zave. Distributed feature compositionL A virtual architecture for telecommunications services. IEEE Transactions on Software Engineering, pages 831-847, October 1998.

Jonsson-Margaria-Naeser-Nystrom-Steffen-2000

Bengt Jonsson, Tiziana Margaria, Gustaf Næser, Jan Nyström, and Bernhard Steffen. Incremental requirements specifiction for evolving systems. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 145-162, Amsterdam, Netherlands, May 2000. IOS Press.

Kakuda-Asada-Kikuno-1995

Y. Kakuda, H. Asada, and T. Kikuno. Application of protocol synthesis technique to resolution of the service interaction problem. In FORTE-VI-Ed, editor, FORTE-VI, pages 379-381. Chapman-Hall, London, UK, 1995.

Kakuda-Inoue-Asada-Kikuno-Ohta-1995

Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, and Tadashi Ohta. A dynamic resolution method for feature interactions and its evaluation. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 97-114. IOS Press, Amsterdam, Netherlands, 1995.

Kamae-Kawashima-1984

T. Kamae and I. Kawashima. Customer equipment for new services in INS model system. Proc. 7th. International Conference on Computer Communication, pages 72-76, October 1984.

Kamoun-Logrippo-1998

Jalel Kamoun and Luigi M. S. Logrippo. Goal-oriented feature interaction detection in the Intelligent Network model. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 172-186. IOS Press, Amsterdam, Netherlands, September 1998.

Kawarasaki-Ohta-1995

Yasuro Kawarasaki and Tadashi Ohta. A new proposal for feature interaction detection and elimination. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 127-139. IOS Press, Amsterdam, Netherlands, 1995.

Keck-1998

Dirk O. Keck. A tool for the identification of interaction-prone call scenarios. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 276-290. IOS Press, Amsterdam, Netherlands, September 1998.

Keck-Kuehn-1998

Dirk O. Keck and Paul J. Kuehn. The feature and service interaction problem in telecommunications systems: A survey. IEEE Transactions on Software Engineering, pages 779-796, October 1998.

Kelly-Crowther-King-Masson-DeLapeyre-1995

Bryce Kelly, Michael Crowther, John King, Ronnie Masson, and Jacques DeLapeyre. Service validation and testing. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 173-184. IOS Press, Amsterdam, Netherlands, 1995.

Khoumsi-1997

Ahmed Khoumsi. Detection and resolution of interactions between services of telephone networks. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 78-92. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Khoumsi-Bevelo-2000

Ahmed Khoumsi and Rodolphe Justin Bevelo. A detection method developed after a thorough study of the contest held in 1998. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 226-240, Amsterdam, Netherlands, May 2000. IOS Press.

Kikuta-Yagi-ichiroSakai-Fujioka-Wakahara-1992

Hiroyuki Kikuta, Hikaru Yagi, Sei ichiro Sakai, Masanobu Fujioka, and Yasushi Wakahara. Clarification of service interaction and its detection method. In Tina III, Narita, Japan, pages G1.3.1-G1.3.13, 2-1-15 Ohara, Kamifukuoka, Saitama 356 Japan, January 1992. KDD R & D Laboratories.

Kimbler-1995

Kristofer Kimbler. Towards A more efficient feature interaction analysis - A statistical approach. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 201-211. IOS Press, Amsterdam, Netherlands, 1995.

Kimbler-1997

Kristofer Kimbler. Addressing the interaction problem at the enterprise level. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 13-22. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Kimbler-2000

Kristofer Kimbler. Service interaction in next generation networks: Challenges an opportunities. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 14-20, Amsterdam, Netherlands, May 2000. IOS Press.

Kimbler-Bouma-1998

Kristofer Kimbler and Wiet Bouma, editors. Proc. 5th. Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam, Netherlands, September 1998.

Klein-Prehofer-Rumpe-1997

Cornel Klein, Christian Prehofer, and Bernhard Rumpe. Feature specification and refinement with state transition diagrams. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 284-297. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Kolberg-Kimbler-2000

Mario Kolberg and Kristofer Kimbler. Service interaction management for distributed services in A deregulated market. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 23-37, Amsterdam, Netherlands, May 2000. IOS Press.

Kolberg-Magill-1998

Mario Kolberg and Evan H. Magill. Service and feature interactions in T INA. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 78-84. IOS Press, Amsterdam, Netherlands, September 1998.

Kolberg-Magill-Marples-Reiff-2000

Mario Kolberg, Evan H. Magill, David Marples, and Stephan Reiff. Second feature interaction contest. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 293-324, Amsterdam, Netherlands, May 2000. IOS Press.

Kolberg-Sinnott-Magill-1999a

Mario Kolberg, Richard O. Sinnott, and Evan H. Magill. Engineering of interworking T INA-based telecommunication services. In Joseph Sventek, editor, Proc. TINA'99 Conference, Oahu, Hawaii, April 1999.

Kolberg-Sinnott-Magill-1999b

Mario Kolberg, Richard O. Sinnott, and Evan H. Magill. Experiences modelling and using formal object-oriented telecommunication service frameworks. International Journal of Computer and Telecommunications Networking, 31(23):2577-2592, 1999.

Korst-1997

Thomas Korst. Dynamic traffic distribution. In Marijan Kunstic, editor, Proc. 4th. International Conference on Telecommunications, pages 29-35. University of Zagreb, Croatia, June 1997. ISBN 953-184-003-2.

Korver-1997

Henri Korver. Detecting feature interactions with CÆSAR/ALDÉBARAN. Science of Computer Programming, 29(1-2):259-278, July 1997.

Kosmas-Turner-1997

Nikolaos Kosmas and Kenneth J. Turner. Requirements for service creation environment. In Ignac Lovrek, editor, Proc. 4th. International Conference on Telecommunications, pages 133-137. University of Zagreb, Croatia, June 1997. ISBN 953-184-004-0.

Kuisch-Janmaat-Mulder-Keesmaat-1992

Eric Kuisch, Ronald Janmaat, Harm Mulder, and Iko Keesmaat. A practical approach. In Hugo Velthuijsen, editor, FITSS Workshop, pages 41-60, December 1992.

Kuisch-Janmaat-Mulder-Keesmaat-1993

Eric Kuisch, Ronald Janmaat, Harm Mulder, and Iko Keesmaat. A practical approach to service interactions. IEEE Communications Magazine, pages 24-31, August 1993.

Lamb-1992

David Alex Lamb. Applying Quilt to feature configuration. In H Velthuijsen, editor, FITSS Workshop, pages 109-115, December 1992.

Lehmacher-Lautenschlager-Hintzen-Rupp-1998

Markus Lehmacher, Wolfgang Lautenschlager, Heinrich Hintzen, and Stephan Rupp. A two-tier architecture to handle number portability and IN-service interaction. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 67-72. IOS Press, Amsterdam, Netherlands, September 1998.

Lehner-Krupp-1992

K. Lehner and M. Krupp. Feature interaction management within service management in AIN. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 159-159, Florida, USA, December 1992.

Lennox-Schulzrinne-2000

Jonathan Lennox and Henning Schulzrinne. Feature interaction in internet telephony. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 38-50, Amsterdam, Netherlands, May 2000. IOS Press.

Levesque-Barbeau-2000

François Lévesque  and Michel Barbeau. Découverte de services sur un Réseau de petits ordinateurs. Networks and Distributed Systems (Réseaux et Systèmes Répartis), 12(2):189-209, October 2000.

Lin-Lin-1994

Fuchun Joseph Lin and Yow-Jian Lin. A building block approach to detecting and resolving feature interactions. In L. G. Bouma and Hugo Velthuijsen, editors, Proc. 2nd. International Workshop on Feature Interactions in Telecommunications Systems and Software Systems, pages 86-119. IOS Press, Amsterdam, Netherlands, 1994.

Lin-Liu-Ghosh-1998

Fuchun Joseph Lin, Hong Liu, and Abhrajit Ghosh. A methodology for feature interaction detection in the AIN 0.1 framework. IEEE Transactions on Software Engineering, pages 797-817, October 1998.

Lin-Griffeth-1993

Yow-Jian Lin and Nancy D. Griffeth. Managing feature interactions in telecommunications systems. IEEE Communications Magazine, pages 16-17, August 1993.

Lin-Jazayeri-1998

Yow-Jian Lin and Mehdi Jazayeri. Guest editorial: Managing feature interactions in telecommunications systems. IEEE Transactions on Software Engineering, pages 777-778, October 1998.

Logrippo-2000

Luigi M. S. Logrippo. Immaturity and potential of formal methods: A personal view. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 9-13, Amsterdam, Netherlands, May 2000. IOS Press.

Lucidi-Tosti-Trigila-1996

Fernando Lucidi, A. Tosti, and Sebastiano Trigila. Object-oriented modelling of advanced IN services with SDL-92. In Zmago Brezocnik and Tatyana Kapus, editors, Proc. COST 247 International Workshop on Applied Formal Methods, Slovenia, June 1996. University of Maribor.

Luderer-1984

G. W. R. Luderer. Architecture of the AT & T no 1 packet switching system. Proc. 7th. International Conference on Computer Communication, pages 485-490, October 1984.

Lupu-Sloman-1997

E. Lupu and Morris Sloman. A policy based role model. In Z. Milosevic, editor, Proc. 1st. Int. Enterprise Distributed Object Computing Workshop, pages 36-47. Institution of Electrical and Electronic Engineers Press, New York, USA, 1997.

Magedanz-1997

Thomas Magedanz. From IT toward T INA. In Sathya Rao and Mladen Kos, editors, Proc. 4th. International Conference on Telecommunications, pages 125-. University of Zagreb, Croatia, June 1997. ISBN 953-184-005-9.

Magill-1992a

Evan H. Magill. Intelligent networks: Computer-aided analysis of SLP specifications. In Eighth International Conference on Software Engineering for Telecommunications Systems and Services, Florence, Italy, April 1992.

Magill-1992b

Evan H. Magill. Intelligent networks: Computer-aided analysis of SLP specifications. In Formal Methods for Computer-Assisted Prototyping, London, UK, January 1992. Institution of Electrical Engineers. Digest number 1992/008, Paper 7.

Makarevitch-1995

Boris Makarevitch. Resolving service interactions by service components. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 213-221. IOS Press, Amsterdam, Netherlands, 1995.

Marples-Magill-1998

David Marples and Evan H. Magill. The use of rollback to prevent incorrect operation of features in Intelligent Network based systems. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 115-134. IOS Press, Amsterdam, Netherlands, September 1998.

Marples-Magill-Smith-1995

David J. Marples, Evan H. Magill, and D. G. Smith. An infrastructure for feature interaction resolution in a multiple service environment - The application of transaction processing techniques to the feature interaction problem. In Proc. Telecommunications Information Network Architecture VI, Melbourne, Australia, February 1995.

Marples-Tsang-Magill-Smith-1995b

David J. Marples, Simon Tsang, Evan H. Magill, and D. G. Smith. A platform for modelling feature interaction detection and resolution techniques. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 185-189. IOS Press, Amsterdam, Netherlands, 1995.

Marples-Tsang-Magill-Smith-1995a

David J. Marples, Simon Tsang, Evan H. Magill, and D. Geoffrey Smith. A platform for modelling feature interaction detection and resolution techniques. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 185-199. IOS Press, Amsterdam, Netherlands, 1995.

Marriott-MansouriSamani-Sloman-1994

D. Marriott, M. Mansouri-Samani, and Morris Sloman. Specification of management policies. In Proc. 5th. IFIP/IEEE Int. Workshop on Distributed Systems: Operations and Management, 1994.

Mehaoua-Boutaba-2000

Ahmed Mehaoua and Raouf Boutaba. Transmission de flux vidéo MPEG sur le RNIS-LB: Problématiques et solutions. Networks and Distributed Systems (Réseaux et Systèmes Répartis), 12(2):211-258, October 2000.

Mermet-Mery-1996

Bruno Mermet and Dominique Mery. Feature interaction detection in B. Université Henri Poincaré 1, Nancy, France, December 1996.

Microsoft-2000

Microsoft. T API (Telephony Application Programming Interface). http: //www.microsoft.com/communications/tapilearn30.htm, April 2000.

Mierop-Tax-Janmaat-1992

John Mierop, Stefan Tax, and Ronald Janmaat. Service interaction in an object oriented environment. In Hugo Velthuijsen, editor, FITSS Workshop, pages 133-152, December 1992.

Mierop-Tax-Janmaat-1993

John Mierop, Stefan Tax, and Ronald Janmaat. Service interaction in an object-oriented environment. IEEE Communications Magazine, pages 46-51, August 1993.

Mulder-Janmaat-1992

Harm Mulder and Ronald Janmaat. Service/feature interaction resolution framework (guidelines). In TINA III, Narita, Japan, pages G1.1.1-G1.1.7, 2260 AK, Leidschendam, The Netherlands, January 1992. PTT Research, Dr. Neher Laboratories.

Muller-Magill-Smith-1992

C. Muller, Evan H. Magill, and D. G. Smith. The application of constraint satisfaction to feature interactions. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 164-165, Florida, USA, December 1992.

Mullery-1997

Alvin Mullery. ACTS domain 5: Intelligence in Services and Networks - IS and N. In Sathya Rao and Mladen Kos, editors, Proc. 4th. International Conference on Telecommunications, pages 21-26. University of Zagreb, Croatia, June 1997. ISBN 953-184-005-9.

Nakamura-1992

M. Nakamura. An approach to detecting and eliminating feature interactions based on the negotiation model. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 162-163, Florida, USA, 1992.

Nakamura-Kakuda-Kikuno-1998

Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno. Feature interaction detection using permutation symmetry. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 187-201. IOS Press, Amsterdam, Netherlands, September 1998.

Nakamura-Kikuno-2000

Masahide Nakamura and Tohru Kikuno. Feature interaction filtering with use case maps at requirements stage. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 163-178, Amsterdam, Netherlands, May 2000. IOS Press.

Ohta-Takami-Takura-1993

Tadashi Ohta, Kazumasa Takami, and Akira Takura. Acquisition of service specifications in two stages and detection/resolution of feature interactions. TINA IV, pages 173-187, September 1993.

ParlayConsortium-2000

Parlay Consortium. Parlay. http://parlay.msftlabs.com/, April 2000.

Peng-Khendek-Grogono-Butler-1998

Y. Peng, Ferhat Khendek, P. Grogono, and G. Butler. Feature interactions detection tehcnique based on feature assumptions. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 291-298. IOS Press, Amsterdam, Netherlands, September 1998.

Plath-Ryan-2000

M. Plath and M. D. Ryan. Entry for FIW'00 Feature Interaction Contest. Technical report, School of Computer Science, University of Birmingham, 2000.

Plath-Ryan-2000a

M. C. Plath and M. D. Ryan. Feature integration using a feature construct. Science of Computer Programming, 2000.

Plath-Ryan-1998

Malte Plath and Mark Ryan. Plug-and-play features. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 150-164. IOS Press, Amsterdam, Netherlands, September 1998.

Plath-Ryan-2000b

Malte Plath and Mark D. Ryan. The feature construct for SMV: Semantics. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 129-144, Amsterdam, Netherlands, May 2000. IOS Press.

Plath-Ryan-2001

Malte Plath and Mark D. Ryan. Defining features for CSP: Reflections on the feature interaction contest. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 163-175, Berlin, Germany, January 2001. Springer-Verlag.

Prehofer-1997

Christian Prehofer. An object-oriented approach to feature interaction. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 313-325. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Ranade-Petrides-1992

A. Ranade and J. C. Petrides. A pragmatic view of feature interaction management. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 13-21, Florida, USA, December 1992.

Reiff-2000

Stephan Reiff. Identifying choices for an online feature manager. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 113-128, Amsterdam, Netherlands, May 2000. IOS Press.

Rochefort-Hoover-1997

Stephen M. Rochefort and H. James Hoover. An exercise in using constructive proof systems to address feature interactions in telephony. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 329-341. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

ROSA-1989a

ROSA. RACE Open Services Architecture: Object definition workpackage - Object-oriented techniques for ROSA. Technical Report 68/BTR/425/DS/B/001/b1, RACE Open Services Architecture, R1088, July 1989.

ROSA-1989b

ROSA. RACE Open Services Architecture: Architectural workpackage, WP3 - Outline of ROSA architecture. Technical Report 68/BTR/425/DS/B/003/b1, RACE Open Services Architecture, R1088, November 1989.

ROSA-1989c

ROSA. RACE Open Services Architecture: Tool support workpackage, WP4 - Outline requirements for tool support. Technical Report 68/BTR/425/DS/B/004/b1, RACE Open Services Architecture, R1088, November 1989.

Samborski-2001

D. Samborski. Stack service model. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 177-196, Berlin, Germany, January 2001. Springer-Verlag.

Schessel-1992

L. Schessel. Administrable feature interaction concept. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 158-158, December 1992.

ScoreProject-1992

S CORE Project. Industry requirements on the service creation process. Technical Report R2017/D404, CER IBM France, BP 43, F-06610 La Gaude, France, November 1992.

Siddiqui-Atlee-2000

Saheem Siddiqui and Joanne M. Atlee. A hybrid model for specifying features and detecting interactions. Computer Networks, 32(4):471-485, April 2000.

Sinnott-1998

Richard O. Sinnott. Frameworks: The future of formal software development. Computer Standards and Interfaces, August 1998.

Sinnott-1999b

Richard O. Sinnott. Specifying aspects of multimedia in L OTOS. In B. Verma, editor, Proc. Conference on Computational Intelligence and Multimedia Applications, New Delhi, India, September 1999.

Sinnott-1999a

Richard O. Sinnott. Specifying multimedia configurations in Z. In B. Verma, editor, Proc. Conference on Computational Intelligence and Multimedia Applications, New Delhi, India, September 1999.

Sinnott-Kolberg-1998

Richard O. Sinnott and Mario Kolberg. Business-oriented development of telecommunication services. In Haim Kilov, B. Rumpe, and I. Simmonds, editors, Proc. 7th. OOPSLA Workshop on Behavioural Semantics and OO Business and System Specifications, Vancouver, Canada, August 1998.

Sinnott-Kolberg-1999b

Richard O. Sinnott and Mario Kolberg. Creating telecommunication services based on object-oriented frameworks and SDL. In M. Raynal, T. Kikuno, and R. Soley, editors, Proc. 2nd. IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, St. Malo, France, May 1999.

Sinnott-Kolberg-1999a

Richard O. Sinnott and Mario Kolberg. Engineering telecommunication services with SDL. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 1999.

Sinnott-Kolberg-Lodge-Bjorkander-Olsen-Demany-Cardoso-1999

Richard O. Sinnott, Mario Kolberg, F. Lodge, M. Björkander, A. Olsen, D. Demany, and E. Cardoso. The pros and cons of using SDL for creation of distributed services. In H. Zuidweg, M. Campolargo, J. Delgado, and Al Mullery, editors, Proc. 6th. International Conference on Intelligence and Services in Networks, Barcelona, Spain, April 1999.

Stepien-Logrippo-1995a

Bernard Stepien and Luigi Logrippo. Representing and verifying intentions in telephony features using abstract data types. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 141-155. IOS Press, Amsterdam, Netherlands, 1995.

Stepien-Logrippo-1995b

Bernard Stépien and Luigi M. S. Logrippo. Feature interaction detection using backward reasoning with L OTOS. In Son Vuong, editor, Proc. Protocol Specification, Testing and Verification XIV, pages 71-86. North-Holland, Amsterdam, Netherlands, October 1995.

SunMicrosystems-2000

Sun Microsystems. J AIN (Java for Advanced/Java API for Intelligent Networks). http://java.sun.com/products/jain/, April 2000.

Svensson-Andersson-1998

Magnus Svensson and Michael Andersson. Analysis of feature interactions in mobile terminals. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 318-324. IOS Press, Amsterdam, Netherlands, September 1998.

Thistle-Malhame-Hoang-1997

J. G. Thistle, R. P. Malhame, and H.-H. Hoang. Feature interaction modelling, detection and resolution: A supervisory control approach. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 93-107. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Thomas-1997

Muffy H. Thomas. Modelling user views of telecommunications services for feature interaction detection and resolution. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 168-182. IOS Press, Amsterdam, Netherlands, 1997.

Tsang-Magill-1994

Simon Tsang and Evan H. Magill. Detecting feature interactions in the intelligent network. In L. G. Bouma and Hugo Velthuijsen, editors, Proc. 2nd. International Workshop on Feature Interactions in Telecommunications Systems and Software Systems. IOS Press, Amsterdam, Netherlands, 1994.

Tsang-Magill-1997

Simon Tsang and Evan H. Magill. Behaviour based run-time feature interaction detection and resolution approaches for intelligent networks. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems. IOS Press, Amsterdam, Netherlands, 1997.

Tsang-Magill-1998a

Simon Tsang and Evan H. Magill. The network operator's perspective: Detecting and resolving feature interaction problems. Computer Networks, 30(15), September 1998.

Tsang-Magill-1998b

Simon Tsang and Evan H. Magill. Learning to detect and avoid run-time feature interactions in the intelligent network. IEEE Transactions on Software Engineering, pages 818-830, October 1998.

Tsang-Magill-Kelly-1996

Simon Tsang, Evan H. Magill, and B. Kelly. An investigation of the feature interaction problem in networked multimedia services. In Proc. 3rd. IEEE Communication Networks Symposium, pages 58-61. Institution of Electrical and Electronic Engineers Press, New York, USA, July 1996.

Tsang-Magill-Kelly-1997

Simon Tsang, Evan H. Magill, and B. Kelly. The feature interaction problem in networked multimedia services - present and future. BT Technology Journal, 15(1):235-246, January 1997.

Turner-1997c

Kenneth J. Turner. An architectural foundation for relating features. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 226-241. IOS Press, Amsterdam, Netherlands, June 1997.

Turner-1997d

Kenneth J. Turner. Relating services and features in the intelligent network. In Marijan Kunstic, editor, Proc. 4th. International Conference on Telecommunications, pages 235-243. University of Zagreb, Croatia, June 1997. ISBN 953-184-003-2.

Turner-1998d

Kenneth J. Turner. An architectural description of intelligent network features and their interactions. Computer Networks, 30(15):1389-1419, September 1998.

Turner-1998e

Kenneth J. Turner. Validating architectural feature descriptions using L OTOS. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 247-261, Amsterdam, Netherlands, September 1998. IOS Press.

Turner-2000c

Kenneth J. Turner. Formalising the C HISEL feature notation. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 241-256, Amsterdam, Netherlands, May 2000. IOS Press.

Turner-2000e

Kenneth J. Turner. Realising architectural feature descriptions using L OTOS. Networks and Distributed Systems (Réseaux et Systèmes Répartis), 12(2):145-187, October 2000.

Turner-2000d

Kenneth J. Turner. Structuring telecommunications features. In Stephen Gilmore and Mark D. Ryan, editors, Proc. Workshop on Language Constructs for describing Features, pages 3-6, University of Edinburgh, UK, May 2000. FireWorks Esprit Working Group 23531.

Turner-2001a

Kenneth J. Turner. Structuring telecommunications features. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 1-9, Berlin, Germany, January 2001. Springer-Verlag.

Utas-1992

G. R. Utas. DMS feature processing environment. In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st. International Workshop on Feature Interactions in Telecommunications Software Systems, pages 155-155, Florida, USA, December 1992.

Utas-1997

Greg Utas. Feature interaction: A software perspective. In Petre Dini, Raouf Boutaba, and Luigi M. S. Logrippo, editors, Proc. 4th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 23-28. IOS Press, Amsterdam, Netherlands, June 1997. ISBN 90-5199-3471.

Utas-1998

Greg Utas. A pattern language of feature interaction. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 98-114. IOS Press, Amsterdam, Netherlands, September 1998.

Utas-2000

Greg Utas. Feature interaction: An industrial perspective. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 3-8, Amsterdam, Netherlands, May 2000. IOS Press.

vanderLinden-1994

Rob van der Linden. Using an architecture to help beat feature interaction. In L. G. Bouma and Hugo Velthuijsen, editors, Proc. 2nd. International Workshop on Feature Interactions in Telecommunications Systems and Software Systems, pages 24-35. IOS Press, Amsterdam, Netherlands, 1994.

Velthuijsen-1993

Hugo Velthuijsen. Distributed artificial intelligence for runtime feature-interaction resolution. Computer, pages 48-55, August 1993.

Velthuijsen-1995

Hugo Velthuijsen. Issues of non-monotonicity in feature-interaction detection. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 31-42. IOS Press, Amsterdam, Netherlands, 1995.

Vissers-Logrippo-1986

Chris A. Vissers and Luigi M. S. Logrippo. The importance of the concept of service in the design of data communications protocols. In Michel Diaz, editor, Proc. Protocol Specification, Testing and Verification V, pages 3-17. North-Holland, Amsterdam, Netherlands, 1986.

Wakahara-Fujioka-Kikuta-Yagi-1993

Yasushi Wakahara, Masanobu Fujioka, Hiroyuki Kikuta, and Hikaru Yagi. A method for detecting service interactions. IEEE Communications Magazine, pages 32-37, August 1993.

Wakahara-Fujioka-Kikuta-Yagi-Sakai-1992

Yasushi Wakahara, Masanobu Fujioka, Hiroyuki Kikuta, Hikaru Yagi, and Seiichiro Sakai. A method for detecting interactions among services and service features. In Hugo Velthuijsen, editor, FITSS Workshop, pages 82-94, December 1992.

Yoneda-Ohta-1998

Tae Yoneda and Tadashi Ohta. A formal approahc for definition and detection of feature interactions. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 202-216. IOS Press, Amsterdam, Netherlands, September 1998.

Yoneda-Ohta-2001

Tae Yoneda and Tadashi Ohta. The declarative language STR (State Transition Rule). In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 197-211, Berlin, Germany, January 2001. Springer-Verlag.

Zave-1993

Pamela Zave. Feature interactions and formal specifications in telecommunications. Computer, pages 20-29, August 1993.

Zave-1998

Pamela Zave. Architectural solutions to feature-interaction problems in telecommunications. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 10-22. IOS Press, Amsterdam, Netherlands, September 1998.

Zave-2001

Pamela Zave. Feature-oriented description, formal methods and DFC. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 11-26, Berlin, Germany, January 2001. Springer-Verlag.

Zave-Jackson-2000

Pamela Zave and Michael Jackson. New feature interactions in mobile and multimedia telecommunications services. In Muffy H. Calder and Evan H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 51-66, Amsterdam, Netherlands, May 2000. IOS Press.

Zibman-Woolf-OReilly-1995

Israel Zibman, Carl Woolf, and Peter O'Reilly. Minimizing feature interactions: An architecture and processing model approach. In Kong Eng Cheng and Tadashi Ohta, editors, Proc. 3rd. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, pages 65-83. IOS Press, Amsterdam, Netherlands, 1995.

Zuanon-2001

Nicolas Zuanon. Modular feature integration and validation in A synchronous context. In Stephen T. Gilmore and Mark D. Ryan, editors, Language Constructs for Describing Features, pages 213-231, Berlin, Germany, January 2001. Springer-Verlag.

ZyganMaus-1998

Renate Zygan-Maus. Feature interaction management for public switched networks. In Kristofer Kimbler and Wiet Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 32-44. IOS Press, Amsterdam, Netherlands, September 1998.

Up one level to FORCES Project Public Documents