{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:36:57Z","timestamp":1742989017678,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"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":"unspecified","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-01247-1_7","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T08:44:08Z","timestamp":1240217048000},"page":"66-78","source":"Crossref","is-referenced-by-count":13,"title":["Automatic Test Case Generation for Interacting Services"],"prefix":"10.1007","author":[{"given":"Kathrin","family":"Kaschner","sequence":"first","affiliation":[]},{"given":"Niels","family":"Lohmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/367211.367268","volume":"44","author":"M.P. Papazoglou","year":"2001","unstructured":"Papazoglou, M.P.: Agent-oriented technology in support of e-business. Communications of the ACM\u00a044(4), 71\u201377 (2001)","journal-title":"Communications of the ACM"},{"key":"7_CR2","unstructured":"Martens, A.: Verteilte Gesch\u00e4ftsprozesse \u2013 Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany (2003) (in German)"},{"key":"7_CR3","volume-title":"Web services: Principles and technology","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P.: Web services: Principles and technology. Prentice Hall, Englewood Cliffs (2007)"},{"key":"7_CR4","unstructured":"OMG: Business Process Modeling Notation (BPMN) Specification. Final Adopted Specification, Object Management Group (2006), http:\/\/www.bpmn.org"},{"key":"7_CR5","unstructured":"Alves, A., et al.: Web Services Business Process Execution Language Version\u00a02.0. Committee Specification, OASIS (2007)"},{"key":"7_CR6","volume-title":"Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More","author":"F. Curbera","year":"2005","unstructured":"Curbera, F., Leymann, F., Storey, T., Ferguson, D., Weerawarana, S.: Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More. Prentice Hall PTR, Englewood Cliffs (2005)"},{"key":"7_CR7","first-page":"33","volume-title":"TAV-WEB 2006","author":"P. Mayer","year":"2006","unstructured":"Mayer, P., L\u00fcbke, D.: Towards a BPEL unit testing framework. In: TAV-WEB 2006, pp. 33\u201342. ACM, New York (2006)"},{"key":"7_CR8","volume-title":"WWW 2008","author":"D. K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, D., Lohmann, N., Moser, S., Stahl, C., Wolf, K.: Extending the compatibility notion for abstract WS-BPEL processes. In: WWW 2008. ACM, New York (2008)"},{"issue":"3","key":"7_CR9","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics\u00a01(3), 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"key":"7_CR10","series-title":"EATCS Monographs on Theoretical Computer Science edn","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science edn. Springer, Heidelberg (1985)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete petri net semantics for WS-BPEL\u00a02.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"key":"7_CR12","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Modellierung 2008. LNI, vol.\u00a0P-127. GI (2008)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Wolf, K.: Does my service have partners? Transactions on Petri Nets and Other Models of Concurrency (2008) (accepted for publication, preprint ), http:\/\/www.informatik.uni-rostock.de\/~nl\/topnoc.pdf","DOI":"10.1007\/978-3-642-00899-3_9"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"WS-FM 2008","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: Why does my service have no partners? In: WS-FM 2008. LNCS. Springer, Heidelberg (2008)"},{"volume-title":"Test and Analysis of Web Services","year":"2007","key":"7_CR17","unstructured":"Baresi, L., Di Nitto, E. (eds.): Test and Analysis of Web Services. Springer, Heidelberg (2007)"},{"key":"7_CR18","first-page":"103","volume-title":"ICWS 2005","author":"Z. Li","year":"2005","unstructured":"Li, Z., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS unit testing: Framework and implementation. In: ICWS 2005, pp. 103\u2013110. IEEE, Los Alamitos (2005)"},{"key":"7_CR19","unstructured":"Garc\u00eda-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for BPEL compositions of Web services using SPIN. In: WS-MaTe 2006, pp. 83\u201394 (2006)"},{"key":"7_CR20","first-page":"16","volume-title":"AICCSA","author":"S. Hanna","year":"2007","unstructured":"Hanna, S., Munro, M.: An approach for specification-based test case generation for Web services. In: AICCSA, pp. 16\u201323. IEEE, Los Alamitos (2007)"},{"key":"7_CR21","first-page":"75","volume-title":"ISSRE 2006","author":"J. Yan","year":"2006","unstructured":"Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. In: ISSRE 2006, pp. 75\u201384. IEEE, Los Alamitos (2006)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","first-page":"298","volume-title":"Algorithms and Data Structures","author":"C. Bartolini","year":"2007","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data flow-based validation of web services compositions: Perspectives and examples. In: Dehne, F., Sack, J.-R., Zeh, N. (eds.) WADS 2007. LNCS, vol.\u00a04619, pp. 298\u2013325. Springer, Heidelberg (2007)"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-68524-1_19","volume-title":"Testing of Software and Communicating Systems","author":"A. Bertolino","year":"2008","unstructured":"Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Model-based generation of testbeds for web services. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 266\u2013282. Springer, Heidelberg (2008)"},{"key":"7_CR24","first-page":"11","volume-title":"SEAA 2008","author":"A. Bertolino","year":"2008","unstructured":"Bertolino, A., De Angelis, G., Lonetti, F., Sabetta, A.: Let the puppets move! automated testbed generation for service-oriented mobile applications. In: SEAA 2008, pp. 11\u201319. IEEE, Los Alamitos (2008)"},{"key":"7_CR25","unstructured":"Oracle: BPEL Process Manager (2008), http:\/\/www.oracle.com\/technology\/products\/ias\/bpel"},{"key":"7_CR26","unstructured":"Parasoft: SOAtest (2008), http:\/\/www.parasoft.com"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology (2008) (accepted for publication)","DOI":"10.1016\/j.infsof.2008.02.006"},{"issue":"4","key":"7_CR28","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2004.08.046","volume":"127","author":"H. St\u00f6rrle","year":"2005","unstructured":"St\u00f6rrle, H.: Semantics and verification of data flow in UML 2.0 activities. Electr. Notes Theor. Comput. Sci.\u00a0127(4), 35\u201352 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-72912-9_5","volume-title":"Test and Analysis of Web Services","author":"N. Sharygina","year":"2007","unstructured":"Sharygina, N., Kr\u00f6ning, D.: Model checking with abstraction for Web services. In: Test and Analysis of Web Services, pp. 121\u2013145. Springer, Heidelberg (2007)"},{"key":"7_CR30","first-page":"98","volume-title":"SCC 2007","author":"S. Moser","year":"2007","unstructured":"Moser, S., Martens, A., G\u00f6rlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. In: SCC 2007, pp. 98\u2013105. IEEE, Los Alamitos (2007)"}],"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-01247-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:45:03Z","timestamp":1558266303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01247-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01247-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}