Abstract
Business rules and workflow models are both advocated as a means to specify the way of working in the business, so overlap between the two may be expected. Business rules lay down guidelines and restrictions about the way of working in an organization. Workflow models specify which activities should be conducted in what order, when a trigger arrives. Thus, the constructs of the workflow models encapsulate the rules of processing. In this paper, we show how the main procedural constructs of imperative workflows can be transformed to declarative business rules. The transformation results in two rules that reflect the procedural nature of workflow. These capture the business requirements of work processing on a more abstract level with less emphasis on implementational detail than the corresponding workflow model. By transforming the workflows to declarative rules, the rules of the business become available for analysis, allowing the organization to extend their ruleset or to prune it for redundant rules.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Business Rules Manifesto: http://www.businessrulesgroup.org/brmanifesto.htm. Version 2.0. Edited R.G. Ross (last accessed December 14, 2013) (2003)
Tarski, A.: On the calculus of relations. Journal of Symbolic Logic 6(3), 73–89 (1941)
Maddux, R.: Relation Algebras. Studies in Logic and the Foundations of Mathematics, vol. 150. Elsevier Science (2006)
Kovacic, A.: Business renovation: Business rules (still) the missing link. Business Process Management Journal 10(2), 158–170 (2004)
Lawrence, P. (ed.): Workflow Management Coalition: Workflow Handbook 1997. John Wiley and Sons, New York (1997)
Workflow Management Coalition: Terminology & Glossary. Technical report WFMC-TC-1011 issue 3.0 (1999)
Lu, R., Sadiq, W.: A survey of comparative business process modeling approaches. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol. 4439, pp. 82–94. Springer, Heidelberg (2007)
Witt, G.: Writing Effective Business Rules. Morgan Kaufmann (2012)
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. 1364, pp. 99–120. Springer, Heidelberg (1998)
Joonsoo, B., Hyerim, B., Kang, S., Yeongho, K.: Automatic control of workflow processes using ECA rules. IEEE Transactions on Knowledge and Data Engineering 16(8), 1010–1023 (2004)
Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Workflow Control-Flow Patterns: Revised Vie (2006), http://www.workflowpatterns.com (last accessed December 14, 2013)
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–190 (2007)
Fahland, D., Lübke, 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. 29, pp. 353–366. Springer, Heidelberg (2009)
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. 6663, pp. 280–293. Springer, Heidelberg (2011)
zur Muehlen, M., Indulska, M.: Modeling languages for business processes and business rules: A representational analysis. Information Systems 35, 379–390 (2010)
Ross, R.G., Lam, G.S.W.: Building Business Solutions, Business Analysis with Business Rules. Business Rule Solutions, LLC (2011)
Spreeuwenberg, S., Healy, K.A.: SBVR’s approach to controlled natural language. In: Fuchs, N.E. (ed.) CNL 2009 Workshop. LNCS (LNAI), vol. 5972, pp. 155–169. Springer, Heidelberg (2010)
Schwitter, R.: Controlled natural languages for knowledge representation. In: Proceedings of the 23rd International Conference on Computational Linguistics, pp. 1113–1121. Association for Computational Linguistics (2010)
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–147. Springer, Heidelberg (2011)
Declare prototype workflow management system, http://www.win.tue.nl/declare/ (last accessed December 14, 2013)
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)
McNeile, A., Simons, N.: Protocol modelling: A modelling approach that supports reusable behaviour abstractions. Software and Systems Modeling 5(1), 91–107 (2006)
Wedemeijer, L.: A comparison of two business rules engineering approaches. In: BMSD 2012, pp. 113–121 (2012)
McKemmish, S., Acland, G., Ward, N., Reed, B.: Describing records in context in the continuum: The Australian Recordkeeping. Metadata Schema Archivaria 1(48) (2006)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
Backhouse, R., van der Woude, J.: Demonic operators and monotype factors. Mathematical Structures in Computer Science 3(4), 417–433 (1993)
van Dongen, B., van der Aalst, W.M.P.: A meta model for process mining data. In: CAiSE Conference Proceedings (2005)
Ampersand prototype, http://wiki.tarski.nl/ (last accessed December 14, 2013)
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. 2678, pp. 1–12. Springer, Heidelberg (2003)
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 68, 834–850 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Wedemeijer, L. (2014). Transformation of Imperative Workflows to Declarative Business Rules. In: Shishkov, B. (eds) Business Modeling and Software Design. BMSD 2013. Lecture Notes in Business Information Processing, vol 173. Springer, Cham. https://doi.org/10.1007/978-3-319-06671-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-06671-4_6
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06670-7
Online ISBN: 978-3-319-06671-4
eBook Packages: Computer ScienceComputer Science (R0)