{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:02:42Z","timestamp":1742925762860,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319462943"},{"type":"electronic","value":"9783319462950"}],"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-46295-0_7","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T13:21:04Z","timestamp":1474291264000},"page":"104-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Declarative Process Models: Different Ways to Be Hierarchical"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"De Masellis","sequence":"first","affiliation":[]},{"given":"Chiara","family":"Di Francescomarino","sequence":"additional","affiliation":[]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[]},{"given":"Fabrizio M.","family":"Maggi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.M.P.: Inheritance of behavior. J. Log. Algebr. Program. 47(2), 47\u2013145 (2001)","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1287\/isre.14.4.337.24901","volume":"14","author":"A Basu","year":"2003","unstructured":"Basu, A., Blanning, R.W.: Synthesis and decomposition of processes in organizations. Inf. Syst. Res. 14(4), 337\u2013355 (2003)","journal-title":"Inf. Syst. Res."},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Business Process Management","author":"G De Giacomo","year":"2014","unstructured":"De Giacomo, G., De Masellis, R., Grasso, M., Maggi, F.M., Montali, M.: Monitoring business metaconstraints based on LTL and LDL for finite traces. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 1\u201317. Springer, Heidelberg (2014)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., De Masellis, R., Montali, M.: Reasoning on LTL on finite traces: Insensitivity to infiniteness. In: Proceedings of the AAAI 2014, pp. 1027\u20131033 (2014)","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Burattin, A., Maggi, F.M. Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. (2016). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0957417416304390, http:\/\/dx.doi.org\/10.1016\/j.eswa.2016.08.040","DOI":"10.1016\/j.eswa.2016.08.040"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-319-23063-4_9","volume-title":"Business Process Management","author":"C Di Ciccio","year":"2015","unstructured":"Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Ensuring model consistency in declarative process discovery. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. Lecture Notes in Computer Science, vol. 9253, pp. 144\u2013159. Springer, Heidelberg (2015)"},{"key":"7_CR7","doi-asserted-by":"publisher","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":"7_CR8","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Longman Publishing Co. Inc., Boston (2006)"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1108\/14637159610148040","volume":"2","author":"NF Kock Jr","year":"1996","unstructured":"Kock Jr., N.F., McQueen, R.J.: Product flow, breadth and complexity of business processes: an empirical study of 15 business processes in three organizations. Bus. Process Re-eng. Manag. J. 2(2), 8\u201322 (1996)","journal-title":"Bus. Process Re-eng. Manag. J."},{"key":"7_CR10","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)"},{"issue":"3","key":"7_CR11","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1287\/mnsc.45.3.425","volume":"45","author":"TW Malone","year":"1999","unstructured":"Malone, T.W., Crowston, K., Lee, J., Pentland, B., Dellarocas, C., Wyner, G., Quimby, J., Osborn, C.S., Bernstein, A., Herman, G., Klein, M., O\u2019Donnell, E.: Tools for inventing organizations: Toward a handbook of organizational processes. Manage. Sci. 45(3), 425\u2013443 (1999)","journal-title":"Manage. Sci."},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75183-0_4","volume-title":"Business Process Management","author":"J Mendling","year":"2007","unstructured":"Mendling, J., Reijers, H.A., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 48\u201363. Springer, Heidelberg (2007)"},{"issue":"6","key":"7_CR13","first-page":"756","volume":"35","author":"DL Moody","year":"2009","unstructured":"Moody, D.L.: The \u201cPhysics\u201d 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":"7_CR14","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":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-85758-7_5","volume-title":"Business Process Management","author":"HA Reijers","year":"2008","unstructured":"Reijers, H.A., Mendling, J.: Modularity in process models: review and effects. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 20\u201335. Springer, Heidelberg (2008)"},{"key":"7_CR16","unstructured":"La Rosa, M., van der Aalst, W.M., Dumas, M., Milani, F.P.: Business process variability modeling: a survey. Technical report (2013). http:\/\/eprints.qut.edu.au\/61842\/"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117\u2013134 (2000)","journal-title":"Inf. Syst."},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.dss.2016.06.012","volume":"89","author":"S Sch\u00f6nig","year":"2016","unstructured":"Sch\u00f6nig, S., Cabanillas, C., Jablonski, S., Mendling, J.: A framework for efficiently mining the organisational perspective of business processes. Decis. Support Syst. 89, 87\u201397 (2016)","journal-title":"Decis. Support Syst."},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M Schrefl","year":"2002","unstructured":"Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol. 11(1), 92\u2013148 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-30729-4_23","volume-title":"Integrated Formal Methods","author":"DMM Schunselaar","year":"2012","unstructured":"Schunselaar, D.M.M., Maggi, F.M., Sidorova, N.: Patterns for a log-based strengthening of declarative compliance models. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol. 7321, pp. 327\u2013342. Springer, Heidelberg (2012)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-33606-5_3","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"DMM Schunselaar","year":"2012","unstructured":"Schunselaar, D.M.M., Maggi, F.M., Sidorova, N., van der Aalst, W.M.P.: Configurable declare: designing customisable flexible process models. In: Meersman, R., et al. (eds.) OTM 2012, Part I. LNCS, vol. 7565, pp. 20\u201337. Springer, Heidelberg (2012)"},{"key":"7_CR22","volume-title":"Workflow Modeling: Tools for Process Improvement and Application Development","author":"A Sharp","year":"2001","unstructured":"Sharp, A., McDermott, P.: Workflow Modeling: Tools for Process Improvement and Application Development, 1st edn. Artech House Inc., Norwood (2001)","edition":"1"},{"issue":"3","key":"7_CR23","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B Weber","year":"2008","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - enhancing flexibility in process-aware information systems. Data Knowl. Eng. 66(3), 438\u2013466 (2008)","journal-title":"Data Knowl. Eng."},{"issue":"6","key":"7_CR24","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1016\/j.ins.2008.10.033","volume":"179","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179(6), 769\u2013790 (2009)","journal-title":"Inf. Sci."},{"issue":"6","key":"7_CR25","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1016\/j.infsof.2008.12.002","volume":"51","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H.M.W.E., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Reduction rules for YAWL workflows with cancellation regions and or-joins. Inf. Softw. Technol. 51(6), 1010\u20131020 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Zeising, M., Sch\u00f6nig, S.S., Jablonski, S.: Towards a common platform for the support of routine and agile business processes. In: CollaborateCom 2014, 94\u2013103 (2014)","DOI":"10.4108\/icst.collaboratecom.2014.257269"},{"issue":"3","key":"7_CR27","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","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46295-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,8]],"date-time":"2022-07-08T20:03:38Z","timestamp":1657310618000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-46295-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319462943","9783319462950"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46295-0_7","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":"20 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Banff","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","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":"10 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 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":"icsoc2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}