{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T01:29:33Z","timestamp":1762738173013,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319396958"},{"type":"electronic","value":"9783319396965"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39696-5_6","type":"book-chapter","created":{"date-parts":[[2016,5,20]],"date-time":"2016-05-20T15:37:48Z","timestamp":1463758668000},"page":"83-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Improving Understandability of Declarative Process Models by Revealing Hidden Dependencies"],"prefix":"10.1007","author":[{"given":"Johannes","family":"De Smedt","sequence":"first","affiliation":[]},{"given":"Jochen","family":"De Weerdt","sequence":"additional","affiliation":[]},{"given":"Estefan\u00eda","family":"Serral","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Vanthienen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,21]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-29645-1_14","volume-title":"Models in Software Engineering","author":"S Zugal","year":"2012","unstructured":"Zugal, S., Pinggera, J., Weber, B., Mendling, J., Reijers, H.A.: Assessing the impact of hierarchy on model understandability \u2013 a cognitive perspective. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol. 7167, pp. 123\u2013133. Springer, Heidelberg (2012)"},{"key":"6_CR2","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-38484-4_2","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"C Haisjackl","year":"2013","unstructured":"Haisjackl, C., Zugal, S., Soffer, P., Hadar, I., Reichert, M., Pinggera, J., Weber, B.: Making sense of declarative process models: common strategies and typical pitfalls. In: Nurcan, S., Proper, H.A., Soffer, P., Krogstie, J., Schmidt, R., Halpin, T., Bider, I. (eds.) BPMDS 2013 and EMMSAD 2013. LNBIP, vol. 147, pp. 2\u201317. Springer, Heidelberg (2013)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.: Declare: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, pp. 287\u2013300. IEEE (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"6_CR4","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-21759-3_12","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S Zugal","year":"2011","unstructured":"Zugal, S., Pinggera, J., Weber, B.: The impact of testcases on the maintainability of declarative process models. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol. 81, pp. 163\u2013177. Springer, Heidelberg (2011)"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M.M., Aalst, W., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. Web 4(1), 1\u201362 (2010)","journal-title":"ACM Trans. Web"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.dss.2015.06.002","volume":"77","author":"J De Smedt","year":"2015","unstructured":"De Smedt, J., De Weerdt, J., Vanthienen, J.: Fusion miner: process discovery for mixed-paradigm models. Decis. Support Syst. 77, 123\u2013136 (2015)","journal-title":"Decis. Support Syst."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Burattin, A., Maggi, F.M., van der Aalst, W.M., Sperduti, A.: Techniques for a posteriori analysis of declarative processes. In: 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, pp. 41\u201350. IEEE (2012)","DOI":"10.1109\/EDOC.2012.15"},{"key":"6_CR8","unstructured":"Pesic, M.: Constraint-based workflow management systems: shifting control to users. Ph.D. thesis, Technische Universiteit Eindhoven (2008)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Di Ciccio, C., Mecella, M.: A two-step fast algorithm for the automated discovery of declarative workflows. In: 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), pp. 135\u2013142. IEEE (2013)","DOI":"10.1109\/CIDM.2013.6597228"},{"key":"6_CR10","unstructured":"Westergaard, M., Stahl, C., Reijers, H.A.: Unconstrainedminer: efficient discovery of generalized declarative process models. Technical report BPM-13-28, BPMcenter (2013)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132\u2013147. Springer, Heidelberg (2011)"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s12599-015-0416-y","volume":"58","author":"J De Smedt","year":"2016","unstructured":"De Smedt, J., De Weerdt, J., Vanthienen, J., Poels, G.: Mixed-paradigm process modeling with intertwined state spaces. Bus. Inf. Syst. Eng. 58(1), 19\u201329 (2016)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"6_CR13","first-page":"1","volume":"820","author":"M Westergaard","year":"2011","unstructured":"Westergaard, M., Maggi, F.M.: Declare: a tool suite for declarative workflow modeling and enactment. BPM (Demos) 820, 1\u20135 (2011)","journal-title":"BPM (Demos)"},{"key":"6_CR14","unstructured":"M\u00f8ller, A.: dk. brics. automaton-finite-state automata and regular expressions for Java (2010). Accessed 30 Aug 2014"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"WMP van der Aalst","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"6_CR16","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., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"6_CR17","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 (2011)","DOI":"10.4204\/EPTCS.69.5"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-19589-1_1","volume-title":"Web Services and Formal Methods","author":"R Hull","year":"2011","unstructured":"Hull, R., et al.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles (invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1\u201324. Springer, Heidelberg (2011)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"De Smedt, J., De Weerdt, J., Serral Asensio, E., Vanthienen, J.: Gamification of declarative process models for learning and model verification. In: Business Process Management Workshops. Springer (2015). Accepted","DOI":"10.1007\/978-3-319-42887-1_35"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Masellis, R.D., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp. 1027\u20131033, 27\u201331 July 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada (2014)","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"6_CR21","first-page":"1","volume-title":"Data-Driven Process Discovery and Analysis","author":"C Di Ciccio","year":"2015","unstructured":"Di Ciccio, C., Mecella, M., Mendling, J.: The effect of noise on mined declarative constraints. In: Ceravolo, P., Accorsi, R., Cudre-Mauroux, P. (eds.) Data-Driven Process Discovery and Analysis, pp. 1\u201324. Springer, Heidelberg (2015)"},{"key":"6_CR22","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., van der 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)"}],"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-39696-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T23:49:00Z","timestamp":1656460140000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-39696-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319396958","9783319396965"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39696-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"21 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}