{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:58:07Z","timestamp":1725901087373},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_11","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T14:46:41Z","timestamp":1285080401000},"page":"130-145","source":"Crossref","is-referenced-by-count":6,"title":["Modeling and Formally Checking Workflow Properties Using UML and OCL"],"prefix":"10.1007","author":[{"given":"Jens","family":"Br\u00fcning","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-75209-7_26","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Brambilla","year":"2007","unstructured":"Brambilla, M., Cabot, J., Comai, S.: Automatic Generation of Workflow-Extended Domain Models. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 375\u2013389. Springer, Heidelberg (2007)"},{"key":"11_CR2","unstructured":"Br\u00fcning, J., Forbrig, P.: Modellierung von Entscheidungen und Interpretation von Entscheidungsoperatoren in einem WfMS. In: EPK-2009 Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Berlin, CEUR-WS 554 (2009)"},{"key":"11_CR3","unstructured":"Br\u00fcning, J., Wolff, A.: Declarative Models for Business Processes and UI Generation using OCL. In: The Pragmatics of OCL and Other Textual Specification Languages 2009, Denver, ECEASST, vol.\u00a024 (2009)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-540-85758-7_29","volume-title":"Business Process Management","author":"G. Decker","year":"2008","unstructured":"Decker, G., Overdick, H., Weske, M.: Oryx - An Open Modeling Platform for the BPM Community. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 382\u2013385. Springer, Heidelberg (2008)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Dumas, M., ter Hofstede, A.: UML Activity Diagrams as a Workflow Specification Language. In: International Conference on the Unified Modeling Language (UML), Toronto (2001)","DOI":"10.1007\/3-540-45441-1_7"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-72952-5_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"G. Engels","year":"2007","unstructured":"Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities Using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 76\u201390. Springer, Heidelberg (2007)"},{"key":"11_CR7","unstructured":"F\u00f6rster, A., Engels, G., Schattkowsky, van der Straeten, R.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: TASE\u201907, Shanghai (2009)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming\u00a069, 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"key":"11_CR9","unstructured":"Hollingsworth, D.: The Workflow Reference Model, WFMC-TC-1003 (1995), \n                    \n                      http:\/\/www.wfmc.org"},{"key":"11_CR10","series-title":"LNBIP 17","first-page":"212","volume-title":"BPM 2008 Workshops","author":"S. K\u00fchne","year":"2008","unstructured":"K\u00fchne, S., Kern, H., Gruhn, V., Laue, R.: Business Process Modelling with Continuous Validation. In: Ardagna, D., et al. (eds.) BPM 2008 Workshops. LNBIP 17, pp. 212\u2013223. Springer, Heidelberg (2008)"},{"key":"11_CR11","unstructured":"OMG Unified Modelling Language (UML) Superstructure Specification Version 2.2 (2009), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.2\/Superstructure\/PDF\/"},{"key":"11_CR12","unstructured":"OMG Object Constraint Language (OCL) Specification Version 2.2 (2010), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.2\/PDF"},{"key":"11_CR13","unstructured":"OMG Workflow Management Facility Version 1.2 (2000), \n                    \n                      http:\/\/www.omg.org\/spec\/WfMF\/1.2\/"},{"key":"11_CR14","unstructured":"OMG Business Process Model and Notation (BPMN) Specification Version 2.0, Beta 1 (2009), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?dtc\/09-08-14"},{"issue":"1","key":"11_CR15","first-page":"103","volume":"6","author":"M. Rosemann","year":"1998","unstructured":"Rosemann, M., zur Muehlen, M.: Evaluation of Workflow Management Systems - a Meta Model Approach. Australian Journal of Information Systems\u00a06(1), 103\u2013116 (1998)","journal-title":"Australian Journal of Information Systems"},{"key":"11_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97998-9","volume-title":"Business Process Modeling","author":"A.-W. Scheer","year":"1999","unstructured":"Scheer, A.-W.: Business Process Modeling. Springer, Heidelberg (1999)"},{"key":"11_CR17","unstructured":"Schonenberg, M., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.: Towards a taxonomy of process flexibility (extended version). BPM Center Report BPM-07-11, BPMcenter.org (2007)"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"A. Hofstede ter","year":"2005","unstructured":"ter Hofstede, A., van der Aalst, W.: YAWL: Yet Another Workflow Language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"issue":"3","key":"11_CR19","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)","journal-title":"Distributed and Parallel Databases"},{"issue":"2","key":"11_CR20","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W. Aalst van der","year":"2009","unstructured":"van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative Workflows Balancing Between Flexibility and Support. Computer Science - Research and Development\u00a023(2), 99\u2013113 (2009)","journal-title":"Computer Science - Research and Development"},{"key":"11_CR21","unstructured":"Weske, M.: Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects, Postdoctoral Dissertation at University of M\u00fcnster (2000)"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T01:04:18Z","timestamp":1553130258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16101-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161001","9783642161018"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16101-8_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2010]]}}}