{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:50:40Z","timestamp":1761706240197},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855705"},{"type":"electronic","value":"9783540855712"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-85571-2_13","type":"book-chapter","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T03:58:47Z","timestamp":1219636727000},"page":"298-325","source":"Crossref","is-referenced-by-count":19,"title":["Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples"],"prefix":"10.1007","author":[{"given":"Cesare","family":"Bartolini","sequence":"first","affiliation":[]},{"given":"Antonia","family":"Bertolino","sequence":"additional","affiliation":[]},{"given":"Eda","family":"Marchetti","sequence":"additional","affiliation":[]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"ActiveBPEL Community. ActiveBPEL community edition engine (2008), accessed 2008-03-12, \n                    \n                      http:\/\/www.activevos.com\/community-open-source.php"},{"key":"13_CR2","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.: Symbolic execution techniques for test purpose definition. In: Suzuki, K., Higashino, T., Hasegawa, T., Ulrich, A. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 266\u2013282. Springer, Heidelberg (2008)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11786160_1","volume-title":"Architecting Systems with Trustworthy Components","author":"A. Bertolino","year":"2006","unstructured":"Bertolino, A., Frantzen, L., Polini, A., Tretmans, J.: Audition of web services for testing conformance to open specified protocols. In: Reussner, R., Stafford, J., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 1\u201325. Springer, Heidelberg (2006)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Polini, A.: The audition framework for testing web services interoperability. In: 31st EUROMICRO International Conference on Software Engineering and Advanced Applications, pp. 134\u2013142 (2005)","DOI":"10.1109\/EUROMICRO.2005.55"},{"key":"13_CR5","unstructured":"BPMN. Business process modeling notation specification, Version 1.0 dtc\/06-02-01 (2006)"},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MITP.2006.51","volume":"8","author":"G. Canfora","year":"2006","unstructured":"Canfora, G., Penta, M.D.: Testing services and service-centric systems: challenges and opportunities. IEEE IT Professionnal\u00a08(2), 10\u201317 (2006)","journal-title":"IEEE IT Professionnal"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Cao, H., Ying, S., Du, D.: Towards model-based verification of BPEL with model checking. In: Sixth International Conference on Computer and Information Technology (CIT 2006), Seoul, Korea, September 20-22, 2006, pp. 190\u2013194 (2006)","DOI":"10.1109\/CIT.2006.185"},{"issue":"11","key":"13_CR8","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/32.41326","volume":"15","author":"L.A. Clarke","year":"1989","unstructured":"Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J.: A formal evaluation of data flow path selection criteria. IEEE Trans. Software Eng.\u00a015(11), 1318\u20131332 (1989)","journal-title":"IEEE Trans. Software Eng."},{"key":"13_CR9","unstructured":"Davenport, T.H., Short, J.E.: The new industrial engineering: Information technology and business process redesign. Sloan Management Review, 11\u201327 (1990)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Clarke, L.A.: Data flow analysis for verifying properties of concurrent programs. In: SIGSOFT FSE, pp. 62\u201375 (1994)","DOI":"10.1145\/193173.195295"},{"key":"13_CR11","unstructured":"Eclipse Foundation. BPEL project, \n                    \n                      http:\/\/www.eclipse.org\/bpel\/"},{"key":"13_CR12","first-page":"152","volume-title":"ASE","author":"H. Foster","year":"2003","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: ASE, pp. 152\u2013163. IEEE Computer Society, Los Alamitos (2003)"},{"key":"13_CR13","unstructured":"Frantzen, L., Tretmans, J., Vries, R.d.: Towards model-based testing of web services. In: Polini, A. (ed.) International Workshop on Web Services - Modeling and Testing (WS-MaTe 2006), Palermo, Italy, June 9, 2006, pp. 67\u201382 (2006)"},{"key":"13_CR14","unstructured":"Garc\u00eda-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for BPEL compositions of web services using SPIN. In: International Workshop on Web Services Modeling and Testing (WS-MaTe 2006) (2006)"},{"key":"13_CR15","unstructured":"IBM. IBM websphere business modeler, \n                    \n                      http:\/\/www-306.ibm.com\/software\/integration\/wbimodeler\/"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Jiang, Y., Hou, S.-S., Shan, J.-H., Zhang, L., Xie, B.: Contract-based mutation for testing components. In: IEEE International Conference on Software Maintenance (2005)","DOI":"10.1109\/ICSM.2005.36"},{"key":"13_CR17","unstructured":"Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. Research Report RZ-3678 (May 2007), \n                    \n                      http:\/\/www.zurich.ibm.com\/~koe\/papiere\/rz3678.pdf"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Marconi, A., Pistore, M., Traverso, P.: Specifying data-flow requirements for the automated composition of web services. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India, September 11-15, 2006, pp. 147\u2013156 (2006)","DOI":"10.1109\/SEFM.2006.34"},{"key":"13_CR19","first-page":"98","volume-title":"IEEE SCC","author":"S. Moser","year":"2007","unstructured":"Moser, S., Martens, A., Gorlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed ws-bpel business processes incorporating cssa-based data flow analysis. In: IEEE SCC, pp. 98\u2013105. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"5","key":"13_CR20","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/S1389-1286(03)00228-7","volume":"42","author":"S. Narayanan","year":"2003","unstructured":"Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Computer Networks\u00a042(5), 675\u2013693 (2003)","journal-title":"Computer Networks"},{"key":"13_CR21","unstructured":"OASIS WSBPEL Technical Committee. Web services business process execution language version 2.0 (2007), \n                    \n                      http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"issue":"6","key":"13_CR22","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Commun. ACM"},{"key":"13_CR23","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: Database Technologies 2004, Proceedings of the Fifteenth Australasian Database Conference, ADC 2004, Dunedin, New Zealand, January 18-22, 2004, pp. 207\u2013214 (2004)"},{"volume-title":"Business Process Excellence - ARIS in Practice","year":"2002","key":"13_CR24","unstructured":"Scheer, A.W., Abolhassan, F., Jost, W., Kirchner, M. (eds.): Business Process Excellence - ARIS in Practice. Springer, Heidelberg (2002)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Siblini, R., Mansour, N.: Testing web services. In: ACS\/IEEE International Conference on Computer Systems and Applications (2005)","DOI":"10.1109\/AICCSA.2005.1387124"},{"issue":"3","key":"13_CR26","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"R. Taylor","year":"1992","unstructured":"Taylor, R., Levine, D., Kelly, C.: Structural testing of concurrent programs. IEEE Transactions on Software Engineering\u00a018(3), 206\u2013215 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"13_CR27","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1049\/ip-sen:20010448","volume":"148","author":"B.-Y. Tsai","year":"2001","unstructured":"Tsai, B.-Y., Stobart, S., Parrington, N.: Employing data flow testing on object-oriented classes. Software, IEE Proceedings\u00a0148(2), 56\u201364 (2001)","journal-title":"Software, IEE Proceedings"},{"key":"13_CR28","unstructured":"Tsai, W.T., Bai, X., Paul, R., Feng, K., Yu, L.: Scenario-Based Modeling and Its Applications. In: IEEE WORDS (2002)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Paul, R., Song, W., Cao, Z.: Coyote: an XML-based framework for web services testing. In: 7th IEEE International Symp. High Assurance Systems Eng (HASE 2002) (2002)","DOI":"10.1109\/HASE.2002.1173120"},{"key":"13_CR30","unstructured":"UDDI Spec Technical Committee. UDDI OASIS standard version 3.0.2 (2004), \n                    \n                      http:\/\/www.oasisopen.org\/committees\/uddi-spec\/doc\/spec\/v3\/uddi-v3.0.220041019.htm"},{"key":"13_CR31","unstructured":"UML2.0. Object management group (OMG). Unified Modeling Language: Superstructure, Version 2.0 formal\/05-07-04 (2005)"},{"key":"13_CR32","unstructured":"W3C. XML path language (XPath) version 1.0, \n                    \n                      http:\/\/www.w3.org\/TR\/xpath"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Weiss, M., Esfandiari, B.: On feature interactions among web services. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), San Diego, California, USA, June 6-9, 2004, pp. 88\u201395 (2004)","DOI":"10.1109\/ICWS.2004.1314727"},{"issue":"2","key":"13_CR34","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.comnet.2006.08.003","volume":"51","author":"M. Weiss","year":"2007","unstructured":"Weiss, M., Esfandiari, B., Luo, Y.: Towards a classification of web service feature interactions. Computer Networks\u00a051(2), 359\u2013381 (2007)","journal-title":"Computer Networks"},{"key":"13_CR35","unstructured":"World Wide Web Consortium. SOAP version 1.2 (2007), \n                    \n                      http:\/\/www.w3.org\/TR\/soap\/"},{"key":"13_CR36","unstructured":"World Wide Web Consortium. Web services description language (WSDL) version 2.0 (2007), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, North Carolina, USA, November 7-10, 2006, pp. 75\u201384 (2006)","DOI":"10.1109\/ISSRE.2006.16"},{"key":"13_CR38","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., Xiao, Y., Liu, F., Yu, J.: Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification. In: APWeb 2006, pp. 275\u2013284 (2006)","DOI":"10.1007\/11610113_25"},{"key":"13_CR39","unstructured":"Yourdon, E., Constantine, L.: Structured Design. Yourdon Press (1975)"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Yuan, Y., Li, Z., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), Papeete, Tahiti, French Polynesia, October 28 - November 2 (2006)","DOI":"10.1109\/ICSEA.2006.261270"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85571-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T21:39:42Z","timestamp":1551562782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85571-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540855705","9783540855712"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85571-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}