{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:51:02Z","timestamp":1725533462319},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028175"},{"type":"electronic","value":"9783642028182"}],"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-02818-2_40","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T09:18:32Z","timestamp":1245230312000},"page":"469-472","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Palomo-Duarte","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Garc\u00eda-Dom\u00ednguez","sequence":"additional","affiliation":[]},{"given":"Inmaculada","family":"Medina-Bulo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Bucchiarone, A., Melgratti, H., Severoni, F.: Testing service composition. In: Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE 2007) (2007)"},{"issue":"2","key":"40_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":"40_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/ECOWS.2008.17","volume-title":"ECOWS 2008: 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 2008: Proceedings of the 2008 Sixth European Conference on Web Services, Washington, DC, USA, pp. 63\u201372. IEEE Computer Society, Los Alamitos (2008)"},{"key":"40_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/SOSE.2008.18","volume-title":"SOSE 2008: 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 2008: Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering, Washington, DC, USA, pp. 109\u2013114. IEEE Computer Society, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02818-2_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T15:44:37Z","timestamp":1552059877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02818-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028175","9783642028182"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02818-2_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}