{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T07:04:31Z","timestamp":1792134271969,"version":"4.4.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319584560","type":"print"},{"value":"9783319584577","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58457-7_5","type":"book-chapter","created":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T01:03:51Z","timestamp":1493946231000},"page":"61-73","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Simulation of Multi-perspective Declarative Process Models"],"prefix":"10.1007","author":[{"given":"Lars","family":"Ackermann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Sch\u00f6nig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Jablonski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,5,6]]},"reference":[{"key":"5_CR1","first-page":"1","volume":"63","author":"WMP Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P.: Business process simulation revisited. Enterp. Organ. Model. Simul. 63, 1\u201314 (2010)","journal-title":"Enterp. Organ. Model. Simul."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Frank, U.: Multi-perspective enterprise modeling (memo) conceptual framework and modeling languages. In: HICSS, pp. 1258\u20131267 (2002)","DOI":"10.1109\/HICSS.2002.993989"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/0010-0285(88)90014-X","volume":"20","author":"AL Brown","year":"1988","unstructured":"Brown, A.L., Kane, M.J.: Preschool children can learn to transfer: learning to learn and learning from example. Cogn. Psychol. 20, 493\u2013523 (1988)","journal-title":"Cogn. Psychol."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nig, S., Cabanillas, C., Jablonski, S., Mendling, J.: Mining the organisational perspective in agile business processes. In: BPMDS, pp. 37\u201352 (2015)","DOI":"10.1007\/978-3-319-19237-6_3"},{"key":"5_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-24626-0_2","volume-title":"Enterprise and Organizational Modeling and Simulation","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio, C., Bernardi, M.L., Cimitile, M., Maggi, F.M.: Generating event logs through the simulation of declare models. In: Barjis, J., Pergl, R., Babkin, E. (eds.) EOMAS 2015. LNBIP, vol. 231, pp. 20\u201336. Springer, Cham (2015). doi: 10.1007\/978-3-319-24626-0_2"},{"key":"5_CR6","unstructured":"De Medeiros, A.A., G\u00fcnther, C.W.: Process mining: using cpn tools to create test logs for mining algorithms. In: Proceedings of CPN, vol. 576 (2005)"},{"key":"5_CR7","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-20511-8_20","volume-title":"Business Process Management Workshops","author":"A Burattin","year":"2011","unstructured":"Burattin, A., Sperduti, A.: PLG: a framework for the generation of business process models and their execution logs. In: Muehlen, M., Su, J. (eds.) BPM 2010. LNBIP, vol. 66, pp. 214\u2013219. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-20511-8_20"},{"key":"5_CR8","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-01862-6_29","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"D Fahland","year":"2009","unstructured":"Fahland, D., L\u00fcbke, D., Mendling, J., Reijers, H., Weber, B., Weidlich, M., Zugal, S.: Declarative versus imperative process modeling languages: the issue of understandability. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) BPMDS\/EMMSAD -2009. LNBIP, vol. 29, pp. 353\u2013366. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-01862-6_29"},{"key":"5_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-28108-2_37","volume-title":"Business Process Management Workshops","author":"P Pichler","year":"2012","unstructured":"Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus declarative process modeling languages: an empirical investigation. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM 2011. LNBIP, vol. 99, pp. 383\u2013394. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28108-2_37"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Zeising, M., Sch\u00f6nig, S., Jablonski, S.: Towards a common platform for the support of routine and agile business processes. In: CollaborateCom (2014)","DOI":"10.4108\/icst.collaboratecom.2014.257269"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-642-38709-8_28","volume-title":"Advanced Information Systems Engineering","author":"FM Maggi","year":"2013","unstructured":"Maggi, F.M., Bose, R.P.J.C., Aalst, W.M.P.: A knowledge-based integrated approach for discovering and repairing declare maps. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 433\u2013448. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38709-8_28"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-319-39696-5_18","volume-title":"Advanced Information Systems Engineering","author":"S Sch\u00f6nig","year":"2016","unstructured":"Sch\u00f6nig, S., Rogge-Solti, A., Cabanillas, C., Jablonski, S., Mendling, J.: Efficient and customisable declarative process mining with SQL. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 290\u2013305. Springer, Cham (2016). doi: 10.1007\/978-3-319-39696-5_18"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ackermann, L., Sch\u00f6nig, S., Jablonski, S.: Towards simulation- and mining-based translation of resource-aware process models. In: Proceedings of ReMa (2016)","DOI":"10.1007\/978-3-319-49454-8_1"},{"key":"5_CR14","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Montali, M., Chesani, F., Mello, P., Maggi, F.M.: Towards data-aware constraints in declare. In: Proceedings of the 28th SAC, pp. 1391\u20131396. ACM (2013)","DOI":"10.1145\/2480362.2480624"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.datak.2013.01.004","volume":"86","author":"I Barba","year":"2013","unstructured":"Barba, I., Weber, B., Del Valle, C., Jim\u00e9nez-Ram\u00edrez, A.: User recommendations for the optimized execution of business processes. DKE 86, 61\u201384 (2013)","journal-title":"DKE"},{"key":"5_CR17","volume-title":"The Object Constraint Language: Precise Modeling With Uml (Addison-Wesley OTS)","author":"JB Warmer","year":"1998","unstructured":"Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With Uml (Addison-Wesley OTS). Addison-Wesley Professional, Boston (1998)"},{"issue":"3","key":"5_CR18","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10649-007-9110-4","volume":"68","author":"R Zazkis","year":"2008","unstructured":"Zazkis, R., Chernoff, E.J.: What makes a counterexample exemplary? Educ. Stud. Math. 68(3), 195\u2013208 (2008)","journal-title":"Educ. Stud. Math."},{"key":"5_CR19","unstructured":"Bussler, C.: Analysis of the organization modeling capability of workflow-management-systems. In: PRIISM 1996 Conference Proceedings, pp. 438\u2013455 (1996)"},{"key":"5_CR20","unstructured":"Object Management Group (OMG): Business process model and notation (bpmn) version 2.0. Technical report, January 2011"},{"key":"5_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"W Aalst van der","year":"2011","unstructured":"van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, vol. 2. Springer, New York (2011)"},{"key":"5_CR22","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-17722-4_5","volume-title":"Information Systems Evolution","author":"HMW Verbeek","year":"2011","unstructured":"Verbeek, H.M.W., Buijs, J.C.A.M., Dongen, B.F., Aalst, W.M.P.: XES, XESame, and ProM 6. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 60\u201375. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-17722-4_5"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58457-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:47Z","timestamp":1750225427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58457-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319584560","9783319584577"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58457-7_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"6 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rio de Janeiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}