Verification of Business Rules Programs

Part I. Context

1. Introduction
Bruno Berstel-Da Silva

2. Related Work
Bruno Berstel-Da Silva

Part II. Rule Programs

3. Syntax of Rules and Rule Programs
Bruno Berstel-Da Silva

4. States and State Assertions
Bruno Berstel-Da Silva

5. Operational Semantics of Rule Programs
Bruno Berstel-Da Silva

Part III. A Hoare Logic for Rule Programs

6. Correctness of Rule Programs
Bruno Berstel-Da Silva

7. Correctness of Programs: A Comparison
Bruno Berstel-Da Silva

Part IV. Proof Rules for Rule Programs

8. Main Steps in Rule Program Verification
Bruno Berstel-Da Silva

9. A Verification Method for Rule Programs
Bruno Berstel-Da Silva

10. Specialized Proof Rules
Bruno Berstel-Da Silva

11. Conclusion
Bruno Berstel-Da Silva

Keywords: Computer Science, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Database Management, Programming Techniques