{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:14:42Z","timestamp":1767183282501,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,23]],"date-time":"2015-04-23T00:00:00Z","timestamp":1429747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,23]]},"DOI":"10.1145\/2723839.2723848","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T14:15:23Z","timestamp":1425392123000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Tool-based checking of business process models"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Speck","sequence":"first","affiliation":[{"name":"Christian-Albrechts-University of Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f6ren","family":"Witt","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University of Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Feja","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University of Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke","family":"Pulverm\u00fcller","sequence":"additional","affiliation":[{"name":"University of Osnabrueck, Osnabr\u00fcck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89762-0_3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2011.68"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.45"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.45"},{"key":"e_1_3_2_1_5_1","volume-title":"A Storybook about Business Process Modeling and Execution","author":"Fleischmann A.","year":"2013","unstructured":"A. Fleischmann , S. Rass , and R. Singer . S-BPM Illustrated , A Storybook about Business Process Modeling and Execution . Springer , 4 2013 . A. Fleischmann, S. Rass, and R. Singer. S-BPM Illustrated, A Storybook about Business Process Modeling and Execution. Springer, 4 2013."},{"key":"e_1_3_2_1_6_1","first-page":"4","author":"Fleischmann A.","year":"2011","unstructured":"A. Fleischmann , W. Schmidt , C. Stary , S. Obermeier , and E. B\u00f6rger . Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern. Hanser , 4 2011 . A. Fleischmann, W. Schmidt, C. Stary, S. Obermeier, and E. B\u00f6rger. Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern. Hanser, 4 2011.","journal-title":"Hanser"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.56"},{"key":"e_1_3_2_1_8_1","first-page":"84","volume-title":"Checking Properties of Business Process Models with Logic Programming. In 5th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07)","author":"Gruhn V.","year":"2007","unstructured":"V. Gruhn and R. Laue . Checking Properties of Business Process Models with Logic Programming. In 5th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07) , pages 84 -- 93 . INSTICC PRESS, 2007 . V. Gruhn and R. Laue. Checking Properties of Business Process Models with Logic Programming. In 5th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), pages 84--93. INSTICC PRESS, 2007."},{"issue":"1","key":"e_1_3_2_1_9_1","first-page":"3","volume":"6","author":"Gruhn V.","year":"2011","unstructured":"V. Gruhn and R. Laue . Detecting common errors in event-driven process chains by label analysis. Enterprise Modelling and Information Systems Architectures , 6 ( 1 ): 3 -- 15 , 2011 . V. Gruhn and R. Laue. Detecting common errors in event-driven process chains by label analysis. Enterprise Modelling and Information Systems Architectures, 6(1): 3--15, 2011.","journal-title":"Enterprise Modelling and Information Systems Architectures"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2009.62"},{"key":"e_1_3_2_1_11_1","volume-title":"Error Prediction, and Guidelines for Correctness","author":"Mendling J.","year":"2008","unstructured":"J. Mendling . Metric for Process Models - Empirical Foundations of Verification , Error Prediction, and Guidelines for Correctness . Springer , Berlin , 2008 . J. Mendling. Metric for Process Models - Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. Springer, Berlin, 2008."},{"key":"e_1_3_2_1_12_1","unstructured":"OMG. Business process model and notation (bpmn) version 2.0 2011.  OMG. Business process model and notation (bpmn) version 2.0 2011."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2010.03.005"},{"key":"e_1_3_2_1_14_1","volume-title":"Composition and Correctness. In SC 2002: Workshop on Software Composition","volume":"65","author":"Pulverm\u00fcller E.","year":"2002","unstructured":"E. Pulverm\u00fcller . Composition and Correctness. In SC 2002: Workshop on Software Composition , volume 65 of Electronic Notes in Theoretical Computer Science (ENTCS). Elsevier Science Publishers , April 2002 . E. Pulverm\u00fcller. Composition and Correctness. In SC 2002: Workshop on Software Composition, volume 65 of Electronic Notes in Theoretical Computer Science (ENTCS). Elsevier Science Publishers, April 2002."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772690.1772906"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"A.-W. Scheer. ARIS - Modellierungsmethoden Metamodelle Awendungen. Springer Berlin Germany 1998.  A.-W. Scheer. ARIS - Modellierungsmethoden Metamodelle Awendungen. Springer Berlin Germany 1998.","DOI":"10.1007\/978-3-642-97731-2"},{"key":"e_1_3_2_1_17_1","unstructured":"Software AG. ARIS Platform 2011.  Software AG. ARIS Platform 2011."},{"key":"e_1_3_2_1_18_1","first-page":"246","volume-title":"Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013","author":"Speck A.","year":"2013","unstructured":"A. Speck , S. Witt , S. Feja , S. Feja , and E. Pulerm\u00fcller . Integrating Validation Techniques for Process-based Models . In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013 ), pages 246 -- 253 . SciTePress , 2013 . A. Speck, S. Witt, S. Feja, S. Feja, and E. Pulerm\u00fcller. Integrating Validation Techniques for Process-based Models. In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), pages 246--253. SciTePress, 2013."},{"key":"e_1_3_2_1_19_1","volume-title":"Lecture Notes in Computer Science. Springer","author":"Stuht T.","year":"2012","unstructured":"T. Stuht , A. Speck , S. Feja , S. Witt , and E. Pulverm\u00fcller . Rule Determination and Process Verification using Business Capabilities. In 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2012), to appear , Lecture Notes in Computer Science. Springer , 2012 . T. Stuht, A. Speck, S. Feja, S. Witt, and E. Pulverm\u00fcller. Rule Determination and Process Verification using Business Capabilities. In 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2012), to appear, Lecture Notes in Computer Science. Springer, 2012."},{"issue":"10","key":"e_1_3_2_1_20_1","first-page":"639","volume":"41","author":"W. M. P.","year":"1999","unstructured":"W. M. P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology , 41 ( 10 ): 639 -- 650 , 1999 . W. M. P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10): 639--650, 1999.","journal-title":"Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology"},{"key":"e_1_3_2_1_21_1","volume-title":"BPM 2010","volume":"6336","author":"W. M.","year":"2010","unstructured":"W. M. P. van der Aalst, N. Lohmann, M. La Rosa, and J. Xu. Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In Business Process Management - 8th International Conference , BPM 2010 , volume 6336 of Lecture Notes in Computer Science, pages 95--111. Springer , 2010 . W. M. P. van der Aalst, N. Lohmann, M. La Rosa, and J. Xu. Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In Business Process Management - 8th International Conference, BPM 2010, volume 6336 of Lecture Notes in Computer Science, pages 95--111. Springer, 2010."},{"key":"e_1_3_2_1_22_1","first-page":"333","volume-title":"RE","author":"Witt S.","year":"2014","unstructured":"S. Witt , S. Feja , A. Speck , and C. Hadler . Business application modeler: A process model validation and verification tool . In RE , pages 333 -- 334 , 2014 . S. Witt, S. Feja, A. Speck, and C. Hadler. Business application modeler: A process model validation and verification tool. In RE, pages 333--334, 2014."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2320765.2320821"}],"event":{"name":"S-BPM ONE '15: 7th International Conference on Subject-Oriented Business Process Management","sponsor":["IANES Interactive Acquisition, Negotiation and Enactment of Subject-Oriented Business Process Knowledge","StrICT Solutions StrICT Solutions GmbH","I2PM Institute of Innovative Process Management","Christian-Albrechts-Universit\u00e4t zu Kiel Christian-Albrechts-Universit\u00e4t zu Kiel","Metasonic Metasonic GmbH","ConsSys IT AG ConsSys IT AG","Wirtschaftsakademie Schleswig-Holstein Wirtschaftsakademie Schleswig-Holstein GmbH"],"location":"Kiel Germany","acronym":"S-BPM ONE '15"},"container-title":["Proceedings of the 7th International Conference on Subject-Oriented Business Process Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723839.2723848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2723839.2723848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:42Z","timestamp":1750227402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723839.2723848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,23]]},"references-count":23,"alternative-id":["10.1145\/2723839.2723848","10.1145\/2723839"],"URL":"https:\/\/doi.org\/10.1145\/2723839.2723848","relation":{},"subject":[],"published":{"date-parts":[[2015,4,23]]},"assertion":[{"value":"2015-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}