{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:36:12Z","timestamp":1725870972269},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319494531"},{"type":"electronic","value":"9783319494548"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49454-8_1","type":"book-chapter","created":{"date-parts":[[2016,11,11]],"date-time":"2016-11-11T21:26:20Z","timestamp":1478899580000},"page":"3-21","source":"Crossref","is-referenced-by-count":4,"title":["Towards Simulation- and Mining-Based Translation of Process Models"],"prefix":"10.1007","author":[{"given":"Lars","family":"Ackermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sch\u00f6nig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Jablonski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,13]]},"reference":[{"key":"1_CR1","unstructured":"Jablonski, S.: MOBILE: a modular workflow model and architecture. In: Working Conference on Dynamic Modelling and Information Systems (1994)"},{"issue":"2","key":"1_CR2","first-page":"99","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. CSRD 23(2), 99\u2013113 (2009)","journal-title":"CSRD"},{"key":"1_CR3","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":"1_CR4","doi-asserted-by":"crossref","unstructured":"Vacul\u00edn, R., Hull, R., Heath, T., Cochran, C., Nigam, A., Sukaviriya, P.: Declarative business artifact centric modeling of decision and knowledge intensive business processes. In: EDOC, pp. 151\u2013160 (2011)","DOI":"10.1109\/EDOC.2011.36"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M Pesic","year":"2006","unstructured":"Pesic, M., Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Reichert, M., Reijers, H.A. (eds.) BPM 2015. LNCS, vol. 256, pp. 169\u2013180. Springer, Heidelberg (2006). doi: 10.1007\/11837862_18"},{"issue":"5","key":"1_CR6","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/j.jlap.2013.05.005","volume":"82","author":"T Hildebrandt","year":"2013","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. J. Logic Algebraic Program. 82(5), 164\u2013185 (2013)","journal-title":"J. Logic Algebraic Program."},{"key":"1_CR7","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":"1_CR8","unstructured":"Prescher, J., Di Ciccio, C., Mendling, J.: From declarative processes to imperative models. In: SIMPDA, pp. 162\u2013173 (2014)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: HICSS, pp. 285\u2013294 (2007)","DOI":"10.1109\/HICSS.2007.572"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/978-3-642-04425-0_58","volume-title":"Model Driven Engineering Languages and Systems","author":"Y Sun","year":"2009","unstructured":"Sun, Y., White, J., Gray, J.: Model transformation by demonstration. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 712\u2013726. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04425-0_58"},{"issue":"2","key":"1_CR11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.infsof.2009.08.004","volume":"52","author":"J Mendling","year":"2010","unstructured":"Mendling, J., Reijers, H.A., van der Aalst, W.M.: Seven process modeling guidelines (7PMG). Inf. Softw. Technol. 52(2), 127\u2013136 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-319-19069-3_6","volume-title":"Advanced Information Systems Engineering","author":"G Giacomo","year":"2015","unstructured":"Giacomo, G., Dumas, M., Maggi, F.M., Montali, M.: Declarative process modeling in BPMN. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 84\u2013100. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-19069-3_6"},{"key":"1_CR13","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":"1_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15723-3_1","volume-title":"Enterprise and Organizational Modeling and Simulation","author":"WMP Aalst","year":"2010","unstructured":"Aalst, W.M.P.: Business process simulation revisited. In: Barjis, J., Pergl, R., Babkin, E. (eds.) EOMAS 2015. LNBIP, vol. 231, pp. 1\u201314. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15723-3_1"},{"key":"1_CR15","volume-title":"Simulation: The Practice of Model Development and Use","author":"R Stewart","year":"2004","unstructured":"Stewart, R.: Simulation: The Practice of Model Development and Use. Wiley, Hoboken (2004)"},{"key":"1_CR16","doi-asserted-by":"crossref","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, Heidelberg (2011)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Weijters, A., Ribeiro, J.: Flexible heuristics miner (FHM). In: CIDM, pp. 310\u2013317 (2011)","DOI":"10.1109\/CIDM.2011.5949453"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Maggi, F., Mooij, A., van der Aalst, W.: User-guided discovery of declarative process models. In: CIDM (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"issue":"4","key":"1_CR19","first-page":"24:1","volume":"5","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. TMIS 5(4), 24:1\u201324:37 (2015)","journal-title":"TMIS"},{"key":"1_CR20","unstructured":"Sch\u00f6nig, S., Rogge-Solti, A., Cabanillas, C., Jablonski, S., Mendling, J.: Proceedings of the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015, Stockholm, Sweden, 8\u201312 June 2015 (2015, in press)"},{"key":"1_CR21","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-19237-6_3","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S Sch\u00f6nig","year":"2015","unstructured":"Sch\u00f6nig, S., Cabanillas, C., Jablonski, S., Mendling, J.: Mining the organisational perspective in agile business processes. In: Schmidt, R., Gu\u00e9dria, W., Bider, I., Guerreiro, S. (eds.) BPMDS\/EMMSAD 2016. LNBIP, vol. 248, pp. 37\u201352. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-19237-6_3"},{"key":"1_CR22","volume-title":"Handbook on Business Process Management: Introduction, Methods, and Information Systems","author":"WMP Aalst","year":"2015","unstructured":"Aalst, W.M.P.: Handbook on Business Process Management: Introduction, Methods, and Information Systems. Springer, Heidelberg (2015)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-07734-5_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., Aalst, W.M.P.: Discovering block-structured process models from incomplete event logs. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 91\u2013110. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-07734-5_6"},{"key":"1_CR24","unstructured":"Nakatumba, J., Rozinat, A., Russell, N.: Business process simulation: how to get it right. In: International Handbook on BPM (2008)"},{"key":"1_CR25","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","year":"2015","unstructured":"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, Heidelberg (2015). doi: 10.1007\/978-3-319-24626-0_2"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-23059-2_10","volume-title":"Business Process Management","author":"M Westergaard","year":"2011","unstructured":"Westergaard, M.: Better algorithms for analyzing and enacting declarative workflow languages using LTL. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 83\u201398. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-23059-2_10"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-31095-9_18","volume-title":"Advanced Information Systems Engineering","author":"FM Maggi","year":"2012","unstructured":"Maggi, F.M., Bose, R.P.J.C., Aalst, W.M.P.: Efficient discovery of understandable declarative process models from event logs. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270\u2013285. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31095-9_18"},{"key":"1_CR28","unstructured":"Maggi, F.M.: Declarative process mining with the declare component of ProM. In: BPM (Demos) (2013)"},{"issue":"2","key":"1_CR29","doi-asserted-by":"crossref","first-page":"1418","DOI":"10.1007\/s11232-014-0222-6","volume":"181","author":"M Westergaard","year":"2014","unstructured":"Westergaard, M., Stahl, C.: Leveraging super-scalarity and parallelism to provide fast declare mining without restrictions. Theor. Math. Phys. 181(2), 1418\u20131427 (2014)","journal-title":"Theor. Math. Phys."},{"key":"1_CR30","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/j.procir.2015.02.026","volume":"30","author":"E Uhlmann","year":"2015","unstructured":"Uhlmann, E., Gabriel, C., Raue, N.: An automation approach based on workflows and software agents for industrial product-service systems. CIRP 30, 341\u2013346 (2015)","journal-title":"CIRP"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"BF Dongen","year":"2005","unstructured":"Dongen, B.F., Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., Aalst, W.M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444\u2013454. Springer, Heidelberg (2005). doi: 10.1007\/11494744_25"},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1016\/j.is.2015.07.004","volume":"56","author":"R Conforti","year":"2016","unstructured":"Conforti, R., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., La Rosa, M.: BPMN miner: automated discovery of BPMN process models with hierarchical structure. Inf. Syst. 56, 284\u2013303 (2016)","journal-title":"Inf. Syst."},{"issue":"2","key":"1_CR33","first-page":"182","volume":"2","author":"W Aalst Van der","year":"2012","unstructured":"Van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev. DM KD 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rev. DM KD"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Rodrigues, R., Azevedo, L.G., Revoredo, K., Barros, M.O., Leopold, H.: BPME: an experiment on process model understandability using textual work instructions and BPMN Models. In: SBES (2015)","DOI":"10.1109\/SBES.2015.12"},{"key":"1_CR35","unstructured":"Fahland, D.: Towards analyzing declarative workflows. In: Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceed, vol. 07061. IBFI, Germany (2007)"},{"key":"1_CR36","unstructured":"Recker, J.C., Mendling, J.: On the translation between BPMN AND BPEL: conceptual mismatch between process modeling languages. In: CAISE Workshops, pp. 521\u2013532 (2006)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise and Organizational Modeling and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49454-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T10:22:21Z","timestamp":1568542941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49454-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319494531","9783319494548"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49454-8_1","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]}}}