{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:41Z","timestamp":1747806761947},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10383-4_38","type":"book-chapter","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T09:49:58Z","timestamp":1259056198000},"page":"516-530","source":"Crossref","is-referenced-by-count":9,"title":["Generating Interface Grammars from WSDL for Automated Verification of Web Services"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[]},{"given":"Graham","family":"Hughes","sequence":"additional","affiliation":[]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[]},{"given":"Muath","family":"Alkhalaf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"PayPal web service API documentation (2008), \n                    \n                      http:\/\/www.paypal.com"},{"key":"38_CR2","unstructured":"soapUI: the web services testing tool (2009), \n                    \n                      http:\/\/www.soapui.org\/"},{"key":"38_CR3","unstructured":"Amazon web services, \n                    \n                      http:\/\/solutions.amazonwebservices.com\/"},{"key":"38_CR4","unstructured":"Bai, X., Dong, W., Tsai, W.-T., Chen, Y.: WSDL-based automatic test case generation for web services testing. In: IEEE International Workshop on Service-Oriented System Engineering, SOSE 2005, pp. 207\u2013212 (2005)"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), pp. 63\u201371 (2006)","DOI":"10.1109\/ICWS.2006.113"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Baresi, L., Guinea, S., Kazhamiakin, R., Pistore, M.: An integrated approach for the run-time monitoring of BPEL orchestrations. In: Proceedings of the First European Conference Towards a Service-Based Internet (ServiceWave 2008), pp. 1\u201312 (2008)","DOI":"10.1007\/978-3-540-89897-9_1"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/978-3-540-89652-4_41","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"C. Bartolini","year":"2008","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: Towards automated WSDL-based testing of web services. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 524\u2013529. Springer, Heidelberg (2008)"},{"key":"38_CR8","unstructured":"Bauer, J.A., Finger, A.B.: Test plan generation using formal grammars. In: Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, September 1979, pp. 425\u2013432 (1979)"},{"key":"38_CR9","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Java pathfinder: Second generation of a Java model checker. In: Proceedings Workshop on Advances in Verification (2000)"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Brown, A., Fuchs, M., Robie, J., Wadler, P.: MSL: a model for W3C XML Schema. In: Proceedings of the 10th International World Wide Web Conference, pp. 191\u2013200 (2001)","DOI":"10.1145\/371920.371982"},{"key":"38_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11841197_9","volume-title":"Web Services and Formal Methods","author":"D. Cacciagrano","year":"2006","unstructured":"Cacciagrano, D., Corradini, F., Culmone, R., Vito, L.: Dynamic constraint-based invocation of web services. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 138\u2013147. Springer, Heidelberg (2006)"},{"key":"38_CR12","unstructured":"Duncan, A.G., Hutchison, J.S.: Using attributed grammars to test designs and implementations. In: Proceedings of the 5th International Conference on Software Engineering, New York, NY, USA, March 1981, pp. 170\u2013178 (1981)"},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime monitoring of message-based workflows with data. In: Proceedings of the 12th International Enterprise Distributed Object Computing Conference (EDOC 2008), pp. 63\u201372 (2008)","DOI":"10.1109\/EDOC.2008.32"},{"key":"38_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1007\/978-3-642-02658-4_50","volume-title":"CAV 2009","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Villemaire, R.: Browser-based enforcement of interface contracts in web applications with BeepBeep. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 648\u2013653. Springer, Heidelberg (2009)"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Hughes, G., Bultan, T.: Extended interface grammars for automated stub generation. In: Proceedings of the Automated Formal Methods Workshop, AFM 2007 (2007)","DOI":"10.1145\/1345169.1345174"},{"issue":"5","key":"38_CR16","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1109\/TSE.2008.72","volume":"34","author":"G. Hughes","year":"2008","unstructured":"Hughes, G., Bultan, T.: Interface grammars for modular software model checking. IEEE Trans. Software Eng.\u00a034(5), 614\u2013632 (2008)","journal-title":"IEEE Trans. Software Eng."},{"key":"38_CR17","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1390832.1390839","volume-title":"TAV-WEB","author":"G. Hughes","year":"2008","unstructured":"Hughes, G., Bultan, T., Alkhalaf, M.: Client and server verification for web services using interface grammars. In: Bultan, T., Xie, T. (eds.) TAV-WEB, pp. 40\u201346. ACM, New York (2008)"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In: Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), pp. 257\u2013265 (2005)","DOI":"10.1109\/ICWS.2005.100"},{"issue":"4","key":"38_CR19","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"P.M. Maurer","year":"1990","unstructured":"Maurer, P.M.: Generating test data with enhanced context-free grammars. IEEE Software\u00a07(4), 50\u201355 (1990)","journal-title":"IEEE Software"},{"issue":"10","key":"38_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"G. Meredith","year":"2003","unstructured":"Meredith, G., Bjorg, S.: Contracts and types. Commun. ACM\u00a046(10), 41\u201347 (2003)","journal-title":"Commun. ACM"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Sirer, E., Bershad, B.N.: Using production grammars in software testing. In: Proceedings of DSL 1999: the 2nd Conference on Domain-Specific Languages, Austin, TX, US, pp. 1\u201313 (1999)","DOI":"10.1145\/331960.331965"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10383-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,10]],"date-time":"2019-03-10T12:51:29Z","timestamp":1552222289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10383-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10383-4_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}