{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:24:27Z","timestamp":1725495867514},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768463"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76848-7_5","type":"book-chapter","created":{"date-parts":[[2007,11,20]],"date-time":"2007-11-20T10:23:17Z","timestamp":1195554197000},"page":"41-58","source":"Crossref","is-referenced-by-count":21,"title":["Semantics of Standard Process Models with OR-Joins"],"prefix":"10.1007","author":[{"given":"Marlon","family":"Dumas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Grosskopf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Hettel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moe","family":"Wynn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"van der Aalst, W.M.P., Desel, J., Kindler, E.: On the Semantics of EPCs: A Vicious Circle. In: Rump, M., N\u00fcttgens, F.J. (eds.) Proceedings of the EPK 2002: Business Process Management using EPCs, Trier, Germany, pp. 71\u201380. Gesellschaft f\u00fcr Informatik (2002)","key":"5_CR1"},{"key":"5_CR2","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. Distributed and Parallel Databases\u00a014, 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"unstructured":"van Breugel, F., Koshkina, M.: Models and verification of BPEL. Working paper (September 2006), http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/tutorial.pdf","key":"5_CR3"},{"doi-asserted-by":"crossref","unstructured":"Cuntz, N., Freiheit, J., Kindler, E.: On the semantics of EPCs: Faster calculation for EPCs with small state spaces. In: N\u00fcttgens, F.J., Rump, M. (eds.) Proceedings of EPK 2005, Hamburg, pp. 7\u201323 (December 2005)","key":"5_CR4","DOI":"10.1007\/11538394_30"},{"unstructured":"Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: N\u00fcttgens, F.J., Rump, M. (eds.) Proceedings of EPK 2004, pp. 7\u201326 (October 2004)","key":"5_CR5"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/11538394_30","volume-title":"Business Process Management","author":"N. Cuntz","year":"2005","unstructured":"Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation (Extended Abstract). In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 398\u2013403. Springer, Heidelberg (2005)"},{"unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Preprint 5969, Queensland University of Technology (January 2007), https:\/\/eprints.qut.edu.au\/archive\/00005969","key":"5_CR7"},{"unstructured":"Eastman Software. RouteBuilder Tool User\u2019s Guide. Eastman Software, Inc, Billerica, MA, USA (1998)","key":"5_CR8"},{"unstructured":"Jordan, D., Evdemon, J. (eds.): Web Services Business Process Execution Language Version 2.0. OASIS WS-BPEL TC (2005), http:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel","key":"5_CR9"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-540-25970-1_6","volume-title":"Business Process Management","author":"E. Kindler","year":"2004","unstructured":"Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol.\u00a03080, pp. 82\u201397. Springer, Heidelberg (2004)"},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.datak.2005.02.005","volume":"56","author":"E. Kindler","year":"2006","unstructured":"Kindler, E.: On the Semantics of EPCs: Resolving the Vicious Circle. Data and Knowledge Engineering\u00a056(1), 23\u201340 (2006)","journal-title":"Data and Knowledge Engineering"},{"doi-asserted-by":"crossref","unstructured":"Mendling, J., van der Aalst, W.M.P.: Formalization and Verification of EPCs with OR-Joins based on State and Context. In: CAiSE 2007. Proceedings of the 19th International Conference on Advanced Information Systems Engineering, Trondheim, Norway, Springer, Heidelberg (to appear, 2007)","key":"5_CR12","DOI":"10.1007\/978-3-540-72988-4_31"},{"unstructured":"OMG. Business Process Modeling Notation (BPMN) Version\u00a01.0. OMG Final Adopted Specification. OMG (February 2006), http:\/\/www.bpmn.org\/","key":"5_CR13"},{"key":"5_CR14","volume-title":"FASE","author":"S. Reis","year":"2007","unstructured":"Reis, S., Metzger, A., Pohl, K.: Integration testing in software product line engineering. In: FASE. Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, Braga, Portugal, Springer, Heidelberg (2007)"},{"unstructured":"Russell, N., ter Hofstede, A.H.M., van der\u00a0Aalst, W.M.P., Mulyar, N.: Workflow control flow patterns: A revised view. BPMCenter Technical report BPM-06-22, BPMCenter.org (2006)","key":"5_CR15"},{"unstructured":"Silver, B.: The 2006 BPMS Report: Understanding and Evaluating BPM Suites (2006), http:\/\/www.bpminstitute.org\/bpmsreport.html","key":"5_CR16"},{"doi-asserted-by":"crossref","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. Preprint, Oxford University Computing Laboratory (March 2007), http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/peter.wong\/pub\/bpmn_extended.pdf","key":"5_CR17","DOI":"10.1007\/978-3-540-88194-0_22"},{"unstructured":"Wynn, M.T.: Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD Thesis, Faculty of Information Technology, Queensland University of Technology (November 2006)","key":"5_CR18"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/11494744_24","volume-title":"Applications and Theory of Petri Nets 2005","author":"M.T. Wynn","year":"2005","unstructured":"Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M: Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 423\u2013443. Springer, Heidelberg (2005)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/11494744_24","volume-title":"Applications and Theory of Petri Nets 2005","author":"M.T. Wynn","year":"2005","unstructured":"Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 423\u2013443. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76848-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T17:23:14Z","timestamp":1684084994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76848-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768463"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76848-7_5","relation":{},"subject":[]}}