Representing and Solving Rule-Based Decision Models with Constraint Solvers

  • Jacob Feldman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7018)


This paper describes how constraint solvers could serve as rule engines in the context of modern business decision management systems. Decision models are based on rule families oriented to business users and frequently represented as Excel decision tables. The proposed approach uses exactly the same representation of decision models as a rule engine. The developed Rule Solver loads a decision model from multiple Excel files, generates a constraint satisfaction problem, and then validates it for consistency, diagnosing possible conflicts. Finally, it solves the problem, delivering results using the same terms as business rules. In fact, a user may switch between a rule engine and a constraint solver without changing the rules themselves. Additionally, Rule Solver can find solutions or find an optimal decision when business rules only partially define a problem. Rule Solver is implemented as an advanced component of the popular open source business decision management system “OpenRules”.


Decision Model Rule Family Constraint Satisfaction Rule Engine Constraint Solver 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Worldwide Decision Management Software 2010-2014 Forecast: A Fast-Growing Opportunity to Drive the Intelligent Economy. IDC Report for December 2010 (2010),
  2. 2.
    Forgy, C.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19, 17–37 (1982)CrossRefGoogle Scholar
  3. 3.
    von Halle, B., Goldberg, L.: The Decision Model: A Business Logic Framework Linking Business and Technology. Auerbach Publications/Taylor & Francis Group, LLC (2009)Google Scholar
  4. 4.
  5. 5.
    FICO Blaze Advisor business rules management,
  6. 6.
    JESS, the Rule Engine for the Java platform,
  7. 7.
    Drools, The Business Logic Integration Platform,
  8. 8.
    OpenRules, Open Source Business Decision Management System,
  9. 9.
    Sapiens International Corporation N.V,
  10. 10.
    inteGREAT Enterprise 2010,
  11. 11.
    RuleGuide, New Wisdom Software,
  12. 12.
    Bousonville, T., Focacci, F., Le Pape, C., Nuijten, W., Paulin, F., Puget, J.F., Robert, A., Sadeghin, A.: Integration of rules and optimization in plant powerops. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 1–15. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Feldman, J., Korolov, A., Meshcheryakov, S., Shor, S.: Hybrid use of rule and constraint engines, Patent no: WO/2003/001322, World Intellectual Property OrganizationGoogle Scholar
  14. 14.
    Feldman, J., Korolov, A., Meshcheryakov, S., Shor, S.: Consistency validation for complex classification rules. Patent no: WO/2003/017060, World Intellectual Property OrganizationGoogle Scholar
  15. 15.
    Feldman, J., Freuder, E.: Integrating business rules and constraint programming technologies for EDM. In: The 11th International Business Rules Forum (2008)Google Scholar
  16. 16.
    van der Krogt, R., Feldman, J., Little, J., Stynes, D.: An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management. In: Cohen, D. (ed.) CP 2010. LNCS, vol. 6308, pp. 568–582. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    O’Sullivan, B., Feldman, J.: Using hard and soft rules to define and solve optimization problems. In: The 12th International Business Rules Forum (2009)Google Scholar
  18. 18.
    Feldman, J.: Rules Violations and Over-Constrained problems. October Rules Fest (2009)Google Scholar
  19. 19.
    Java Request Specification (JSR) 331: Constraint Programming API. Java Community Process,
  20. 20.
    Corticon, Business Rules Management System,
  21. 21.
    Visual Rules, Business Rules Management System,
  22. 22.
    Ross, R.G.: Decision Analysis Using Decision Tables and Business Rules,
  23. 23.
    ACP, Association for Constraint Programming System,

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jacob Feldman
    • 1
  1. 1.OpenRules, Inc.EdisonUSA

Personalised recommendations