{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:35:51Z","timestamp":1725550551051},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_18","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T09:38:16Z","timestamp":1130319496000},"page":"307-326","source":"Crossref","is-referenced-by-count":1,"title":["Formalising Interactive Voice Services with SDL"],"prefix":"10.1007","author":[{"given":"Kenneth J.","family":"Turner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","first-page":"274","volume-title":"Proc. 6th. Feature Interactions in Telecommunications and Software Systems","author":"D. Amyot","year":"2000","unstructured":"Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L.M.S., Sincennes, J., Stepien, B., Ware, T.: Feature description and feature interaction analysis with use case maps and Lotos. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pp. 274\u2013289. IOS Press, Amsterdam (2000)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Cameron, E.J., Griffeth, N.D., Lin, Y.-J., Nilson, M.E., Schnure, W.K., Velthuijsen, H.: A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, 64\u201369 (March 1993)","DOI":"10.1109\/35.199613"},{"key":"18_CR3","unstructured":"ISO\/IEC. Information Processing Systems \u2013 Open Systems Interconnection \u2013 LOTOS \u2013 A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO\/IEC 8807. International Organization for Standardization, Geneva, Switzerland (1989)"},{"key":"18_CR4","unstructured":"ITU. Message Sequence Chart (MSC). ITU-T Z.120. International Telecommunications Union, Geneva, Switzerland (2000)"},{"key":"18_CR5","unstructured":"ITU. Specification and Description Language. ITU-T Z.100. International Telecommunications Union, Geneva, Switzerland (2000)"},{"key":"18_CR6","unstructured":"Larson, J.A.: Standard languages for developing multimodal applications (March 2005), \n                    \n                      http:\/\/www.larson-tech.com\/Writings\/multimodal.pdf"},{"issue":"12","key":"18_CR7","first-page":"1603","volume":"28","author":"A. Sarma","year":"1996","unstructured":"Sarma, A.: Introduction to SDL-92. Computer Networks\u00a028(12), 1603\u20131615 (1996)","journal-title":"Computer Networks"},{"key":"18_CR8","unstructured":"Telelogic. TAU 3.5 manuals (August 2005)"},{"key":"18_CR9","first-page":"241","volume-title":"Proc. 6th. Feature Interactions in Telecommunications and Software Systems","author":"K.J. Turner","year":"2000","unstructured":"Turner, K.J.: Formalising the Chisel feature notation. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pp. 241\u2013256. IOS Press, Amsterdam (2000)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-36135-9_11","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"K.J. Turner","year":"2002","unstructured":"Turner, K.J.: Modelling SIP services using Cress. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 162\u2013177. Springer, Heidelberg (2002)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/3-540-45075-0_11","volume-title":"SDL 2003: System Design","author":"K.J. Turner","year":"2003","unstructured":"Turner, K.J.: Formalising graphical service descriptions using SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 183\u2013202. Springer, Heidelberg (2003)"},{"key":"18_CR12","first-page":"123","volume-title":"Proc. 7th. Feature Interactions in Telecommunications and Software Systems","author":"K.J. Turner","year":"2003","unstructured":"Turner, K.J.: Representing new voice services and their features. In: Amyot, D., Logrippo, L. (eds.) Proc. 7th. Feature Interactions in Telecommunications and Software Systems, June 2003, pp. 123\u2013140. IOS Press, Amsterdam (2003)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-39979-7_2","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"K.J. Turner","year":"2003","unstructured":"Turner, K.J.: Specifying and realising interactive voice services. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 15\u201330. Springer, Heidelberg (2003)"},{"issue":"5","key":"18_CR14","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1016\/j.comnet.2004.03.005","volume":"45","author":"K.J. Turner","year":"2004","unstructured":"Turner, K.J.: Analysing interactive voice services. Computer Networks\u00a045(5), 665\u2013685 (2004)","journal-title":"Computer Networks"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/11562436_34","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"K.J. Turner","year":"2005","unstructured":"Turner, K.J.: Formalising web services. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 473\u2013488. Springer, Heidelberg (2005)"},{"key":"18_CR16","unstructured":"Turner, K.J.: Validating feature-based specifications, May 2005. Software Practice and Experience (2005) (In press)"},{"key":"18_CR17","unstructured":"VoiceXML Forum. Voice eXtensible Markup Language. VoiceXML Version 2.0. VoiceXML Forum (January 2003)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T02:15:15Z","timestamp":1552443315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11589976_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}