业务规则程序的验证

业务规则程序的验证BrunoBerstelDaSilva著规则是一种编程的简化方式，与我们人类的大脑结构能够理解的概念相类似。随着业务规则管理系统的出现，非编程人员对基于规则的编程方法理解成为了可能，使得专业领域的专家可以将他们的想法通过基于规则的编程方法映射为具体程序代码，并应用于具体场景中，如欺诈检测、金融交易、医疗保健、零售和营销等。然而，敏捷快速的开发随之产生的是程序的质量、安全性和可靠性问题。本书阐述了业务规则管理系统处理中涉及的业务规则程序，并基于业务规则概念及科学依据，详细阐述了语义和程序验证问题，提出一种业务规则程序的形式化的验证方法。全书由4部分组成，共11章。第1部分内容简介及相关工作综述，含第1-2章：1.导论。本章首先介绍规则程序验证问题案例，提出了规则程序验证概念，然后讨论了业务规则管理系统；2.相关工作介绍。讨论了一些基于规则的模式，并介绍了与其他编程范式的相关规则验证及形式化方案。第2部分规则程序，含第3-5章：3.规则和规则程序语法。介绍了在规则验证中的基本语法，包括数字签名、符号、公式等，并详细阐述了规则验证的基本方法；4.状态和状态断言。介绍了规则程序验证中的状态和状态断言概念；5.规则程序的操作语义。介绍了在业务规则管理系统乃至生产系统中的具体操作性语义语法、验证及分析方法，讨论了规则及规则程序的执行中的配置、内存要求等具体问题。第3部分霍尔逻辑的规则程序，包含第6-7章：6.规则程序的正确性；7.正确性方案：比较方案。讨论了并行程序和非确定性程序的正确性比较方案。第4部分规则程序推理验证，含第8-11章：8.规则程序验证的主要步骤。本章首先介绍了在规则程序中的冲突案例，引入规则交叉冲突和重命名冲突，介绍了一元规则及其使用；9.一种规则程序的验证方法。介绍了规则程序中的需要考虑的因素，并讨论了冲突避免、通用验证规则及其复杂度，并给出了验证方法的具体应用；10.确切的规则验证方法。11.总结与结论。本书在每一章后均列出了十分齐全的