Formalisation automatique et sémantique de règles métiers

Cheikh Hito Kacfah Emani 1, 2
2 SOC - Service Oriented Computing
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : This thesis focuses on automatic and semantic transformation of business rules into formal rules. These business rules are originally drafted in the form of natural language text, tables and images. Our goal is to provide to business experts a set of services allowing them to develop corpora of formal business rules. We carry out this work in the field of building engineering construction. Having formal and executable versions of the business rules enables to perform automatic compliance checking of digital mock-ups of construction projects under design.For this we made available to business experts, the two main contributions of this thesis. The first is the development of a controlled natural language, called RAINS. It allows business experts to rewrite business rules in the form of formal rules. A RAINS rule consists of terms of the business vocabulary and reserved words such as comparison predicates, negation and universal quantification markers and literals. Each RAINS rule has a unique formal semantics which is based on the standards of the Semantic Web. The second major contribution is a service for formalization of business rules. This service implements a formalized approach proposed in this thesis and called FORSA. This service offers RAINS versions of natural language business rules submitted to it. FORSA uses natural language processing tools and heuristics. To evaluate FORSA, we have set up a benchmark adapted to the formalization of business rules task. The dataset from this benchmark are from norms in the field of Construction
Document type :
Theses
Complete list of metadatas

Cited literature [117 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01508489
Contributor : Abes Star <>
Submitted on : Friday, April 14, 2017 - 11:37:12 AM
Last modification on : Friday, May 17, 2019 - 10:28:10 AM
Long-term archiving on : Saturday, July 15, 2017 - 1:05:12 PM

File

TH2016KacfahEmaniCheikh.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01508489, version 1

Citation

Cheikh Hito Kacfah Emani. Formalisation automatique et sémantique de règles métiers. Informatique et langage [cs.CL]. Université de Lyon, 2016. Français. ⟨NNT : 2016LYSE1301⟩. ⟨tel-01508489⟩

Share

Metrics

Record views

477

Files downloads

1083