Skip to main content
SpringerLink
Log in

Introduction

  • Chapter
  • First Online:
Book cover Verification of Business Rules Programs

  • 539 Accesses

Abstract

This chapter provides the context for the book. It starts with an example of a verification problem for a business rules program that was inspired by real-life business cases. It then gives an overview of what a Business Rules Management System is. Before a short description of the subsequent chapters, it presents the motivation of our work. Namely, we aim at enabling rule authors and tool developers to understand, express formally, and prove, properties of the execution behavior of business rules programs. More generally, the book proposes a formal framework for treating business rules as a topic of scientific investigation in semantics and program verification.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    All URLs were successfully accessed on January 22, 2013.

References

  1. Aiken, M.W., Liu Sheng, O.R.: Nexpert object. ExpertFootnote

    All URLs were successfully accessed on January 22, 2013.

    Syst. 7(1), 54–57 (1990)

    Google Scholar 

  2. Albert, P.: ILOG Rules, embedding rules in C++: Results and limits. In: Proceedings of the OOPSLA’94 Workshop on Embedded Object-Oriented Production Systems (EOOPS). Technical Report LAFORIA 94/24, Institut Blaise Pascal, Paris (1994)

    Google Scholar 

  3. Apt, K.R., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 2nd edn. Texts in Computer Science. Springer, Berlin (1997)

    Book  MATH  Google Scholar 

  4. Apt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 3rd edn. Texts in Computer Science. Springer, Berlin (2009)

    Book  MATH  Google Scholar 

  5. Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Boston (1985)

    Google Scholar 

  6. Culbert, C., Riley, G.: CLIPS Basic Programming Guide (2003)

    Google Scholar 

  7. Fair, Isaac, and Company: High-volume batch processing with Blaze Advisor. Computer World UK (2007). http://www.computerworlduk.com/white-paper/business-process/5092/high-volume-batch-processing-with-blaze-advisor/

  8. FICOTM Blaze Advisor ®;. http://www.fico.com/en/Products/DMTools/Pages/FICO-Blaze-Advisor-System.aspx

  9. Floyd, R.W.: A descriptive language for symbol manipulation. J. ACM 8(4), 579–584 (1961)

    Article  MathSciNet  Google Scholar 

  10. Forgy, C.: OPS5 User’s manual. Tech. Rep. CMU-CS-81-135, Carnegie-Mellon University, Pittsburgh (1981)

    Google Scholar 

  11. Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)

    Article  Google Scholar 

  12. Friedman-Hill, E.J.: JESS in Action. Manning Publications, New York (2003)

    Google Scholar 

  13. von Halle, B.: Business Rules Applied. Wiley, New York (2002)

    Google Scholar 

  14. von Halle, B., Goldberg, L.: The Business Rule Revolution. Happy About, Cupertino (2006)

    Google Scholar 

  15. Hanson, E., Hasan, M.S.: Gator: An optimized discrimination network for active database rule condition testing. Tech. Rep. TR93-036, University of Florida (1993)

    Google Scholar 

  16. Hasan, M., Sugla, B., Viswanathan, R.: A conceptual framework for network management event correlation and filtering systems. In: Sixth IFIP/IEEE International Symposium on Integrated Network Management, pp. 233–246. Boston (1999)

    Google Scholar 

  17. Hendrick, S.D.: Business Rule Management Systems: Addressing Referential Rule Integrity. IDC (2006). http://www.marketresearch.com/IDC-v2477/Business-Rule-Management-Systems-Addressing-1286198/

  18. Hendrick, S.D.: Worldwide Business Rules Management Systems 2009–2013 Forecast. IDC (2009). http://www.biareports.com/en/Worldwide_Business_Rules_Management_Systems_2009-2013_Forecast_A_First_Look_in_a_Difficult_Economy.html

  19. IBM Operational Decision Manager. http://www.ibm.com/software/websphere/products/business-rule-management

  20. IBM: VISA Europe: Processing payments with unprecedented agility and reliability. http://www.ibm.com/software/success/cssdb.nsf/CS/SSAO-8FNJEB

  21. IBM: IBM Operational Decision Manager v8.0 User’s Manual (2012). http://publib.boulder.ibm.com/infocenter/dmanager/v8r0/

  22. Knuth, D.E.: Robert W. Floyd, in memoriam. SIGACT News 34(4), 3–13 (2003). http://courses.csail.mit.edu/6.042/spring10/floyd-eulogy-by-knuth.pdf

  23. McCoy, D.W., Sinur, J.: Achieving Agility: The Agile Power of Business Rules. Gartner (2006). http://www.gartner.com/DisplayDocument?doc_cd=138218

  24. Miranker, D.P.: TREAT: A better match algorithm for AI production systems. In: Proceedings of the Sixth National Conference on Artificial Intelligence – Volume 1, AAAI’87, pp. 42–47. AAAI, Seattle (1987)

    Google Scholar 

  25. Newell, A., Simon, H.A.: Human Problem Solving. Prentice Hall, Englewood Cliffs (1972)

    Google Scholar 

  26. Oracle Business Rules. http://www.oracle.com/technetwork/middleware/business-rules/overview

  27. Owicki, S.S., Gries, D.: An axiomatic proof technique for parallel programs I. Acta Informatica 6, 319–340 (1976)

    Article  MATH  MathSciNet  Google Scholar 

  28. Piccinini, G.: Allen Newell. In: New Dictionary of Scientific Biography. Thomson Gale (2007). http://www.umsl.edu/~piccininig/Newell%205.htm

  29. Progress: Corticon Business Rules Management System. http://www.progress.com/corticon/

  30. Red Hat: JBoss Enterprise BRMS. http://www.redhat.com/products/jbossenterprisemiddleware/business-rules/

  31. Red Hat: JBoss Rules 5 Reference Guide (2012). https://access.redhat.com/knowledge/docs/en-US/JBoss_Enterprise_BRMS_Platform/5/html-single/JBoss_Rules_5_Reference_Guide/index.html#Sequential_Mode

  32. Ross, R.: Principles of the Business Rules Approach. Addison-Wesley, Boston (2003)

    Google Scholar 

  33. Rymer, J.R., Gualtieri, M.: The Forrester WaveTM: Business Rules Platforms, Q2 2008. Forrester Research (2008). http://www.forrester.com/The+Forrester+Wave+Business+Rules+Platforms+Q2+2008/fulltext/-/E-RES39088

  34. de Sainte Marie, C., Hallmark, G., Paschke, A.: Rule Interchange Format, Production Rule Dialect. Recommendation, W3C (2010). http://www.w3.org/TR/rif-prd/

  35. SAP NetWeaver Business Rules Management. http://www.sap.com/platform/netweaver/components/brm/index.epx

  36. Soloway, E., Bachant, J., Jensen, K.: Assessing the maintainability of XCON-in-RIME: Coping with the problems of a VERY large rule-base. In: AAAI, pp. 824–829. Seattle (1987)

    Google Scholar 

  37. Taylor, J., Raden, N.: Smart (Enough) Systems: How to Deliver Competitive Advantage by Automating the Decisions Hidden in your Business. Prentice Hall, Upper Saddle River (2007)

    Google Scholar 

  38. The Business Rules Group: http://www.businessrulesgroup.org

  39. The Object Management Group: Semantics of Business Vocabulary and Business Rules (SBVR 1.0) (2008). http://www.omg.org/spec/SBVR/1.0/

  40. Urquhart, A.: Emil Post. In: Gabbay, D.M., Woods, J. (eds.) Logic from Russell to Church. Handbook of the History of Logic, vol. 5, pp. 617–666. North-Holland, Amsterdam (2009)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering group, University of Freiburg, Georges-Köhler-Allee 52, 79110, Freiburg, Germany

    Bruno Berstel-Da Silva

Authors
  1. Bruno Berstel-Da Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Berstel-Da Silva, B. (2014). Introduction. In: Verification of Business Rules Programs. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40038-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40038-4_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40037-7

  • Online ISBN: 978-3-642-40038-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation