{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:21Z","timestamp":1750221381035,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,5]],"date-time":"2018-04-05T00:00:00Z","timestamp":1522886400000},"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":[[2018,4,5]]},"DOI":"10.1145\/3178248.3178258","type":"proceedings-article","created":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T12:30:47Z","timestamp":1521808247000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Validation of Business Process Models through Interactively Enacted Simulation"],"prefix":"10.1145","author":[{"given":"Felix","family":"Hochleitner","sequence":"first","affiliation":[{"name":"Johannes Kepler University of Linz, Department of Business Informatics - Communications Engineering, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Oppl","sequence":"additional","affiliation":[{"name":"Johannes Kepler University of Linz, Department of Business Informatics - Communications Engineering, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Jens Br\u00fcning Martin Gogolla and Peter Forbrig. 2010. Modeling and Formally Checking Workflow Properties Using UML and OCL. BIR.  Jens Br\u00fcning Martin Gogolla and Peter Forbrig. 2010. Modeling and Formally Checking Workflow Properties Using UML and OCL. BIR.","DOI":"10.1007\/978-3-642-16101-8_11"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509825.1509828"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.2307\/249008"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3040565.3040573"},{"key":"e_1_3_2_1_5_1","unstructured":"Simon Forster Jakob Pinggera and Barbara Weber. 2013. Toward an Understanding of the Collaborative Process of Process Modeling. CAiSE Forum: 98--105.  Simon Forster Jakob Pinggera and Barbara Weber. 2013. Toward an Understanding of the Collaborative Process of Process Modeling. CAiSE Forum: 98--105."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.05.007"},{"key":"e_1_3_2_1_7_1","unstructured":"Thomas Herrmann and Kai-Uwe Loser. 2013. Facilitating and Prompting of Collaborative Reflection of Process Models. 17--24.  Thomas Herrmann and Kai-Uwe Loser. 2013. Facilitating and Prompting of Collaborative Reflection of Process Models. 17--24."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-014-0209-8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/INMIC.2013.6731320"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"J Krogstie Odd Ivar Lindland and Guttorm Sindre. 1995. Defining quality aspects for conceptual models. ISCO: 216--231.   J Krogstie Odd Ivar Lindland and Guttorm Sindre. 1995. Defining quality aspects for conceptual models. ISCO: 216--231.","DOI":"10.1007\/978-0-387-34870-4_22"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.ejis.3000598"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2327044"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723839.2723863"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Stefan Obermeier Herbert Fischer Albert Fleischmann and Max Dirndorfer. 2013. Gesch\u00e4ftsprozesse realisieren: Ein praxisorientierter Leitfaden von der Strategie bis zur Implementierung. Springer.  Stefan Obermeier Herbert Fischer Albert Fleischmann and Max Dirndorfer. 2013. Gesch\u00e4ftsprozesse realisieren: Ein praxisorientierter Leitfaden von der Strategie bis zur Implementierung. Springer.","DOI":"10.1007\/978-3-8348-2303-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3040565.3040568"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12599-012-0230-8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Anna Perini Nauman A Qureshi Luca Sabatucci Alberto Siena and Angelo Susi. 2011. Evolving Requirements in Socio-Technical Systems - Concepts and Practice. ER.   Anna Perini Nauman A Qureshi Luca Sabatucci Alberto Siena and Angelo Susi. 2011. Evolving Requirements in Socio-Technical Systems - Concepts and Practice. ER.","DOI":"10.1007\/978-3-642-24606-7_34"},{"volume-title":"End User Development","author":"Repenning Alexander","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2009.07.002"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1108\/14637151111166178"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0118-z"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10648-010-9127-6"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Viswanath Venkatesh Michael G Morris Gordon B Davis and Fred D Davis. 2003. User acceptance of information technology: toward a unified view. MIS quarterly 27 3: 425--478.   Viswanath Venkatesh Michael G Morris Gordon B Davis and Fred D Davis. 2003. User acceptance of information technology: toward a unified view. MIS quarterly 27 3: 425--478.","DOI":"10.2307\/30036540"}],"event":{"name":"S-BPM One '18: 10th International Conference on Subject-Oriented Business Process Management","sponsor":["I2PM Institute of Innovative Process Management"],"location":"Linz Austria","acronym":"S-BPM One '18"},"container-title":["Proceedings of the 10th International Conference on Subject-Oriented Business Process Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178248.3178258","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178248.3178258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:50Z","timestamp":1750213610000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178248.3178258"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,5]]},"references-count":23,"alternative-id":["10.1145\/3178248.3178258","10.1145\/3178248"],"URL":"https:\/\/doi.org\/10.1145\/3178248.3178258","relation":{},"subject":[],"published":{"date-parts":[[2018,4,5]]},"assertion":[{"value":"2018-04-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}