{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:32:12Z","timestamp":1742920332826,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642330674"},{"type":"electronic","value":"9783642330681"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33068-1_13","type":"book-chapter","created":{"date-parts":[[2012,9,2]],"date-time":"2012-09-02T08:24:43Z","timestamp":1346574283000},"page":"129-145","source":"Crossref","is-referenced-by-count":3,"title":["Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL"],"prefix":"10.1007","author":[{"given":"Zhaogang","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiming","family":"Ling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shihong","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Business process management: profiting from process","author":"R. Burlton","year":"2001","unstructured":"Burlton, R.: Business process management: profiting from process, 1st edn. Sams, Indianapolis (2001)","edition":"1"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"ter Hofstede, A., et al.: Business Process Management: A Survey, p. 1019 (2003)","DOI":"10.1007\/3-540-44895-0"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Hepp, M., et al.: Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management. In: IEEE International Conference on E-Business Engineering, pp. 535\u2013540 (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"13_CR4","unstructured":"Smith, H., Fingar, P.: Business Process Management: The Third Wave. Meghan-Kiffer Press (2006)"},{"key":"13_CR5","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer-Verlag New York, Inc., Secaucus (2007)"},{"key":"13_CR6","volume-title":"APCCM 2006","author":"N. Russell","year":"2006","unstructured":"Russell, N., et al.: On the suitability of UML 2.0 activity diagrams for business process modelling. In: APCCM 2006. Australian Computer Society, Inc., Darlinghurst (2006)"},{"key":"13_CR7","unstructured":"Dong, Y., ShenSheng, Z.: Using \u03c0 - calculus to Formalize UML Activity Diagram. In: IEEE International Conference on the Engineering of Computer-Based Systems, p. 47 (2003)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"List, B., Korherr, B.: A UML 2 Profile for Business Process Modelling, pp. 85\u201396 (2005)","DOI":"10.1007\/11568346_10"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Korherr, B., List, B.: Extending the UML 2 Activity Diagram with Business Process Goals and Performance Measures and the Mapping to BPEL, pp. 7\u201318 (2006)","DOI":"10.1007\/11908883_4"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Verification support for workflow design with UML activity graphs. In: ICSE 2002. ACM, New York (2002)","DOI":"10.1145\/581360.581362"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., Gadducci, F.: Specifying and Verifying UML Activity Diagrams Via Graph Transformation, pp. 18\u201333 (2005)","DOI":"10.1007\/978-3-540-31794-4_2"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol., 1\u201338 (2006)","DOI":"10.1145\/1125808.1125809"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst., 245\u2013275 (2005)","DOI":"10.1016\/j.is.2004.02.002"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., et al.: Design and Implementation of the YAWL System, pp. 281-305 (2004)","DOI":"10.1007\/978-3-540-25975-6_12"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Hofstede, T.A.A., et al.: Modern business process automation: YAWL and its support environment. Springer (2010)","DOI":"10.1007\/978-3-642-03121-2"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Verbeek, H.M.W., van der Aalst, W.M., ter Hofstede, A.H.: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)","DOI":"10.1093\/comjnl\/bxl074"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/11841760_28","volume-title":"Business Process Management","author":"M.T. Wynn","year":"2006","unstructured":"Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 389\u2013394. Springer, Heidelberg (2006)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/11841760_28","volume-title":"Business Process Management","author":"M.T. Wynn","year":"2006","unstructured":"Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 389\u2013394. Springer, Heidelberg (2006)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Wynn, M.T., et al.: Business Process Verification - Finally a Reality! Business Process Management Journal (2010)","DOI":"10.1108\/14637150910931479"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and Theory of Petri Nets 2000","author":"H.M.W. Verbeek","year":"2000","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 475\u2013484. Springer, Heidelberg (2000)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Mans, R.S., Alves de Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM 4.0: Comprehensive Support for Real Process Analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes Using Woflan. The Computer Journal, 2001 (1999)","DOI":"10.1093\/comjnl\/44.4.246"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"van Dongen, B.F., et al.: The ProM Framework: A New Era in Process Mining Tool Support, pp. 444\u2013454 (2005)","DOI":"10.1007\/11494744_25"},{"key":"13_CR24","unstructured":"Verbeek, E.: WofYAWL. Technical report (2005), http:\/\/home.tm.tue.nl\/hverbeek\/wofyawl03.pdf"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Han, Z., Zhang, L., Ling, J.: Transformation of UML Activity Diagram to YAWL, pp. 289\u2013299 (2010)","DOI":"10.1007\/978-1-84996-257-5_27"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Sendall, et al.: Model transformation: The heart and soul of model-driven software development, p. 4 (2003)","DOI":"10.1109\/MS.2003.1231150"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Gorp, P.: A Taxonomy of Model Transformation. Electronic Notes in Theoretical Computer Science, 125\u2013142 (2006)","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"13_CR28","unstructured":"JianHong, Y., et al.: Transformation of BPMN to YAWL. In: International Conference on Computer Science and Software Engineering (2008)"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-540-85758-7_30","volume-title":"Business Process Management","author":"G. Decker","year":"2008","unstructured":"Decker, G., Dijkman, R., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Transforming BPMN diagrams into YAWL nets. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 386\u2013389. Springer, Heidelberg (2008)"},{"key":"13_CR30","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141572","volume-title":"Transformation of yEPC business process models to YAWL","author":"J. Mendling","year":"2006","unstructured":"Mendling, J., Moser, M., Neumann, G.: Transformation of yEPC business process models to YAWL. ACM, New York (2006)"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11841197_7","volume-title":"Web Services and Formal Methods","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: From BPEL Processes to YAWL Workflows. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 107\u2013122. Springer, Heidelberg (2006)"},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Wynn, M.T., et al.: Business Process Verification - Finally a Reality! Business Process Management Journal (2010)","DOI":"10.1108\/14637150910931479"},{"key":"13_CR33","unstructured":"The Unified Modeling LanguageTM(UML) specification version 2.3. 2010, Object Management Group."},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., et al.: Design and Implementation of the YAWL System, pp. 281\u2013305 (2004)","DOI":"10.1007\/978-3-540-25975-6_12"},{"key":"13_CR35","unstructured":"Business Process Modeling Notation (BPMN) Version 2.0, Object Management Group\/Business Process Management Initiative (2009)"},{"key":"13_CR36","unstructured":"ter Hofstede: YAWL User Manual Version 2.0 (2009)"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., et al.: Workflow Patterns. In: Distributed and Parallel Databases, pp. 5\u201351 (2003)","DOI":"10.1023\/A:1022883727209"},{"key":"13_CR38","unstructured":"Russell, N., ter Hofstede, A.H.M., Mulyar, N.: Workflow ControlFlow Patterns: A Revised View (2006)"},{"key":"13_CR39","unstructured":"Russell, N., ter Hofstede, A.H.M., Edmond, D.: Workflow data patterns (2004)"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Russell, N., et al.: Workflow Data Patterns: Identification, Representation and Tool Support, pp. 353\u2013368 (2005)","DOI":"10.1007\/11568322_23"},{"key":"13_CR41","unstructured":"Russell, N., et al.: Workflow resource patterns, Technische Universiteit Eindhoven, BETA (2005)"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Russell, N., et al.: Workflow Resource Patterns: Identification, Representation and Tool Support, pp. 216-232 (2005)","DOI":"10.1007\/11431855_16"},{"key":"13_CR43","doi-asserted-by":"crossref","unstructured":"Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Workflow Exception Patterns (2006)","DOI":"10.1007\/11767138_20"},{"key":"13_CR44","unstructured":"Russell, N., ter Hofstede, A.H.M.: Exception Handling Patterns in Process-Aware Information Systems"},{"key":"13_CR45","unstructured":"Russell, N., ter Hofstede, A.H.M., Mulyar, N.: Workflow ControlFlow Patterns: A Revised View (2006)"},{"key":"13_CR46","doi-asserted-by":"crossref","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: New YAWL: designing a workflow system using coloured Petri Nets. Xidian University (2008)","DOI":"10.1007\/978-3-642-04856-2_1"},{"key":"13_CR47","unstructured":"Russell, N., ter Hofstede, A.H.M., Mulyar, N.: Workflow ControlFlow Patterns: A Revised View (2006)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Interoperability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33068-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T14:40:32Z","timestamp":1687704032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33068-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642330674","9783642330681"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33068-1_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}