[{"text":"\n\nT.F. Bowen F.S. Dworack C.H. Chow N. Griffeth G.E. Herman and Y.J. Lin, \"The Feature Interaction Problem in Telecommunications Systems,\" Proc. Seventh Int'l Conf. Software Eng. for Telecommunications Switching Systems, London, pp. 59-62, July 1989.\n\n"},{"text":"\n\n\"Vocabulary of Terms for ISDNs,\" ITU-T Recommendation I.112, Geneva, 1989.\n\n"},{"text":"\n\n\"Principles of Telecommunication Services Supported by an ISDN and the Means to Describe Them,\" ITU-T Recommendation I.210, Geneva, 1989.\n\n"},{"text":"\n\n\"Advanced Intelligent Network (AIN) Release 1, Switching Systems Generic Requirements,\" Bellcore Technical Advisory TA-NWT-001123, May 1991.\n\n"},{"text":"\n\n\"Principles of Intelligent Network Architecture,\" ITU-T Recommendation Q.1201, Geneva, 1992.\n\n"},{"text":"\n\nE.J. Cameron and H. Velthuijsen, \"Feature Interactions in Telecommunications Systems,\" IEEE Comm., vol. 31, no. 8, pp. 18-23, Aug. 1993.\n\n"},{"text":"\n\nJ. Mierop S. Tax and R. Janmaat, \"Service Interaction in an Object-Oriented Environment,\" IEEE Comm., vol. 31, no. 8, pp. 46-51, Aug. 1993.\n\n"},{"text":"\n\nR.L. Bennett and G.E. Policello II, \"Switching Systems in the 21st Century,\" IEEE Comm., vol. 31, no. 3, pp. 24-28, Mar. 1993.\n\n"},{"text":"\n\n\nIgor Faynberg , Nitin J. Shah , Lawrence R. Gabuzda , Marc P. Kaplan, The Intelligent Network Standards: Their Application to Services, McGraw-Hill Professional, 1996 \n\n","citation":"548212"},{"text":"\n\nT. Magedanz and R. Popescu-Zeletin, Intelligent Networks: Basic Technology, Standards and Evolution, London: Int'l Thomson Computer Press, 1996.\n\n"},{"text":"\n\n\nPamela Zave, Secrets of Call Forwarding: A Specification Case Study, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII, p.169-184, October 01, 1995 \n\n","citation":"681528"},{"text":"\n\nE.J. Cameron N. Griffeth Y.J. Lin M.E. Nilson W.K. Schnure and H. Velthuijsen, \"A Feature-Interaction Benchmark for IN and Beyond,\" IEEE Comm., vol. 31, no. 3, pp. 64-69, Mar. 1993.\n\n"},{"text":"\n\nE.J. Cameron N.D. Griffeth Y.J. Lin M.E. Nilson W.K. Schnure and H. Velthuijsen, \"A Feature Interaction Benchmark for IN and Beyond,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 1-23. Amsterdam: IOS Press, May 1994.\n\n"},{"text":"\n\nK. Kimbler and H. Velthuijsen, \"Feature Interaction Benchmark,\" Proc. Third Feature Interaction Workshop (FIW '95), Oct. 1995.\n\n"},{"text":"\n\n\nNancy D. Griffeth , Yow-Jian Lin, Extending Telecommunications Systems: The Feature-Interaction Problem, Computer, v.26 n.8, p.14-18, August 1993   [doi>10.1109/2.223538]\n\n","citation":"619936"},{"text":"\n\n\nPamela Zave, Feature Interactions and Formal Specifications in Telecommunications, Computer, v.26 n.8, p.20-29, August 1993   [doi>10.1109/2.223539]\n\n","citation":"619937"},{"text":"\n\nN. Belarbi and D. Gaiti, \"The Feature Interaction Problem in the IN: In Search of a Global Solution,\" Proc. IFIP Int'l Working Conf. on Intelligent Networks, pp. 51-67, Copenagen, Aug. 1995.\n\n"},{"text":"\n\n\nD. Richard Kuhn, Sources of Failure in the Public Switched Telephone Network, Computer, v.30 n.4, p.31-36, April 1997   [doi>10.1109/2.585151]\n\n","citation":"620679"},{"text":"\n\n\nAlfred V. Aho , Nancy D. Griffeth, Feature interactions in the global information infrastructure, Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, p.2-4, October 12-15, 1995, Washington, D.C., USA   [doi>10.1145/222124.222133]\n\n","citation":"222133","doi":"http://doi.acm.org/10.1145/222124.222133"},{"text":"\n\nFeature Interactions in Telecommunications Systems, III, K.E. Cheng and T. Ohta, eds., Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nP. Combes M. Michel and B. Renard, \"Formal Verification of Telecommunication Service Interactions Using SDL Methods and Tools,\" Proc. Sixth SDL Forum 1993 (SDL '93), O. Faergemand and A. Sarma, eds. pp. 441-452. Elsevier Science, 1993.\n\n"},{"text":"\n\nJ.C. Gregoire and M.J. Ferguson, \"Neglected Topics of Feature Interactions: Mechanisms, Architectures, Requirements,\" Feature Interactions in Telecommunication Networks IV, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 3-12. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nFeature Interactions in Telecommunications Systems, L. Bouma and H. Velthuijsen, eds. Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\n\"Intelligent Network (IN); Service and Service Feature Interaction Service Creation, Service Management and Service Execution Aspects,\" ETSI Technical Report ETR 137, ETSI TC-NA, Reference DTR/NA-061101, July 1995.\n\n"},{"text":"\n\n\nKristofer Kimbler , Carla Capellmann , Hugo Velthuijsen, Comprehensive approach to service interaction handling, Computer Networks and ISDN Systems, v.30 n.15, p.1363-1387, Sept. 16, 1998   [doi>10.1016/S0169-7552(98)00149-4]\n\n","citation":"298916"},{"text":"\n\n\nM. Arango , L. Bahler , P. Bates , M. Cochinwala , D. Cohrs , R. Fish , G. Gopal , N. Griffeth , G. E. Herman , T. Hickey , K. C. Lee , W. E. Leland , C. Lowery , V. Mak , J. Patterson , L. Ruston , M. Segal , R. C. Sekar , M. P. Vecchi , A. Weinrib , S.-Y. Wuu, The Touring Machine system, Communications of the ACM, v.36 n.1, p.69-77, Jan. 1993   [doi>10.1145/151233.151239]\n\n","citation":"151239","doi":"http://doi.acm.org/10.1145/151233.151239"},{"text":"\n\nE.H. Magill S. Tsang and B. Kelly, The Feature Interaction Problem in Networked Multimedia Services: Past, Present and Future, Univ. of Strathclyde, Glasgow, Oct. 1996.\n\n"},{"text":"\n\n\nS. Tsang , E. H. Magill , B. Kelly, The feature interaction problem in networked multimedia services — present and future, BT Technology Journal, v.15 n.1, p.235-246, January 1997   [doi>10.1023/A:1018616220121]\n\n","citation":"592118"},{"text":"\n\nH. Velthuijsen, \"Issues of Non-Monotonicity in Feature-Interaction Detection,\" Feature Interactions in Telecommunications Systems, III, K.E. Cheng and T. Ohta, eds., pp. 31-42. Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nJ. Bredereke, \"Detection of Feature Interactions in Intelligent Networks by Verification,\" Software-Concepts and Tools, vol. 17, no. 3, pp. 121-139, 1996.\n\n"},{"text":"\n\nJ. Nyström and B. Jonsson, \"A Formalization of Service Independent Building Blocks,\" Proc. Int'l Workshop Advanced Intelligent Networks (AIN '96), T. Margaria, ed., pp. 1-14, Passau, Universität Passau, Fakultät für Mathematik und Informatik, Mar. 1996.\n\n"},{"text":"\n\n\nAlan Feteke, Formal Models of Communication Services: A Case Study, Computer, v.26 n.8, p.37-47, August 1993   [doi>10.1109/2.223535]\n\n","citation":"619939"},{"text":"\n\n\nMohammed Faci , Luigi Logrippo , Bernard Stepien, Formal specification of telephone systems in LOTOS: The constraint-oriented style approach, Computer Networks and ISDN Systems, v.21 n.1, p.53-67, March 1991   [doi>10.1016/0169-7552(91)90073-L]\n\n","citation":"115911"},{"text":"\n\n\nMícheál Mac an Airchinnigh , Dag Belsnes , Gerard O'Regan, Formal Methods and Service Specification, Proceedings of the Second International Conference on Intelligence in Broadband Services and Networks: Towards a Pan-European Telecommunication Service Infrastructure, p.563-572, September 07-09, 1994 \n\n","citation":"743718"},{"text":"\n\n\nJean-Bernard Stefani, Open distributed processing: an architectural basis for information networks, Computer Communications, v.18 n.11, p.849-862, November, 1995   [doi>10.1016/0140-3664(96)83804-7]\n\n","citation":"2246903"},{"text":"\n\nJ. Bredereke, \"Automata-Theoretic vs. Property-Oriented Approaches for the Detection of Feature Interactions in IN,\" Proc. Int'l Workshop Advanced Intelligent Networks (AIN '96), T. Margaria, ed., pp. 56-70, Passau, Universität Passau, Fakultät für Mathematik und Informatik, Mar. 1996.\n\n"},{"text":"\n\n\nTommaso Bolognesi , Ed Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, v.14 n.1, p.25-59, March, 1987   [doi>10.1016/0169-7552(87)90085-7]\n\n","citation":"44214"},{"text":"\n\n\nBernard Stepien , Luigi Logrippo, Feature interaction detection using backward reasoning with LOTOS, Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV, p.71-86, June 1995, Vancouver, Canada \n\n","citation":"216523"},{"text":"\n\nK.J. Turner, \"An Architectural Foundation for Relating Features,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 226-241, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\n\nJeon Hun Choi , Hyeon Soo Kim , Woo Jin Lee , Yong Rae Kuon, A Petri-nets based approach for detecting feature interactions in telecommunications services, 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, p.596-601, December 1996, Seoul, South Korea \n\n","citation":"276195"},{"text":"\n\nY. Inoue K. Takami and T. Ohta, \"Method for Supporting Detection and Elimination of Feature Interaction in a Telecommunication System,\" Proc. Int'l Workshop Feature Interactions in Telecommunications Software Systems, pp. 61-81, Dec. 1992.\n\n"},{"text":"\n\nY. Inoue K. Takami and T. Ohta, \"Automatic Detection of Service Interactions in Telecommunications Service Specifications,\" Proc. IEEE Int'l Conf. on Comm. (ICC), pp. 1,835-1,840, New Orleans, May 1994.\n\n"},{"text":"\n\nY. Harada Y. Hirakawa and T. Takenaka, \"A Design Support Method for Telecommunication Service Interactions,\" Proc. GLOBECOM 1991, pp. 1,661-1,666, Phoenix, Ariz., Dec. 1991.\n\n"},{"text":"\n\nY. Harada Y. Hirakawa T. Takenaka and N. Terashima, \"A Conflict Detection Support Method for Telecommunication Service Descriptions,\" IEICE Trans. Comm., vol. E75-B, no. 10, pp. 986-997, Oct. 1992.\n\n"},{"text":"\n\nT. Ohta and Y. Harada, \"Classification, Detection and Resolution of Service Interactions in Telecommunication Services,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 60-72, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nY. Kawarasaki and T. Ohta, \"A New Proposal for Feature Interaction Detection and Elimination,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 127-139, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nM. Nakamura Y. Kakuda and T. Kikuno, \"Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 138-152. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nL.R. Brothers E. Cameron Y.J. Lin M.E. Nilson and E. Silverstein, \"Feature Interaction Detection,\" Proc. IEEE ICC'93, pp. 1,553-1,557, Geneva, May 1993.\n\n"},{"text":"\n\n\nE. Jane Cameron , Yow-Jian Lin, A real-time transition model for analyzing behavioral compatibility of telecommunications services, Proceedings of the conference on Software for citical systems, p.101-111, December 04-06, 1991, New Orleans, Louisiana, USA   [doi>10.1145/125083.123059]\n\n","citation":"123059","doi":"http://doi.acm.org/10.1145/125083.123059"},{"text":"\n\nJ. Bredereke, \"Formal Criteria for Feature Interactions in Telecommunications Systems,\" Proc. IFIP Int'l Working Conf. Intelligent Networks, pp. 68-83, Copenagen, Denmark, Aug. 1995.\n\n"},{"text":"\n\n\nJan Bredereke , Reinhard Gotzhein, Specification, detection and resolution of IN feature interactions with Estelle, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII, p.376-378, January 1995 \n\n","citation":"681367"},{"text":"\n\nC. Klein C. Prehofer and B. Rumpe, \"Feature Specification and Refinement with State Transition Diagrams,\" Feature Interactions in Telecommunication Networks IV, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 284-297. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nA. Khoumsi, \"Detection and Resolution of Interactions Between Services of Telephone Networks,\" Feature Interactions in Telecommunication Network, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 78-92. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nJ.G. Thistle R.P. Malhame and H.H. Hoang, \"Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 93-107. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nY.L. Chen S. Lafortune and F. Lin, \"Resolving Feature Interactions Using Modular Supervisory Control with Priorities,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 108-122. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nR. Dssouli S. Some J.W. Guillery and N. Rico, \"Detection of Feature Interactions with REST,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 271-283. Amsterdam, IOS Press June 1997.\n\n"},{"text":"\n\nY. Iraqi and M. Erradi, \"An Experiment for the Processing of Feature Interactions within an Object-Oriented Environment,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 298-312. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nK.H. Braithwaite and J.M. Atlee, \"Towards Automated Detection of Feature Interactions,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 36-59. Amsterdam, May IOS Press 1994.\n\n"},{"text":"\n\n\nKeith P. Pomakis , Joanne M. Atlee, Reachability analysis of feature interactions: a progress report, Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, p.216-223, January 08-10, 1996, San Diego, California, USA   [doi>10.1145/229000.226320]\n\n","citation":"226320","doi":"http://doi.acm.org/10.1145/229000.226320"},{"text":"\n\nP.K. Au and J.M. Atlee, \"Evaluation of a State-Based Model of Feature Interactions,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 153-167. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nF.S. Dworack, \"Approaches to Detecting and Resolving Feature Interactions,\" Proc. GLOBECOM 1991, Phoenix, Ariz., pp. 1,371-1,377, Dec. 1991,\n\n"},{"text":"\n\nM. Frappier A. Mili and J. Desharnais, \"Detecting Feature Interactions on Relational Specifications,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 123-137. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nA. Lee, \"Formal Specification—A Key to Service Interactions Analysis,\" Proc. Eight Conf. Software Eng. for Telecommunication Systems and Services (SETSS 1992), pp. 62-66, Mar. 1992.\n\n"},{"text":"\n\nA.Y.H. Lee, Formal Specification and Analysis of Intelligent Network Services and their Interaction, PhD thesis, Univ. of Queensland, Australia, Dec. 1992.\n\n"},{"text":"\n\nC. Capellmann P. Combes J. Pettersson B. Renard and J.L. Ruiz, \"Consistent Interaction Detection—A Comprehensive Approach Integrated with Service Creation,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 183-197. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nJ. Bergstra and W. Bouma, \"Models for Feature Descriptions and Interactions,\" Feature Interactions in Telecommunication Network, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 31-45, Amsterdam. IOS Press, June 1997.\n\n"},{"text":"\n\nJ. Blom R. Bol and L. Kempe, \"Automatic Detection of Feature Interactions in Temporal Logic,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 1-19. Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nJ. Blom B. Jonsson and L. Kempe, \"Using Temporal Logic for Modular Specification of Telephone Services,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 197-216. Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nJ. Blom, \"Formalization of Requirements with Emphasis on Feature Interaction Detection,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 61-77. Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nS.M. Rochefort and H.J. Hoover, \"An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 329-341, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nD.D. Dankel II M. Schmalz W. Walker K. Nielsen L. Muzzi and D. Rhodes, \"An Architecture for Defining Features and Exploring Interactions,\" Feature Interactions in Telecommunications Systems, L. G. Bouma and H. Velthuijsen, eds., pp. 258-271, Amsterdam. IOS Press, May 1994.\n\n"},{"text":"\n\nT. Charnois, \"A Natural Language Processing Approach for Avoidance of Feature Interactions,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 347-363, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nK. Kimbler and D. Sobirk, \"Use Case Driven Analysis of Feature Interactions,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 167-177, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nK. Kimbler E. Kuisch and J. Muller, \"Feature Interaction Among Pan-European Services,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 73-85, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nM. Thomas, \"Modelling and Analysing User Views of Telecommunications Services,\" Feature Interactions in Telecommunication Networks. vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 168-182, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\n\nCarla Capellmann , Ralph Demant , Farhad Fatahi-Vanani , Rafael Galvez-Estrada , Ulrich Nitsche , Peter Ochsenschläger, Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks, Proceedings of the 8th International Conference on Computer Aided Verification, p.466-469, August 03, 1996 \n\n","citation":"735855"},{"text":"\n\nC. Capellmann R. Demant R. Galvez-Estrada U. Nitsche and P. Ochsenschläger, \"Case Study: Service Interaction Detection by Formal Verification Under Behavior Abstraction,\" Proc. Int'l Workshop on Advanced Intelligent Networks (AIN'96), T. Margaria, ed., pp. 71-90, Passau, Universität Passau, Fakultät für Mathematik und Informatik, Mar. 1996.\n\n"},{"text":"\n\nI. Aggoun and P. Combes, \"Observers in the SCE and the SEE to Detect and Resolve Service Interactions,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 198-212, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\n\"Specification and Description Language (SDL),\" ITU-T Recommendation Z.100, Geneva, 1993.\n\n"},{"text":"\n\nB. Renard P. Combes and F. Olsen, \"An SDL/MSC Environment for Service Interaction Analysis,\" Proc. Fourth Int'l Conf. Intelligence in Networks / 4e Colloque Int'l sur l'Intelligence dans les Reseaux (ICIN'96), pp. 200-205, Bordeaux, Nov. 1996.\n\n"},{"text":"\n\n\nWiet Bouma , Willem J. M. Levelt , Alfo Melisse , Kees Middelburg , Louis Verhaard, Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation, Proceedings of the Second International Conference on Intelligence in Broadband Services and Networks: Towards a Pan-European Telecommunication Service Infrastructure, p.393-405, September 07-09, 1994 \n\n","citation":"743722"},{"text":"\n\nP. Combes and S. Pickin, \"Formalization of a User View of Network and Services for Feature Interaction Detection,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 120-135, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nC. Fischer S. Kleuker and E.R. Olderog, \"Beweisbar korrekte Telekommunikationssysteme,\" Informationstechnik und Technische Informatik (it+ti), vol. 39, no. 3, pp. 22-28, May/June 1997.\n\n"},{"text":"\n\nS. Kleuker, \"The Extension of Existing Telecommunication Software with New Services Using Formal Methods,\" Proc. Int'l Workshop on Advanced Intelligent Networks (AIN '96), T. Margaria, ed., pp. 91-106, Passau, Universität Passau, Fakultät für Mathematik und Informatik, Mar. 1996.\n\n"},{"text":"\n\n\nHenri P. Korver, Detecting feature interactions with Caesar/Aldebaran., CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1993 \n\n","citation":"869314"},{"text":"\n\n\nMohammed Faci, Detecting feature interactions in telecommunications systems designs, University of Ottawa, Ottawa, Ont., Canada, 1996 \n\n","citation":"238984"},{"text":"\n\nM. Faci and L. Logrippo, \"Specifying Features and Analysing Their Interactions in a LOTOS Environment,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 136-151, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nR. Boumezbeur and L. Logrippo, \"Specifying Telephone Systems in LOTOS,\" IEEE Comm. vol. 31, no. 8, pp. 38-45, Aug. 1993.\n\n"},{"text":"\n\nB. Stepien and L. Logrippo, \"Representing and Verifying Intentions in Telephony Features Using Abstract Data Types,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 141-155, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nF.J. Lin and Y.J. Lin, \"A Building Block Approach to Detecting and Resolving Feature Interactions,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 86-191, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\n\nGerard J. Holzmann, Design and validation of computer protocols, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990 \n\n","citation":"95422"},{"text":"\n\nA. Gammelgaard and J.E. Kristensen, \"Interaction Detection, A Logical Approach,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 178-196, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nM. Boström and M. Engstedt, \"Feature Interaction Detection and Resolution in the Delphi Framework,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 157-172, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\n\nOle Christian Dahl , Elie Najm, Specification & Detection of IN Service Interference Using LOTOS, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI, p.53-69, October 26-29, 1993 \n\n","citation":"681338"},{"text":"\n\nJ.P. Gibson, \"Feature Requirements Models: Understanding Interactions,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 46-60, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nB. Kelly M. Crowther J. King R. Masson and J. DeLapeyre, \"Service Validation and Testing,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 173-184, Amsterdam, IOS Press, Oct. 1995.\n \n"},{"text":"\n\nB. Kelly M. Crowther and J. King, \"Feature Interaction Detection Using SDL Models,\" Proc. IEEE GLOBECOM '94, pp. 1,857-1,861, Nov. 1994.\n\n"},{"text":"\n\nS. Tsang and E.H. Magill, \"Detecting Feature Interactions in the Intelligent Network,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 236-248, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nJ.C. Godskesen, \"A Formal Framework for Feature Interaction with Emphasis on Testing,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 21-30, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\n\nA. O. Oshisanwo , M. D. Chapman , M. Key , A. P. Mullery , J. Saint-Blancat, The RACE Open Services Architecture project, IBM Systems Journal, v.31 n.4, p.691-710, 1992   [doi>10.1147/sj.314.0691]\n\n","citation":"141100"},{"text":"\n\nE. Kuisch R. Janmaat H. Mulder and I. Keesmaat, \"A Practical Approach to Service Interactions,\" IEEE Comm., vol. 31, no. 8, pp. 24-31, Aug. 1993.\n\n"},{"text":"\n\nY. Wakahara M. Fujioka H. Kikuta H. Yagi and S.I. Sakai, \"A Method for Detecting Service Interactions,\" IEEE Comm., vol. 31, no. 8, pp. 32-37, Aug. 1993.\n\n"},{"text":"\n\n\"Definition of Supplementary Services,\" ITU-T Recommendation I.250, Geneva, 1989.\n\n"},{"text":"\n\nS. Homayoon and H. Singh, \"Methods of Addressing the Interactions of Intelligent Network Services with Embedded Switch Services,\" IEEE Comm., vol. 26, no. 12, pp. 42-70, Dec. 1988.\n\n"},{"text":"\n\nL. Schessel, \"Administrable Feature Interaction Concept,\" Proc. XIV Int'l Switching Symp. (ISS), pp. B6.3-B6.3, Yokohama, Oct. 1992.\n\n"},{"text":"\n\nJ. Bredereke and R. Gotzhein, A Case Study on Specification, Detection and Resolution of IN Feature Interactions with Estelle, Technical Report 245/94, FB Informatik, Universität Kaiserslautern, Kaiserslautern, May 1994.\n\n"},{"text":"\n\nK.E. Cheng, \"Towards a Formal Model for Incremental Service Specification and Interaction Management Support,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 152-166, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\n\"Distributed Functional Plane for Intelligent Network CS-1,\" ITU-T Recommendation Q.1214, Geneva, 1993.\n\n"},{"text":"\n\nM. Cain, \"Managing Run-Time Interactions Between Call-Processing Features,\" IEEE Comm., vol. 30, no. 2, pp. 44-50, Feb. 1992.\n\n"},{"text":"\n\nN. Fritsche, \"Runtime Resolution of Feature Interactions in Architectures with Separated Call and Feature Control,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 43-63, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nN. Fritsche, Vermittlungsarchitektur mit getrennter Ruf- und Leistungsmerkmalsteuerung, PhD thesis, Technische Universität München, 1996.\n\n"},{"text":"\n\nN. Ogino, \"Service Interaction Resolution by Service Node Installed out of the Network,\" IEICE Trans. Comm., vol. E80-B, no. 10, pp. 1,537-1,546, Oct. 1997.\n\n"},{"text":"\n\n\"Interface Recommendation for Intelligent Network CS-1,\" ITU-T Recommendation Q.1218, Geneva, 1995.\n\n"},{"text":"\n\nS. Tsang and E.H. Magill, \"Behavior Based Run-Time Feature Interaction Detection and Resolution Approaches for Intelligent Networks,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 254-270, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nB. Makarevitch, \"Resolving Service Interactions by Service Components,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 213-221, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\n\nBoris Makarevitch, An object-based model of the service control function, 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, p.183-188, December 1996, Seoul, South Korea \n\n","citation":"276119"},{"text":"\n\nD. Marples S. Tsang E.H. Magill and D.G. Smith, \"A Platform for Modelling Feature Interaction Detection and Resolution Techniques,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 185-199, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nY. Kakuda A. Inoue H. Asada T. Kikuno and T. Ohta, \"A Dynamic Resolution Method for Feature Interactions and Its Evaluation,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 97-114, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\n\nYoshiaki Kakuda , Hiroyuki Asada , Tohru Kikuno, 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, p.379-381, January 1995 \n\n","citation":"681504"},{"text":"\n\nC. Prehofer, \"An Object-Oriented Approach to Feature Interaction,\" Feature Interactions in Telecommunication Network, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 313-325, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nG. Utas, \"Feature Interaction: A Software Perspective,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 23-28, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nG. Utas, \"GSF: An Architecture for the Evolving Network,\" Proc. XV Int'l Switching Symp. (ISS) 1995, vol. 2, pp. 293-297, Berlin, Offenbach, VDE-Verlag, Apr. 1995.\n\n"},{"text":"\n\n\nHugo Velthuijsen, Distributed Artificial Intelligence for Runtime Feature-Interaction Resolution, Computer, v.26 n.8, p.48-55, August 1993   [doi>10.1109/2.223543]\n\n","citation":"619940"},{"text":"\n\nN.D. Griffeth and H. Velthuijsen, \"The Negotiating Agents Approach to Runtime Feature Interaction Resolution,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 217-235, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nN.D. Griffeth and H. Velthuijsen, \"Reasoning about Goals to Resolve Conflicts,\" Proc. Int'l Conf. Intelligent and Cooperative Information Systems, pp. 197-204, Rotterdam, May 1993.\n\n"},{"text":"\n\nP. Dini and G. v. Bochmann, \"Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 115-126, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nR. van der Linden, \"Using an Architecture to Help Beat Feature Interaction,\" Feature Interactions in Telecommunications Systems, L.G. Bouma and H. Velthuijsen, eds., pp. 24-35, Amsterdam, IOS Press, May 1994.\n\n"},{"text":"\n\nD. Cattrall G. Howard D. Jordan and S. Buj, \"An Interaction-Avoiding Call Processing Model,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 85-96, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\n\nIsrael Zibman , Carl Woolf , Peter O'Reilly , Larry Strickland , David Willis , John Visser, An architectural approach to minimizing feature interactions in telecommunications, IEEE/ACM Transactions on Networking (TON), v.4 n.4, p.582-596, Aug. 1996   [doi>10.1109/90.532867]\n\n","citation":"234774"},{"text":"\n\nI. Zibman C. Woolf P. O'Reilly L. Strickland D. Willis and J. Visser, \"Minimizing Feature Interactions: An Architecture and Processing Model Approach,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 65-83, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nM. Weiss T. Gray and A. Diaz, \"Experiences with a Service Environment for Distributed Multimedia Applications,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 242-253, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\n\nDirk O. Keck, Requirements and a Proposal for the Prevention of a Class of Service Interactions in Intelligent Networks, Selected papers on Services and Visualization: Towards User-Friendly Design, p.90-105, January 1998 \n\n","citation":"694637"},{"text":"\n\nR. Kung, \"Open Networking: is it Technically Possible,\" Proc. XV Int'l Switching Symp. (ISS) 1995, vol. 2, pp. 212-216, Berlin, Offenbach, VDE-Verlag, Apr. 1995.\n\n"},{"text":"\n\nK. Kimbler, \"Towards A More Efficient Feature Interaction Analysis—A Statistical Approach,\" Feature Interactions in Telecommunications Systems, vol. 3, K.E. Cheng and T. Ohta, eds., pp. 201-211, Amsterdam, IOS Press, Oct. 1995.\n\n"},{"text":"\n\nD.O. Keck, \"Identification of Call Scenarios with Potential Feature Interactions,\" Proc. Int'l Workshop Advanced Intelligent Networks (AIN '96), T. Margaria, ed., pp. 42-55, Universität Passau, Fakultät für Mathematik und Informatik, Passau, Mar. 1996.\n\n"},{"text":"\n\nR.B. Blumenthal M. O'Reilly and P. Russo, \"Addressing Feature Interaction During Service Creation,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 364-370, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nK. Kimbler, \"Addressing the Interaction Problem at the Enterprise Level,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 13-22, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nP. Georgatsos T. Nauta and H. Velthuijsen, \"Role of Service Management in Service Interaction Handling in an IN Environment,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 213-225, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nJ. Cameron K. Cheng F.J. Lin H. Liu and B. Pinheiro, \"A Formal AIN Service Creation, Feature Interactions Analysis and Management Environment: An Industrial Application,\" Feature Interactions in Telecommunication Networks, vol. 4, P. Dini, R. Boutaba, and L. Logrippo, eds., pp. 342-346, Amsterdam, IOS Press, June 1997.\n\n"},{"text":"\n\nK. Kant and L. Ong, \"Signaling in Emerging Telecommunications and Data Networks,\" Proc. IEEE, vol. 85, no. 10, pp. 1,612-1,621, Oct. 1997.\n\n"},{"text":"\n\n\nF. Dupuy , C. Nilsson , Y. Inoue, The TINA consortium: toward networking telecommunications information services, IEEE Communications Magazine, v.33 n.11, p.78-83, November 1995   [doi>10.1109/35.471262]\n\n","citation":"2294445"}]