{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:44Z","timestamp":1761596984682},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540388623"},{"type":"electronic","value":"9783540388654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841197_7","type":"book-chapter","created":{"date-parts":[[2006,9,11]],"date-time":"2006-09-11T07:59:47Z","timestamp":1157961587000},"page":"107-122","source":"Crossref","is-referenced-by-count":23,"title":["From BPEL Processes to YAWL Workflows"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Razvan","family":"Popescu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-30077-9_8","volume-title":"E-Commerce and Web Technologies","author":"J. Arias-Fisteus","year":"2004","unstructured":"Arias-Fisteus, J., Fern\u00e1ndez, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pr\u00f6ll, B. (eds.) EC-Web 2004. LNCS, vol.\u00a03182, pp. 76\u201385. Springer, Heidelberg (2004)"},{"key":"7_CR2","unstructured":"BPEL4WS Coalition. Business Process Execution Language for Web Services (BPEL4WS) Version 1.1, \n                    \n                      ftp:\/\/www6.software.ibm.com\/software\/developer\/library\/ws-bpel.pdf"},{"key":"7_CR3","unstructured":"Brogi, A., Popescu, R.: Service Adaptation through Trace Inspection. In: Gagnon, S., Ludwig, H., Pistore, M., Sadiq, W. (eds.) Proceedings of SOBPI 2005, pp. 44\u201358 (2005), \n                    \n                      http:\/\/elab.njit.edu\/sobpi\/sobpi05-proceedings.pdf"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11596141_17","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"A. Brogi","year":"2005","unstructured":"Brogi, A., Popescu, R.: Towards Semi-automated Workflow-Based Aggregation of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 214\u2013227. Springer, Heidelberg (2005)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., et al. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"7_CR6","unstructured":"Koshkina, M., van Breugel, F.: Verification of business processes for Web services. Technical Report CS-2003-11, York University (October 2003), \n                    \n                      http:\/\/www.cs.yorku.ca\/techreports\/2003\/CS-2003-11.ps"},{"key":"7_CR7","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M., Breutel, S., Dumas, M., ter Hofstede, A.H.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical Report 2174, Queensland University of Technology (February 2006), Available from: \n                    \n                      http:\/\/eprints.qut.edu.au\/archive\/00002174\/01\/BPM-05-15.pdf"},{"key":"7_CR8","unstructured":"OWL-S Coalition. OWL-S: Semantic Markup for Web Services Version 1.1, \n                    \n                      http:\/\/www.daml.org\/services\/owl-s\/1.1\/overview\/"},{"issue":"10","key":"7_CR9","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communication of the ACM\u00a046(10), 24\u201328 (2003)","journal-title":"Communication of the ACM"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Inf. Syst.\u00a030(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distrib. Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"7_CR12","unstructured":"WSDL Coalition. Web Service Description Language (WSDL) version 1.1, \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841197_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:17:03Z","timestamp":1619507823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841197_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540388623","9783540388654"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11841197_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}