{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:24:37Z","timestamp":1759332277900,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162978"},{"type":"electronic","value":"9783642162985"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16298-5_4","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:51:58Z","timestamp":1286970718000},"page":"16-30","source":"Crossref","is-referenced-by-count":20,"title":["BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules"],"prefix":"10.1007","author":[{"given":"Remco","family":"Dijkman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Van Gorp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Object Management Group: Business process model and notation beta 1 for version 2.0. Technical Report dtc\/2009-08-14, Object Management Group, Needham, MA, USA (2009)","key":"4_CR1"},{"unstructured":"Workflow Management Coalition: Process definition interface \u2013 XML process definition language version 2.1a. Technical Report WFMC-TC-1025, Workflow Management Coalition, Hingham, MA, USA (2008)","key":"4_CR2"},{"unstructured":"Workflow Management Coalition: XPDL implementations (June 2010), http:\/\/www.wfmc.org\/xpdl-implementations.html (accessed May 21, 2010)","key":"4_CR3"},{"key":"4_CR4","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a0I. World Scientific Publishing Co., Inc., River Edge (1997)"},{"doi-asserted-by":"crossref","unstructured":"Jakumeit, E., Buchwald, S., Kroll, M.: GrGen.NET. International Journal on Software Tools for Technology Transfer, STTT (2010)","key":"4_CR5","DOI":"10.1007\/s10009-010-0148-8"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/978-3-540-87405-8_31","volume-title":"Graph Transformations","author":"R. Heckel","year":"2008","unstructured":"Heckel, R.: Tutorial introduction to graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 458\u2013459. Springer, Heidelberg (2008)"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.h.: Correctness of high-level transformation systems relative to nested conditions† Mathematical. Structures in Comp. Sci.\u00a019(2), 245\u2013296 (2009)","journal-title":"Structures in Comp. Sci."},{"unstructured":"Van Gorp, P., Mazanek, S., Rensink, A.: Transformation Tool Contest \u2013 Awards (2010), http:\/\/is.ieis.tue.nl\/staff\/pvgorp\/events\/TTC2010\/?page=Awards","key":"4_CR8"},{"unstructured":"Van Gorp, P.: BPMN semantics: online virtual machine (2010), http:\/\/is.ieis.tue.nl\/staff\/pvgorp\/share\/?page=ConfigureNewSession&vdiID=364","key":"4_CR9"},{"key":"4_CR10","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2003","unstructured":"Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2003)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"P.Y. Wong","year":"2008","unstructured":"Wong, P.Y., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 355\u2013374. Springer, Heidelberg (2008)"},{"unstructured":"Wong, P.Y., Gibbons, J.: Formalisations and applications of BPMN. Science of Computer Programming (2009) (in Press, Corrected Proof)","key":"4_CR12"},{"issue":"12","key":"4_CR13","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R. Dijkman","year":"2008","unstructured":"Dijkman, R., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Information and Software Technology (IST)\u00a050(12), 1281\u20131294 (2008)","journal-title":"Information and Software Technology (IST)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-68265-3_16","volume-title":"Coordination Models and Languages","author":"D. Prandi","year":"2008","unstructured":"Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of BPMN via a translation into COWS. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 249\u2013263. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Raedts, I., Petkovic, M., Usenko, Y., van der Werf, J., Groote, J., Somers, L.: Transformation of BPMN models for behaviour analysis. In: Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, pp. 126\u2013137. INSTICC Press (2007)","key":"4_CR15","DOI":"10.5220\/0002428801260137"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-76848-7_5","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Dumas","year":"2007","unstructured":"Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of standard process models with or-joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 41\u201358. Springer, Heidelberg (2007)"},{"key":"4_CR17","first-page":"284","volume-title":"Proceedings of the IEEE Asia-Pacific Conference on Services Computing","author":"T. Takemura","year":"2008","unstructured":"Takemura, T.: Formal semantics and verification of BPMN transaction and compensation. In: Proceedings of the IEEE Asia-Pacific Conference on Services Computing, pp. 284\u2013290. IEEE Computer Society, Los Alamitos (2008)"},{"key":"4_CR18","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.: Verification of workflow nets. In: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp. 407\u2013426 (1997)","key":"4_CR19","DOI":"10.1007\/3-540-63139-9_48"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-74974-5_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"D. Prandi","year":"2007","unstructured":"Prandi, D., Quaglia, P.: Stochastic COWS. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 245\u2013256. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Modeling Notation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16298-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:12:54Z","timestamp":1740593574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16298-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162978","9783642162985"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16298-5_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2010]]}}}