{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:50:16Z","timestamp":1771699816555,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642038471","type":"print"},{"value":"9783642038488","type":"electronic"}],"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-03848-8_15","type":"book-chapter","created":{"date-parts":[[2009,8,25]],"date-time":"2009-08-25T23:31:50Z","timestamp":1251243110000},"page":"211-228","source":"Crossref","is-referenced-by-count":9,"title":["A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs"],"prefix":"10.1007","author":[{"given":"Thomas S.","family":"Heinze","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Amme","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Moser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Kartha, N., Liu, C.K., Khalaf, R., K\u00f6nig, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0. Standard, OASIS (April 2007)"},{"key":"15_CR2","unstructured":"van Breugel, F., Koshkina, M.: Models and Verification of BPEL (September 2006)"},{"key":"15_CR3","first-page":"147","volume-title":"Advanced Int. Conf. on Telecommunications and Int. Conf. on Internet and Web Applications and Services","author":"A. Martens","year":"2006","unstructured":"Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes. In: Advanced Int. Conf. on Telecommunications and Int. Conf. on Internet and Web Applications and Services, p. 147. IEEE, Los Alamitos (2006)"},{"key":"15_CR4","unstructured":"van der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets. Computing Science Report 96\/23, Eindhoven University of Technology (1996)"},{"key":"15_CR5","unstructured":"Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 and its Compiler BPEL2oWFN. Techn. report 212, Humboldt University of Berlin (2007)"},{"key":"15_CR6","volume-title":"2007 IEEE Int. Conf. on Services Computing","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: 2007 IEEE Int. Conf. on Services Computing. IEEE, Los Alamitos (2007)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/3-540-47961-9_37","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W(E.): An Alternative Way to Analyze Workflow Graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 535\u2013552. Springer, Heidelberg (2002)"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing Process Models Using Graph Reduction Techniques. Information Systems\u00a025(2), 117\u2013134 (2000)","journal-title":"Information Systems"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-48172-9","volume-title":"Languages and Compilers for Parallel Computing","author":"J. Lee","year":"1999","unstructured":"Lee, J., Midkiff, S.P., Padua, D.A.: Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs. In: Carter, L., Ferrante, J., Sehr, D., Chatterjee, S., Prins, J.F., Li, Z., Yew, P.-C. (eds.) LCPC 1998. LNCS, vol.\u00a01656, pp. 114\u2013130. Springer, Heidelberg (1999)"},{"key":"15_CR10","unstructured":"Heinze, T.S., Amme, W., Moser, S.: Resolving Conditional Branches in WS-BPEL Business Processes. Report, Friedrich Schiller University of Jena (to appear)"},{"key":"15_CR11","first-page":"590","volume-title":"Third Int. Conf. on Internet and Web Applications and Services","author":"T.S. Heinze","year":"2008","unstructured":"Heinze, T.S., Amme, W., Moser, S.: Generic CSSA-based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mapping. In: Third Int. Conf. on Internet and Web Applications and Services, pp. 590\u2013595. IEEE, Los Alamitos (2008)"},{"key":"15_CR12","unstructured":"Monakova, G., Kopp, O., Leymann, F.: Improving Control Flow Verification in a Business Process using an Extended Petri Net. In: 1st Central-European Workshop on Services and their Composition, vol. 438, 95\u2013101. CEUR-WS.org (2009)"},{"key":"15_CR13","unstructured":"Kopp, O., Khalaf, R., Leymann, F.: Reaching Definition Analysis Respecting Dead Path Elimination Semantics in BPEL Processes. Report 2007\/04, IAAS (2007)"},{"key":"15_CR14","first-page":"55","volume-title":"6th Int. Symp. on Code Generation and Optimization","author":"A. Thakur","year":"2008","unstructured":"Thakur, A., Govindarajan, R.: Comprehensive Path-sensitive Data-flow Analysis. In: 6th Int. Symp. on Code Generation and Optimization, pp. 55\u201363. ACM Press, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03848-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T09:34:24Z","timestamp":1552124064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03848-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038471","9783642038488"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03848-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}