{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:36Z","timestamp":1740098916306,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161001"},{"type":"electronic","value":"9783642161018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16101-8_10","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T10:46:41Z","timestamp":1285066001000},"page":"115-129","source":"Crossref","is-referenced-by-count":1,"title":["Alternative Representations of Workflow Control-Flow Patterns Using HOPS"],"prefix":"10.1007","author":[{"given":"Robert","family":"K\u00fchn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anke","family":"Dittmar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11549970_4","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"W.M.P. Aalst","year":"2005","unstructured":"Aalst, W.M.P., Dumas, M., Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life After BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 35\u201350. Springer, Heidelberg (2005), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/11549970_4"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Dittmar, A., Forbrig, P.: A unified description formalism for complex HCI-systems. In: International Conference on Software Engineering and Formal Methods, pp. 342\u2013351 (2005), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/SEFM.2005.7","DOI":"10.1109\/SEFM.2005.7"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/1570433.1570455","volume-title":"EICS \u201909: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems","author":"A. Dittmar","year":"2009","unstructured":"Dittmar, A., Forbrig, P.: Task-based design revisited. In: EICS \u201909: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 111\u2013116. ACM, New York (2009) ISBN 978-1-60558-600-7, \n                    \n                      http:\/\/dx.doi.org\/10.1145\/1570433.1570455"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Dumas","year":"2001","unstructured":"Dumas, M., ter Hofstede, A.H.: UML Activity Diagrams as a Workflow Specification Language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 76. Springer, Heidelberg (2001), \n                    \n                      http:\/\/sky.fit.qut.edu.au\/~dumas\/uml01_dumas.pdf"},{"key":"10_CR5","unstructured":"Fuehrich, W.: Workflow Patterns for MQWF, WBI Modeler v5.1, and Process Choreographer (BPEL). Presentation Slides, IBM Software Development Laboratory (2004), \n                    \n                      http:\/\/www.workflowpatterns.com\/vendors\/documentation\/IBM_BPEL_WorkflowPatterns.zip"},{"key":"10_CR6","unstructured":"K\u00fchn, R., Bandt, M., Schick, S., Bruder, I., Heuer, A., Forbrig, P.: Entwurf und Transformationskonzepte f\u00fcr flexible klinische Workflow Modelle. In: Balke, W.-T., Lofi, C. (eds.) Proceedings of the 22nd Workshop Grundlagen von Datenbanken 2010 (GvD-2010), Bad Helmstedt, Germany, May 25-28, vol.\u00a0581 (2010), \n                    \n                      http:\/\/ceur-ws.org\/Vol-581\/gvd2010_4_2.pdf"},{"key":"10_CR7","unstructured":"Mulyar, N.: Pattern-based Evaluation of Oracle-BPEL. Technical report, Department of Technology Management, Eindhoven University of Technology (2005), \n                    \n                      http:\/\/www.workflowpatterns.com\/vendors\/documentation\/Oracle_BPEL_v.10.1.2.pdf"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., Weske, M.: Using the \u03c0-calculus for formalizing workflow patterns. Business Process Management, 153\u2013168 (2005)","DOI":"10.1007\/11538394_11"},{"key":"10_CR9","first-page":"95","volume-title":"APCCM \u201906: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling","author":"N. Russell","year":"2006","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the suitability of UML 2.0 activity diagrams for business process modelling. In: APCCM \u201906: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling, pp. 95\u2013104. Australian Computer Society, Inc., Australia (2006), ISBN 1-920-68235-X, \n                    \n                      http:\/\/www.workflowpatterns.com\/documentation\/documents\/UMLEvalAPCCM.pdf"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. Aalst van der","year":"2003","unstructured":"van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases\u00a014(3), 5\u201351 (2003), \n                    \n                      http:\/\/www.workflowpatterns.com\/documentation\/documents\/wfs-pat-2002.pdf","journal-title":"Distributed and Parallel Databases"},{"key":"#cr-split#-10_CR11.1","unstructured":"van der Aalst, W.M.P., Hofstede, T.A.H.M.: Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In: Jensen, K. (ed.) Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, pp. 1???20 (2002);"},{"key":"#cr-split#-10_CR11.2","unstructured":"Technical Report DAIMI PB-560 (August 2002),                                           http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.11.8037                                                          ."},{"key":"10_CR12","unstructured":"White, S.A.: Workflow Patterns with BPMN and UML. IBM (January 2004), \n                    \n                      http:\/\/www.bpmn.org\/Documents\/Notations"}],"container-title":["Lecture Notes in Business Information Processing","Perspectives in Business Informatics Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16101-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T21:08:44Z","timestamp":1553116124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16101-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161001","9783642161018"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16101-8_10","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2010]]}}}