{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:40:16Z","timestamp":1762782016647,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319484716"},{"type":"electronic","value":"9783319484723"}],"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-48472-3_32","type":"book-chapter","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T04:43:13Z","timestamp":1476679393000},"page":"531-551","source":"Crossref","is-referenced-by-count":29,"title":["The Semantics of Hybrid Process Models"],"prefix":"10.1007","author":[{"given":"Tijs","family":"Slaats","sequence":"first","affiliation":[]},{"given":"Dennis M. M.","family":"Schunselaar","sequence":"additional","affiliation":[]},{"given":"Fabrizio M.","family":"Maggi","sequence":"additional","affiliation":[]},{"given":"Hajo A.","family":"Reijers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,18]]},"reference":[{"key":"32_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-662-45391-9_2","volume-title":"Service-Oriented Computing","author":"MC Barukh","year":"2014","unstructured":"Barukh, M.C., Benatallah, B.: ProcessBase: a hybrid process management platform. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014. LNCS, vol. 8831, pp. 16\u201331. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45391-9_2"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Carlsen, S.: Action port model: A mixed paradigm conceptual workflow modeling language. In: IFCIS, pp. 300\u2013309 (1998)","DOI":"10.1109\/COOPIS.1998.706274"},{"key":"32_CR3","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":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-662-45563-0_26","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"J Smedt","year":"2014","unstructured":"Smedt, J., Weerdt, J., Vanthienen, J.: Multi-paradigm process mining: retrieving better models by combining rules and sequences. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 446\u2013453. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45563-0_26"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Debois, S., Hildebrandt, T.T., Marquard, M., Slaats, T.: A case for declarative process modelling: Agile development of a grant application system. In: EDOCW\/AdaptiveCM 2014, pp. 126\u2013133 (2014)","DOI":"10.1109\/EDOCW.2014.27"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-10172-9_2","volume-title":"Business Process Management","author":"S Debois","year":"2014","unstructured":"Debois, S., Hildebrandt, T., Slaats, T.: Hierarchical declarative modelling with refinement and sub-processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 18\u201333. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10172-9_2"},{"key":"32_CR7","first-page":"1374","volume":"2015","author":"S Debois","year":"2015","unstructured":"Debois, S., Slaats, T.: The analysis of a real life declarative process. CIDM 2015, 1374\u20131382 (2015)","journal-title":"CIDM"},{"key":"32_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of business process management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of business process management. Springer, Heidelberg (2013)"},{"key":"32_CR9","first-page":"1","volume":"15","author":"C Haisjackl","year":"2014","unstructured":"Haisjackl, C., Barba, I., Zugal, S., Soffer, P., Hadar, I., Reichert, M., Pinggera, J., Weber, B.: Understanding declare models: strategies, pitfalls, empirical results. Softw. Syst. Model. 15, 1\u201328 (2014)","journal-title":"Softw. Syst. Model."},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES, pp. 59\u201373 (2010)","DOI":"10.4204\/EPTCS.69.5"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-29320-7_23","volume-title":"Fundamentals of Software Engineering","author":"T Hildebrandt","year":"2012","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 343\u2013350. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29320-7_23"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-319-10172-9_27","volume-title":"Business Process Management","author":"FM Maggi","year":"2014","unstructured":"Maggi, F.M., Slaats, T., Reijers, H.A.: The automated discovery of hybrid processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 392\u2013399. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10172-9_27"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Markovic, I., Kowalkiewicz, M.: Linking business goals to process models in semantic business process modeling. In: EDOC, pp. 332\u2013338 (2008)","DOI":"10.1109\/EDOC.2008.43"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-23063-4_15","volume-title":"Business Process Management","author":"M Marquard","year":"2015","unstructured":"Marquard, M., Shahzad, M., Slaats, T.: Web-based modelling and collaborative simulation of declarative processes. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 209\u2013225. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23063-4_15"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach. LNBIP, vol. 56. Springer, Heidelberg (2010). http:\/\/link.springer.com\/book\/10.1007%2F978-3-642-14538-4","DOI":"10.1007\/978-3-642-14538-4"},{"issue":"1","key":"32_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. TWEB 4(1), 3 (2010)","journal-title":"TWEB"},{"issue":"6","key":"32_CR17","first-page":"756","volume":"35","author":"DL Moody","year":"2009","unstructured":"Moody, D.L.: The physics of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE TSE 35(6), 756\u2013779 (2009)","journal-title":"IEEE TSE"},{"key":"32_CR18","first-page":"287","volume":"2007","author":"M Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. EDOC 2007, 287\u2013300 (2007)","journal-title":"EDOC"},{"key":"32_CR19","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"},{"issue":"5","key":"32_CR20","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1016\/j.is.2011.03.003","volume":"36","author":"HA Reijers","year":"2011","unstructured":"Reijers, H.A., Mendling, J., Dijkman, R.M.: Human and automatic modularizations of process models to enhance their comprehension. Inf. Syst. 36(5), 881\u2013897 (2011)","journal-title":"Inf. Syst."},{"key":"32_CR21","first-page":"307","volume":"2013","author":"HA Reijers","year":"2013","unstructured":"Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling-an academic dream or the future for bpm? BPM 2013, 307\u2013322 (2013)","journal-title":"BPM"},{"issue":"5","key":"32_CR22","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"SW Sadiq","year":"2005","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst. 30(5), 349\u2013378 (2005)","journal-title":"Inf. Syst."},{"key":"32_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-642-40176-3_28","volume-title":"Business Process Management","author":"T Slaats","year":"2013","unstructured":"Slaats, T., Mukkamala, R.R., Hildebrandt, T., Marquard, M.: Exformatics declarative case management workflows as DCR graphs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 339\u2013354. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40176-3_28"},{"issue":"1","key":"32_CR24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s12599-015-0416-y","volume":"58","author":"J Smedt De","year":"2016","unstructured":"De Smedt, J., De Weerdt, J., Vanthienen, J., Poels, G.: Mixed-paradigm process modeling with intertwined state spaces. Bus. IS Eng. 58(1), 19\u201329 (2016)","journal-title":"Bus. IS Eng."},{"key":"32_CR25","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. IEEE (2011)","DOI":"10.1109\/EDOC.2011.36"},{"key":"32_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-642-04205-8_27","volume-title":"Database Systems for Advanced Applications","author":"WMP Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Adams, M., ter Hofstede, A.H.M., Pesic, M., Schonenberg, H.: Flexibility as a service. In: Chen, L., Liu, C., Liu, Q., Deng, K. (eds.) DASFAA 2009 Workshops. LNCS, vol. 5667, pp. 319\u2013333. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04205-8_27"},{"key":"32_CR27","first-page":"99","volume":"23","author":"WMP Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Comp. Sc. R&D 23, 99\u2013113 (2009)","journal-title":"Comp. Sc. R&D"},{"issue":"4","key":"32_CR28","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"32_CR29","unstructured":"Westergaard, M., Slaats, T.: Cpn tools 4: A process modeling tool combining declarative and imperative paradigms. In: BPM (Demos) (2013)"},{"key":"32_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-40176-3_24","volume-title":"Business Process Management","author":"M Westergaard","year":"2013","unstructured":"Westergaard, M., Slaats, T.: Mixing paradigms for more comprehensible models. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 283\u2013290. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40176-3_24"},{"key":"32_CR31","first-page":"167","volume":"2012","author":"S Zugal","year":"2012","unstructured":"Zugal, S., Soffer, P., Pinggera, J., Weber, B.: Expressiveness and understandability considerations of hierarchy in declarative business process models. BPMDS 2012, 167\u2013181 (2012)","journal-title":"BPMDS"},{"issue":"4","key":"32_CR32","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/j.is.2009.02.006","volume":"35","author":"MZ Muehlen","year":"2010","unstructured":"Muehlen, M.Z., Indulska, M.: Indulska.: Modeling languages for business processes and business rules: A representational analysis. Inf. Syst. 35(4), 379\u2013390 (2010)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2016 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48472-3_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T13:38:31Z","timestamp":1568468311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48472-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319484716","9783319484723"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48472-3_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}