Projection de règles métier vers un moteur d'optimisation

Mapping business rules to an optimization engine

• Auteur / Autrice : Florent Verroust
• Direction : Philippe Jégou
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2008
• Etablissement(s) : Aix-Marseille 3

Mots clés

Mots clés contrôlés

Couches minces

Réécriture, Systèmes de (informatique)

Contraintes (intelligence artificielle)

Optimisation combinatoire

Résumé

Nous présentons une première approche visant à la projection de règles métier vers un moteur d'optimisation. Cette collaboration est intéressante d'un point de vue industriel car elle ouvre de nouvelles possibilités : elle élargit le type de problèmes modèlisables grâce aux règles métier et elle permet d'augmenter le nombre d'utilisateurs potentiels des moteurs d'optimisation. Elle est aussi intéressante d'un point de vue théorique car elle nécessite une abstraction des concepts présents dans les modèles de règles métier et les modèles d'optimisation pour permettre leur unification. Les deux premiers chapitres présentent les différents concepts et outils considérés dans ce travail et comment il est comment il est possible de les faire se projeter l'un dans l'autre. Le dernier chapitre présente une méthode générale de résolution d'un CSP basée sur les symétries partielles du modèle. Cette méthode peut être utilisée dans un cas plus général pour apporter une plus grande stabilité à la recherche.

We present a first step in mapping business rules into an optimization engine. This possibility is interesting from an industrial point of view : the number of problems modeled with business rules grows, and it allows more users to deal with optimization engines. This approach is also theoretically interesting as it requires the unification of business rules concepts and constraints concepts The first and the second chapters describe all concepts and tools presented in this work, and how we can make them work together. The last chapter is about a new method for solving CSP based on the model's partial symmetries. This method_can be used in a general case to improve the search stability