{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:20:17Z","timestamp":1765545617625},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642139109"},{"type":"electronic","value":"9783642139116"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-13911-6_45","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T05:47:53Z","timestamp":1278481673000},"page":"531-534","source":"Crossref","is-referenced-by-count":2,"title":["Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Palomo-Duarte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Garc\u00eda-Dom\u00ednguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inmaculada","family":"Medina-Bulo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Alvarez-Ayll\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Santacruz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"Bucchiarone, A., Melgratti, H., Severoni, F.: Testing service composition. In: Proceedings of the 8th Argentine Symposium on Software Engineering, ASSE \u201907 (2007)"},{"issue":"2","key":"45_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering\u00a027(2), 99\u2013123 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"45_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/ECOWS.2008.17","volume-title":"ECOWS \u201908: Proceedings of the 2008 Sixth European Conference on Web Services","author":"M. Palomo-Duarte","year":"2008","unstructured":"Palomo-Duarte, M., Garc\u00eda-Dom\u00ednguez, A., Medina-Bulo, I.: Takuan: A dynamic invariant generation system for WS-BPEL compositions. In: ECOWS \u201908: Proceedings of the 2008 Sixth European Conference on Web Services, Washington, DC, USA, pp. 63\u201372. IEEE Computer Society, Los Alamitos (2008)"},{"key":"45_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/SOSE.2008.18","volume-title":"SOSE \u201908: Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering","author":"M. Palomo-Duarte","year":"2008","unstructured":"Palomo-Duarte, M., Garc\u00eda-Dom\u00ednguez, A., Medina-Bulo, I.: Improving Takuan to analyze a meta-search engine WS-BPEL composition. In: SOSE \u201908: Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering, Washington, DC, USA, pp. 109\u2013114. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/978-3-642-02818-2_40","volume-title":"ICWE \u201909","author":"M. Palomo-Duarte","year":"2009","unstructured":"Palomo-Duarte, M., Garc\u00eda-Dom\u00ednguez, A., Medina-Bulo, I.: Enhancing WS-BPEL dynamic invariant generation using XML Schema and XPath information. In: Gaedke, M., Grossniklaus, M., D\u00edaz, O. (eds.) ICWE \u201909. LNCS, vol.\u00a05648, pp. 469\u2013472. Springer, Heidelberg (2009)"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Palomo-Duarte, M., Garc\u00eda-Dom\u00ednguez, A., Medina-Bulo, I.: An architecture for dynamic invariant generation in WS-BPEL web service compositions. In: Proceedings of ICE-B 2008 - International Conference on e-Business, Porto, Portugal. INSTICC Press (July 2008)","DOI":"10.1109\/ECOWS.2008.17"},{"key":"45_CR7","unstructured":"SPI&FM Group: Official Takuan home site, \n                    \n                      http:\/\/neptuno.uca.es\/~takuan"},{"key":"45_CR8","unstructured":"Garc\u00eda Dom\u00ednguez, A., Medina Bulo, I., Marcos B\u00e1rcena, M.: Hacia la integraci\u00f3n de t\u00e9cnicas de pruebas en metodolog\u00edas dirigidas por modelos para SOA. In: Actas de las V Jornadas Cient\u00edfico-T\u00e9cnicas en Servicios Web y SOA, Madrid (October 2009)"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13911-6_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:44:52Z","timestamp":1558295092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13911-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139109","9783642139116"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13911-6_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}