{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:02:17Z","timestamp":1725793337309},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319066707"},{"type":"electronic","value":"9783319066714"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06671-4_6","type":"book-chapter","created":{"date-parts":[[2014,5,8]],"date-time":"2014-05-08T21:51:19Z","timestamp":1399585879000},"page":"106-127","source":"Crossref","is-referenced-by-count":1,"title":["Transformation of Imperative Workflows to Declarative Business Rules"],"prefix":"10.1007","author":[{"given":"Lex","family":"Wedemeijer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Business Rules Manifesto: \n                  \n                    http:\/\/www.businessrulesgroup.org\/brmanifesto.htm.\n                  \n                  \n                 Version 2.0. Edited R.G. Ross (last accessed December 14, 2013) (2003)"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. Journal of Symbolic Logic\u00a06(3), 73\u201389 (1941)","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR3","unstructured":"Maddux, R.: Relation Algebras. Studies in Logic and the Foundations of Mathematics, vol.\u00a0150. Elsevier Science (2006)"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1108\/14637150410530235","volume":"10","author":"A. Kovacic","year":"2004","unstructured":"Kovacic, A.: Business renovation: Business rules (still) the missing link. Business Process Management Journal\u00a010(2), 158\u2013170 (2004)","journal-title":"Business Process Management Journal"},{"key":"6_CR5","unstructured":"Lawrence, P. (ed.): Workflow Management Coalition: Workflow Handbook 1997. John Wiley and Sons, New York (1997)"},{"key":"6_CR6","unstructured":"Workflow Management Coalition: Terminology & Glossary. Technical report WFMC-TC-1011 issue 3.0 (1999)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-72035-5_7","volume-title":"Business Information Systems","author":"R. Lu","year":"2007","unstructured":"Lu, R., Sadiq, W.: A survey of comparative business process modeling approaches. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol.\u00a04439, pp. 82\u201394. Springer, Heidelberg (2007)"},{"key":"6_CR8","unstructured":"Witt, G.: Writing Effective Business Rules. Morgan Kaufmann (2012)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BFb0027102","volume-title":"Coordination Technology for Collaborative Applications","author":"G. Kappel","year":"1998","unstructured":"Kappel, G., Rausch-Schott, S., Retschitzegger, W.: Coordination in Workflow Management Systems, A Rule-Based Approach. In: Conen, W., Neumann, G. (eds.) ASIAN-WS 1996. LNCS, vol.\u00a01364, pp. 99\u2013120. Springer, Heidelberg (1998)"},{"issue":"8","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1109\/TKDE.2004.20","volume":"16","author":"B. Joonsoo","year":"2004","unstructured":"Joonsoo, B., Hyerim, B., Kang, S., Yeongho, K.: Automatic control of workflow processes using ECA rules. IEEE Transactions on Knowledge and Data Engineering\u00a016(8), 1010\u20131023 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"6_CR11","unstructured":"Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Workflow Control-Flow Patterns: Revised Vie (2006), \n                  \n                    http:\/\/www.workflowpatterns.com\n                  \n                  \n                 (last accessed December 14, 2013)"},{"key":"6_CR12","unstructured":"Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Quality metrics for business process models. In: BPM and Workflow Handbook, pp. 179\u2013190 (2007)"},{"key":"6_CR13","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":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-21070-9_21","volume-title":"Relational and Algebraic Methods in Computer Science","author":"G. Michels","year":"2011","unstructured":"Michels, G., Joosten, S., van der Woude, J., Joosten, S.: Ampersand, Applying Relation Algebra in Practice. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 280\u2013293. Springer, Heidelberg (2011)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"zur Muehlen, M., Indulska, M.: Modeling languages for business processes and business rules: A representational analysis. Information Systems 35, 379\u2013390 (2010)","DOI":"10.1016\/j.is.2009.02.006"},{"key":"6_CR16","unstructured":"Ross, R.G., Lam, G.S.W.: Building Business Solutions, Business Analysis with Business Rules. Business Rule Solutions, LLC (2011)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Spreeuwenberg, S., Healy, K.A.: SBVR\u2019s approach to controlled natural language. In: Fuchs, N.E. (ed.) CNL 2009 Workshop. LNCS (LNAI), vol.\u00a05972, pp. 155\u2013169. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14418-9_10"},{"key":"6_CR18","unstructured":"Schwitter, R.: Controlled natural languages for knowledge representation. In: Proceedings of the 23rd International Conference on Computational Linguistics, pp. 1113\u20131121. Association for Computational Linguistics (2010)"},{"key":"6_CR19","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":"F.M. 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.\u00a06896, pp. 132\u2013147. Springer, Heidelberg (2011)"},{"key":"6_CR20","unstructured":"Declare prototype workflow management system, \n                  \n                    http:\/\/www.win.tue.nl\/declare\/\n                  \n                  \n                 (last accessed December 14, 2013)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. In: Enterprise Distributed Object Computing Conference 2007, p. 287 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"issue":"1","key":"6_CR22","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10270-005-0100-7","volume":"5","author":"A. McNeile","year":"2006","unstructured":"McNeile, A., Simons, N.: Protocol modelling: A modelling approach that supports reusable behaviour abstractions. Software and Systems Modeling\u00a05(1), 91\u2013107 (2006)","journal-title":"Software and Systems Modeling"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Wedemeijer, L.: A comparison of two business rules engineering approaches. In: BMSD 2012, pp. 113\u2013121 (2012)","DOI":"10.5220\/0004461701130121"},{"key":"6_CR24","unstructured":"McKemmish, S., Acland, G., Ward, N., Reed, B.: Describing records in context in the continuum: The Australian Recordkeeping. Metadata Schema Archivaria\u00a01(48) (2006)"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"4","key":"6_CR26","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S096012950000030X","volume":"3","author":"R. Backhouse","year":"1993","unstructured":"Backhouse, R., van der Woude, J.: Demonic operators and monotype factors. Mathematical Structures in Computer Science\u00a03(4), 417\u2013433 (1993)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR27","unstructured":"van Dongen, B., van der Aalst, W.M.P.: A meta model for process mining data. In: CAiSE Conference Proceedings (2005)"},{"key":"6_CR28","unstructured":"Ampersand prototype, \n                  \n                    http:\/\/wiki.tarski.nl\/\n                  \n                  \n                 (last accessed December 14, 2013)"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1016\/j.datak.2009.02.014","volume":"68","author":"A. Rozinat","year":"2009","unstructured":"Rozinat, A., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Fidge, C.J.: Workflow Simulation for Operational Decision Support. Data Knowledge Engineering\u00a068, 834\u2013850 (2009)","journal-title":"Data Knowledge Engineering"}],"container-title":["Lecture Notes in Business Information Processing","Business Modeling and Software Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06671-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T15:44:54Z","timestamp":1558885494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06671-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319066707","9783319066714"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06671-4_6","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}