{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T10:03:39Z","timestamp":1766311419843,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319915623"},{"type":"electronic","value":"9783319915630"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91563-0_23","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T05:53:18Z","timestamp":1526449998000},"page":"374-390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Clinical Processes - The Killer Application for Constraint-Based Process Interactions?"],"prefix":"10.1007","author":[{"given":"Andres","family":"Jimenez-Ramirez","sequence":"first","affiliation":[]},{"given":"Irene","family":"Barba","sequence":"additional","affiliation":[]},{"given":"Manfred","family":"Reichert","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"Weber","sequence":"additional","affiliation":[]},{"given":"Carmelo","family":"Del Valle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"issue":"11","key":"23_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"23_CR2","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-31072-0_14","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"I Barba","year":"2012","unstructured":"Barba, I., Lanz, A., Weber, B., Reichert, M., Del Valle, C.: Optimized time management for declarative workflows. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) BPMDS\/EMMSAD-2012. LNBIP, vol. 113, pp. 195\u2013210. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31072-0_14"},{"key":"23_CR3","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., Jimenez-Ramirez, A.: User recommendations for the optimized execution of business processes. Data Knowl. Eng. 86, 61\u201384 (2013)","journal-title":"Data Knowl. Eng."},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","volume":"65","author":"A Burattin","year":"2016","unstructured":"Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194\u2013211 (2016)","journal-title":"Expert Syst. Appl."},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-32885-5_6","volume-title":"Business Process Management","author":"M de Leoni","year":"2012","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning event logs and declarative process models for conformance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 82\u201397. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32885-5_6"},{"volume-title":"Process-Aware Information Systems: Bridging People and Software Through Process Technology","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H. (eds.): Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley-Interscience, Hoboken (2005)","key":"23_CR6"},{"issue":"2","key":"23_CR7","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10270-014-0435-z","volume":"15","author":"C Haisjackl","year":"2016","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(2), 325\u2013352 (2016)","journal-title":"Softw. Syst. Model."},{"unstructured":"Heuck, E., Hildebrandt, T., Ki\u00e6rulff Lerche, R., Marquard, M., Normann, H., Iven Str\u00f8msted, R., Weber, B.: Digitalising the general data protection regulation with dynamic condition response graphs. In: Proceedings of BPM, pp. 124\u2013134 (2017)","key":"23_CR8"},{"issue":"5","key":"23_CR9","doi-asserted-by":"publisher","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":"23_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.compind.2016.03.002","volume":"80","author":"Y Jiang","year":"2016","unstructured":"Jiang, Y., Xiao, N., Zhang, Y., Zhang, L.: A novel flexible activity refinement approach for improving workflow process flexibility. Comput. Ind. 80, 1\u201315 (2016)","journal-title":"Comput. Ind."},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-38709-8_7","volume-title":"Advanced Information Systems Engineering","author":"A Jim\u00e9nez-Ram\u00edrez","year":"2013","unstructured":"Jim\u00e9nez-Ram\u00edrez, A., Barba, I., del Valle, C., Weber, B.: Generating multi-objective optimized business process enactment plans. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 99\u2013115. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38709-8_7"},{"unstructured":"Jimenez-Ramirez, A., Barba, I., Fernandez-Olivares, J., del Valle, C., Weber, B.: Time prediction on multi-perspective declarative business processes. Knowledge and Information Systems, pp. 1\u201331 (in press)","key":"23_CR12"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.is.2015.10.002","volume":"57","author":"A Lanz","year":"2016","unstructured":"Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38\u201368 (2016)","journal-title":"Inf. Syst."},{"issue":"2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s00766-012-0162-3","volume":"19","author":"A Lanz","year":"2014","unstructured":"Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requirements Eng. 19(2), 113\u2013141 (2014)","journal-title":"Requirements Eng."},{"key":"23_CR15","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-11370-8_19","volume-title":"Perspectives in Business Informatics Research","author":"FM Maggi","year":"2014","unstructured":"Maggi, F.M.: Discovering metric temporal business constraints from event logs. In: Johansson, B., Andersson, B., Holmberg, N. (eds.) BIR 2014. LNBIP, vol. 194, pp. 261\u2013275. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11370-8_19"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-642-40176-3_8","volume-title":"Business Process Management","author":"FM Maggi","year":"2013","unstructured":"Maggi, F.M., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Montali, M.: Discovering data-aware declarative process models from event logs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 81\u201396. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40176-3_8"},{"issue":"1","key":"23_CR17","doi-asserted-by":"publisher","first-page":"1440003","DOI":"10.1142\/S0218843014400036","volume":"23","author":"FM Maggi","year":"2014","unstructured":"Maggi, F.M., Westergaard, M.: Using timed automata for a Priori warnings and planning for timed declarative process models. Int. J. Coop. Inf. Syst. 23(1), 1440003 (2014)","journal-title":"Int. J. Coop. Inf. Syst."},{"issue":"8\u20139","key":"23_CR18","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1177\/0037549709358899","volume":"86","author":"RS Mans","year":"2010","unstructured":"Mans, R.S., Russell, N.C., van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J.: Simulation to analyze the impact of a schedule-aware workflow management system. Simulation 86(8\u20139), 519\u2013541 (2010)","journal-title":"Simulation"},{"key":"23_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-19237-6_10","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S Mertens","year":"2015","unstructured":"Mertens, S., Gailly, F., Poels, G.: Enhancing declarative process models with DMN decision logic. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds.) CAISE 2015. LNBIP, vol. 214, pp. 151\u2013165. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19237-6_10"},{"issue":"1","key":"23_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/2542182.2542199","volume":"5","author":"M Montali","year":"2013","unstructured":"Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1), 17 (2013)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-78238-4_35","volume-title":"Business Process Management Workshops","author":"N Mulyar","year":"2008","unstructured":"Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and procedural approaches for modelling clinical guidelines: addressing flexibility issues. In: ter Hofstede, A., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007. LNCS, vol. 4928, pp. 335\u2013346. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78238-4_35"},{"unstructured":"Ovarian cancer (CG122) (2011). http:\/\/www.nice.org.uk\/CG122. Accessed 11 Jan 2017","key":"23_CR22"},{"unstructured":"Pesic, M.: Constraint-based workflow management systems: shifting control to users. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2008)","key":"23_CR23"},{"key":"23_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30409-5"},{"key":"23_CR25","doi-asserted-by":"publisher","first-page":"9236","DOI":"10.1016\/j.eswa.2015.07.040","volume":"23","author":"M Rovani","year":"2015","unstructured":"Rovani, M., Maggi, F.M., de Leoni, M., van der Aalst, W.M.P.: Declarative process mining in healthcare. Expert Sys. Appl. 23, 9236\u20139251 (2015)","journal-title":"Expert Sys. Appl."},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-46295-0_6","volume-title":"Service-Oriented Computing","author":"S Sch\u00f6nig","year":"2016","unstructured":"Sch\u00f6nig, S., Di Ciccio, C., Maggi, F.M., Mendling, J.: Discovery of multi-perspective declarative process models. In: Sheng, Q.Z., Stroulia, E., Tata, S., Bhiri, S. (eds.) ICSOC 2016. LNCS, vol. 9936, pp. 87\u2013103. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46295-0_6"},{"unstructured":"Schulthei\u00df, B., Meyer, J., Mangold, R., Zemmler, T., Reichert, M.: Designing the processes for ovarian cancer surgery. Technical report DBIS-6, University of Ulm (1996)","key":"23_CR27"},{"issue":"2","key":"23_CR28","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP van der Aalst","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, M.H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99\u2013113 (2009)","journal-title":"Comput. Sci. Res. Dev."},{"key":"23_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-540-78238-4_37","volume-title":"Business Process Management Workshops","author":"K van Hee","year":"2008","unstructured":"van Hee, K., Schonenberg, H., Serebrenik, A., Sidorova, N., van der Werf, J.M.: Adaptive workflows for healthcare information systems. In: ter Hofstede, A., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007. LNCS, vol. 4928, pp. 359\u2013370. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78238-4_37"},{"key":"23_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28616-2","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-642-28616-2"},{"key":"23_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-33606-5_16","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"M Westergaard","year":"2012","unstructured":"Westergaard, M., Maggi, F.M.: Looking into the future. In: Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.) OTM 2012. LNCS, vol. 7565, pp. 250\u2013267. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33606-5_16"},{"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: Proceedings of CollaborateCom, pp. 94\u2013103 (2014)","key":"23_CR32","DOI":"10.4108\/icst.collaboratecom.2014.257269"},{"issue":"3","key":"23_CR33","doi-asserted-by":"publisher","first-page":"1081","DOI":"10.1007\/s10270-013-0356-2","volume":"14","author":"S Zugal","year":"2015","unstructured":"Zugal, S., Soffer, P., Haisjackl, C., Pinggera, J., Reichert, M., Weber, B.: Investigating expressiveness and understandability of hierarchy in declarative business process models. Softw. Syst. Model. 14(3), 1081\u20131103 (2015)","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91563-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:37:55Z","timestamp":1710268675000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91563-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319915623","9783319915630"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91563-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"17 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/caise2018.ut.ee","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}