Formalization of Natural Language Regulations through SBVR Structured English - (Tutorial)
Formalization of Natural Language Regulations through SBVR Structured English - (Tutorial)
复制标题
通过 SBVR 结构化英语实现自然语言规则的形式化 -（教程）
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
A. Nazarenko
中科院分区：
文献类型：
--
作者：
F. Lévy;A. Nazarenko
本文介绍了 SBVR 的原始用途，以帮助根据监管文件构建一组业务规则。形式化被分析为一个三步过程，其中 SBVR-SE 处于自然语言和形式语言之间的中间位置。规则在一般监管层面（专家任务）进行提取、澄清和简化，然后根据业务应用（工程师任务）进行细化。描述了前两个步骤的方法，每个步骤由不同的操作组成。它通过文献和 Ontorule 用例中的示例进行说明。
This paper presents an original use of SBVR to help building a set of business rules out of regulatory documents. The formalization is analyzed as a three-step process, in which SBVR-SE stands in an intermediate position between the Natural Language on the one hand and the formal language on the other hand. The rules are extracted, clarified and simplified at the general regulatory level (expert task) before being refined according to the business application (engineer task). A methodology for these first two steps is described, with different operations composing each step. It is illustrated with examples from the literature and from the Ontorule use cases.