{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:07:09Z","timestamp":1726412829856},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643678"},{"type":"electronic","value":"9783540697602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053493","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:49:08Z","timestamp":1149644948000},"page":"8-27","source":"Crossref","is-referenced-by-count":9,"title":["\u2018Calls considered harmful\u2019 and other observations: A tutorial on telephony"],"prefix":"10.1007","author":[{"given":"Pamela","family":"Zave","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"2_CR1","unstructured":"Johan Blom, Roland Bol, and Lars Kempe. Automatic detection of feature interactions in temporal logic. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 1\u201319. IOS Press, 1995."},{"key":"2_CR2","unstructured":"Johan Blom, Bengt Jonsson, and Lars Kempe. Using temporal logic for modular specification of telephone services. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 197\u2013216. IOS Press, 1994."},{"issue":"4","key":"2_CR3","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/TCOM.1980.1094696","volume":"XXVIII","author":"G. V. Bochmann","year":"1980","unstructured":"Gregor V. Bochmann. A general transition model for protocols and communication services. IEEE Transactions on Communications XXVIII(4):643\u2013650, April 1980.","journal-title":"IEEE Transactions on Communications"},{"key":"2_CR4","unstructured":"Kenneth H. Braithwaite and Joanne M. Atlee. Towards automated detection of feature interactions. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 36\u201357. IOS Press, 1994."},{"key":"2_CR5","unstructured":"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. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 1\u201323. IOS Press, 1994."},{"key":"2_CR6","unstructured":"D. Cattrall, G. Howard, D. Jordan, and S. Buj. An interaction-avoiding call processing model. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 85\u201396. IOS Press, 1995."},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/35.127556","volume":"XXX","author":"J. M. Duran","year":"1992","unstructured":"Jos\u00e9 M. Duran and John Visser. International standards for intelligent networks. IEEE Communications XXX(2):34\u201342, February 1992.","journal-title":"IEEE Communications"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0169-7552(91)90073-L","volume":"XXI","author":"M. Faci","year":"1991","unstructured":"Mohammed Faci, Luigi Logrippo, and Bernard Stepien. Formal specification of telephone systems in LOTOS: The constraint-oriented style approach.Computer Networks and ISDN Systems XXI:53\u201367, 1991.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/35.199607","volume":"XXXI","author":"J. J. Garrahan","year":"1993","unstructured":"James J. Garrahan, Peter A. Russo, Kenichi Kitami, and Roberto Kung.Intelligent Network overview. IEEE Communications XXXI(3):30\u201336, March 1993.","journal-title":"IEEE Communications"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and Luqi. Formal methods and social context in software development. In Proceedings of the Sixth International Conference on Theory and Practice of Software Development (TAPSOFT '95), pages 62\u201381. Springer Verlag LNCS 915, 1995.","DOI":"10.1007\/3-540-59293-8_187"},{"issue":"8","key":"2_CR11","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/2.223538","volume":"XXVI","author":"N. D. Griffeth","year":"1993","unstructured":"Nancy D. Griffeth and Yow-Jian Lin. Extending telecommunications systems: The feature-interaction problem. IEEE Computer XXVI(8):14\u201318, August 1993.","journal-title":"IEEE Computer"},{"key":"2_CR12","unstructured":"ITU-T\/ETSI Recommendations Q1201-Q1205, Q1211, Q1213, Q1214. 1993."},{"key":"2_CR13","unstructured":"Jeremy L. Jacob. Refinement of shared systems. In John McDermid, editor, The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems, pages 27\u201336. Butterworths, 1989."},{"key":"2_CR14","unstructured":"Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, and Tadashi Ohta. A dynamic resolution method for feature interactions and its evaluation. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 97\u2013114. IOS Press, 1995."},{"key":"2_CR15","volume-title":"Formal specification and feature interaction detection in the Intelligent Network","author":"J. Kamoun","year":"1996","unstructured":"Jalel Kamoun. Formal specification and feature interaction detection in the Intelligent Network. Department of Computer Science, University of Ottawa, Ottawa, Ontario, 1996."},{"key":"2_CR16","unstructured":"Yasuro Kawarasaki and Tadashi Ohta. A new proposal for feature interaction detection and elimination. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 127\u2013139. IOS Press, 1995."},{"issue":"6","key":"2_CR17","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1109\/32.232027","volume":"XIX","author":"A. Kay","year":"1993","unstructured":"Andrew Kay and Joy N. Reed. A rely and guarantee method for Timed CSP: A specification and design of a telephone exchange. IEEE Transactions on Software Engineering XIX(6):625\u2013639, June 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR18","unstructured":"Evan H. Magill, Simon Tsang, and Bryce Kelly. The feature interaction problem in networked multimedia services: Past, present and future. EPSRC No. GR\/K 72995, October 1996, http: \/\/www.comms.eee.strath.ac.uk\/~fi\/fimna.html."},{"issue":"1","key":"2_CR19","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/65.67857","volume":"V","author":"N. Mitra","year":"1991","unstructured":"N. Mitra and S. D. Usiskin. Relationship of the Signaling System No. 7 protocol architecture to the OSI Reference Model. IEEE Network V(1):26\u201337, January 1991.","journal-title":"IEEE Network"},{"key":"2_CR20","unstructured":"Tadashi Ohta and Yoshio Harada. Classification, detection, and resolution of service interactions in telecommunication services. In L. G. Bouma and H. Velthuijsen, eds., Feature Interactions in Telecommunications Systems, pages 60\u201372. IOS Press, 1994."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"K. J. Turner and M. van Sinderen. LOTOS specification style for OSI. in Jeroen van de Lagemaat and Tommaso Bolognesi, editors, The LOTOSPHERE Project, pages 137\u2013159. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2203-4_7"},{"key":"2_CR22","unstructured":"Hugo Velthuijsen. Issues of non-monotonicity in feature-interaction detection.In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 31\u201342. IOS Press, 1995."},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"LXXXIX","author":"C. A. Vissers","year":"1991","unstructured":"Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, and Ed Brinksma.Specification styles in distributed systems design and verification. Theoretical Computer Science LXXXIX(1):179\u2013206, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"2_CR24","first-page":"26","volume":"XXIX","author":"P. Zave","year":"1996","unstructured":"Pamela Zave. Application of formal methods is research, not development.IEEE Computer XXIX(4):26\u201327, April 1996.","journal-title":"IEEE Computer"},{"issue":"8","key":"2_CR25","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/2.223539","volume":"XXVI","author":"P. Zave","year":"1993","unstructured":"Pamela Zave. Feature interactions and formal specifications in telecommunications. IEEE Computer XXVI(8):20\u201330, August 1993.","journal-title":"IEEE Computer"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Pamela Zave. Secrets of call forwarding: A specification case study. In Formal Description Techniques VIII (Proceedings of the Eighth International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols), pages 153\u2013168. Chapman & Hall, 1996.","DOI":"10.1007\/978-0-387-34945-9_13"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Pamela Zave and Michael Jackson. Requirements for telecommunications services: An attack on complexity. In Proceedings of the Third IEEE International Symposium on Requirements Engineering, pages 106\u2013117. IEEE Computer Society Press, 1997.","DOI":"10.1109\/ISRE.1997.566848"},{"issue":"7","key":"2_CR28","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/32.538607","volume":"XXII","author":"P. Zave","year":"1996","unstructured":"Pamela Zave and Michael Jackson. Where do operations come from? A multiparadigm specification technique. IEEE Transactions on Software Engineering XXII(7):508\u2013528, July 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR29","unstructured":"Israel Zibman, Carl Woolf, Peter O'Reilly, Larry Strickland, David Willis, and John Visser. Minimizing feature interactions: An architecture and processing model approach. In K. E. Cheng and T. Ohta, eds., Feature Interactions in Telecommunications Systems III, pages 65\u201383. IOS Press, 1995."}],"container-title":["Lecture Notes in Computer Science","Services and Visualization Towards User-Friendly Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:35:34Z","timestamp":1555641334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643678","9783540697602"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0053493","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}