{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:52:13Z","timestamp":1759683133012},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336058"},{"type":"electronic","value":"9783642336065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33606-5_3","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T14:28:22Z","timestamp":1358260102000},"page":"20-37","source":"Crossref","is-referenced-by-count":13,"title":["Configurable Declare: Designing Customisable Flexible Process Models"],"prefix":"10.1007","author":[{"given":"Dennis M. M.","family":"Schunselaar","sequence":"first","affiliation":[]},{"given":"Fabrizio Maria","family":"Maggi","sequence":"additional","affiliation":[]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: The Role of Business Processes in Service Oriented Architectures. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2006)","DOI":"10.1007\/11841197_1"},{"key":"3_CR2","unstructured":"Becker, J., Delfmann, P., Knackstedt, R., Kuropka, D.: Configurative process modeling - outlining an approach to increased business process model usability. In: Proceedings of the 15th Information Resources Management Association Information Conference (2004)"},{"issue":"6","key":"3_CR3","first-page":"583","volume":"15","author":"A. Dreiling","year":"2006","unstructured":"Dreiling, A., Rosemann, M., van der Aalst, W.M.P., Heuser, L., Schulz, K.: Model-based software configuration: patterns and languages. EJIS\u00a015(6), 583\u2013600 (2006)","journal-title":"EJIS"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley Interscience (2005)","DOI":"10.1002\/0471741442"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"key":"3_CR6","series-title":"LNBIP","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 2009 and EMMSAD 2009. LNBIP, vol.\u00a029, pp. 353\u2013366. Springer, Heidelberg (2009)"},{"key":"3_CR7","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: ASE, pp. 412\u2013416. IEEE Computer Society (2001)"},{"key":"3_CR8","unstructured":"Gottschalk, F.: Configurable Process Models. Ph.D. thesis, Eindhoven University of Technology, The Netherlands (December 2009)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M., La Rosa, M.: Configurable Workflow Models. International Journal on Cooperative Information Systems\u00a017(2) (2008)","DOI":"10.1142\/S0218843008001798"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst.\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR11","unstructured":"Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Controls to Users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven (2008)"},{"key":"3_CR12","series-title":"LNBIP","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 Workshops 2011, Part I. LNBIP, vol.\u00a099, pp. 383\u2013394. Springer, Heidelberg (2012)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M. Rosemann","year":"2007","unstructured":"Rosemann, M., van der Aalst, W.M.P.: A configurable reference modelling language. Information Systems\u00a032, 1\u201323 (2007)","journal-title":"Information Systems"},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S.W. Sadiq","year":"2005","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems\u00a030(5), 349\u2013378 (2005)","journal-title":"Information Systems"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Schumm, D., Leymann, F., Streule, A.: Process viewing patterns. In: EDOC, pp. 89\u201398 (2010)","DOI":"10.1109\/EDOC.2010.16"},{"key":"3_CR16","unstructured":"Schunselaar, D.M.M.: Configurable Declare. Master\u2019s thesis, Eindhoven University of Technology (2011), \n                    \n                      http:\/\/alexandria.tue.nl\/extra1\/afstversl\/wsk-i\/schunselaar2011.pdf"},{"key":"3_CR17","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":"D.M.M. 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.\u00a07321, pp. 327\u2013342. Springer, Heidelberg (2012)"},{"key":"3_CR18","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-30359-3_3","volume-title":"Business Information Systems","author":"D.M.M. Schunselaar","year":"2012","unstructured":"Schunselaar, D.M.M., Verbeek, E., van der Aalst, W.M.P., Raijers, H.A.: Creating Sound and Reversible Configurable Process Models Using CoSeNets. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol.\u00a0117, pp. 24\u201335. Springer, Heidelberg (2012)"},{"key":"3_CR19","series-title":"LNBIP","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.\u00a081, pp. 163\u2013177. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33606-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T16:22:57Z","timestamp":1557505377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33606-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336058","9783642336065"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33606-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}