Formalization of Natural Language Regulations through SBVR Structured English
Résumé
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) be- fore being refined according to the business application (engineer task). A methodology for these first two steps is described, with different op- erations composing each step. It is illustrated with examples from the literature and from the ONTORULE use cases