Verification of Business Rules Programs

• Main Author: Berstel-Da Silva, Bruno (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
• Subjects: Computer science.; Computer programming.; Computer logic.; Database management.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Database Management.; Programming Techniques.

Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in application...

Table of Contents:

• Chap. 1 - Introduction
• Chap. 2 - Related Work
• Chap. 3 - Syntax of Rules and Rule Programs
• Chap. 4 - States and State Assertions
• Chap. 5 - Operational Semantics of Rule Programs
• Chap. 6 - Correctness of Rule Programs
• Chap. 7 - Correctness of Programs: A Comparison
• Chap. 8 - Main Steps in Rule Program Verification
• Chap. 9 - A Verification Method for Rule Programs
• Chap. 10 - Specialized Proof Rules
• Chap. 11 - Conclusion
• Appendix A - Verification in an Industrial Business Rules Management System
• List of Proof Rules
• Index.                                .