返回上一页 发布人:patent
我要发布信息
| 好书推荐：业务规则程序的验证 | 发布于:2016/06/16 | |
| Bruno BerstelDa Silva著 规则是一种编程的简化方式，与我们人类的大脑结构能够理解的概念相类似。随着业务规则管理系统的出现，非编程人员对基于规则的编程方法理解成为了可能，使得专业领域的专家可以将他们的想法通过基于规则的编程方法映射为具体程序代码，并应用于具体场景中，如欺诈检测、金融交易、医疗保健、零售和营销等。然而，敏捷快速的开发随之产生的是程序的质量、安全性和可靠性问题。本书阐述了业务规则管理系统处理中涉及的业务规则程序，并基于业务规则概念及科学依据，详细阐述了语义和程序验证问题，提出一种业务规则程序的形式化的验证方法。 全书由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.总结与结论。 本书在每一章后均列出了十分齐全的参考文献，便于读者进一步研究正文中提到的某些问题。本书的结构是自成系统的，对于在业务规则验证领域有所研究的读者，可以独立使用。 本书适合从事数学、计算机科学及计算机应用等专业的高年级本科生和一年级研究生阅读和参考，并可以作为对基于规则的编程方法及其验证方法研究感兴趣的其他专业学生的参考书。对于在软件工程、逻辑验证、优化和计算机产业的很多专业人士，本书也将提供很有用的帮助。 张进兴，硕士研究生 （中国科学院空间科学与应用研究中心）来源：国外科技新书评介 |
||
