Automatic Generation of Optimal Business Processes from Business Rules

In recent years, business process models are increasingly being used as a means for business process improvement. Business rules can be seen as requirements for business processes, in that they describe the constraints that must hold for business processes that implement these business rules. Therefore, in principle one could devise (automated) transformations from business rules to business processes. These transformations should improve the quality (correctness) of business processes, by imposing their conformance to the applicable business rules, and should also allow business processes to be optimized for some additional requirements, like, for example, resource allocation, performance and costs. The objectives of this paper are twofold: to investigate the automated support to transform business rules into optimized processes, and to assess the suitability of model-driven technologies (metamodeling and transformations) and tools to implement these transformations.

[1]  Ashutosh Tiwari,et al.  Composite business processes: An evolutionary multi-objective optimization approach , 2007, 2007 IEEE Congress on Evolutionary Computation.

[2]  R. Eder,et al.  Model-transformation-based Software Generation utilizing Natural language notations , 2008, 2008 2nd IEEE International Conference on Digital Ecosystems and Technologies.

[3]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[4]  Jan Mendling,et al.  Quality metrics for business process models , 2007 .

[5]  Moe Thandar Wynn,et al.  Business process verification - finally a reality! , 2009, Bus. Process. Manag. J..

[6]  Hajo A. Reijers,et al.  Performance measures to evaluate the impact of best practices , 2007 .

[7]  Hajo A. Reijers,et al.  The effectiveness of workflow management systems: Predictions and lessons learned , 2005, Int. J. Inf. Manag..

[8]  Omg Available Specification Business Process Modeling Notation, V1.1 , 2008 .

[9]  van der Wmp Wil Aalst,et al.  Workflow resource patterns , 2004 .

[10]  Ron Weber,et al.  Ontological foundations of information systems , 1997 .

[11]  Rajkumar Roy,et al.  Optimisation of business process designs: An algorithmic approach with multiple objectives , 2007 .

[12]  Ivo F. Sbalzariniy,et al.  Multiobjective optimization using evolutionary algorithms , 2000 .

[13]  Prashant Doshi,et al.  Dynamic workflow composition using Markov decision processes , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[14]  Amit Raj,et al.  Transformation of SBVR business design to UML models , 2008, ISEC '08.

[15]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[16]  Jean Bézivin,et al.  Parsing SBVR-Based Controlled Languages , 2009, MoDELS.

[17]  Gerd Wagner,et al.  Agent-Oriented Enterprise Modeling Based on Business Rules , 2001, ER.

[18]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[19]  van der Wmp Wil Aalst,et al.  newYAWL : achieving comprehensive patterns support in workflow for the control-flow, data and resource perspectives , 2007 .

[20]  Ivan Kurtev,et al.  State of the Art of QVT: A Model Transformation Language Standard , 2008, AGTIVE.

[21]  Mira Mezini,et al.  Hybrid web service composition: business processes meet business rules , 2004, ICSOC '04.

[22]  Remco M. Dijkman,et al.  On the notion of abstract platform in MDA development , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[23]  Bas Steen Generation of optimal business processesfrom business rules , 2009 .

[24]  Gabor Karsai,et al.  Verifying Model Transformations by Structural Correspondence , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[25]  Peter Fettke,et al.  Business Process Modeling Notation , 2008, Wirtschaftsinf..

[26]  Enid Mumford,et al.  Reengineering the Corporation: A Manifesto for Business Revolution , 1995 .

[27]  Jordi Cabot,et al.  From UML/OCL to SBVR specifications: A challenging transformation , 2010, Inf. Syst..