Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

Verification of Business Rules Programs

 eBook
Sofort lieferbar | Lieferzeit:3-5 Tage I
ISBN-13:
9783642400384
Einband:
eBook
Seiten:
236
Autor:
Bruno Berstel-Da Silva
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:

This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties.

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.
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 applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs.

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.