No d'ordre : 3507

THÈSE
PRÉSENTÉE À

L'UNIVERSITÉ BORDEAUX I
ÉCOLE DOCTORALE DE MATHÉMATIQUES ET
D'INFORMATIQUE
Par MOUHAMED DIOUF
POUR OBTENIR LE GRADE DE

DOCTEUR
SPÉCIALITÉ : INFORMATIQUE

SPÉCIFICATION ET MISE EN ×UVRE D'UN FORMALISME
DE RÈGLES MÉTIER
Soutenue le : 10 Décembre 2007
Après avis des rapporteurs :
Nicole Bidoit . . . . . . . . . . . .
Thérèse Rougé - Libourel

Professeur
Professeur

Devant la commission d'examen composée de :
Richard Castanet . . . . . . .
Soan Maabout . . . . . . . . .
Nicole Bidoit . . . . . . . . . . . .
Thérèse Rougé - Libourel
Mohamed Mosbah . . . . . .
Jean-Paul Pérez . . . . . . . . .

Professeur . . . . . . . . . . . .
Maître de Conférences
Professeur . . . . . . . . . . . .
Professeur . . . . . . . . . . . .
Professeur . . . . . . . . . . . .
Génigraph . . . . . . . . . . .
2007

Directeur de Thèse
Encadrant
Rapporteur
Rapporteur
Examinateur
Examinateur

Remerciements
À Soan Maabout
À Richard Castanet
À Kaninda Musumbu
À Olivier Nicolas, Jean-Paul Pérez et toute l'équipe de Génigraph Toulouse
Aux membres du jury
À mes frères et s÷ur, à mes amis
À Ta Mado, tonton Badou ainsi qu'à mes frères et s÷urs du 58 rue de Lescure
À Madame et monsieur Ndiaye
À Madame et monsieur Diop
À ma princesse ...
À Tanoor et Assane
À Robert mon ami du banc (que la terre te soit légère)
À ma grand-mère Yaye Seikh (que la terre te soit légère)
À mère et père pour votre amour et votre soutien je vous dois beaucoup

Table des matières
1 Introduction et contexte
1.1
1.2

3

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3

1.1.1

Organisation du document . . . . . . . . . . . . . . . . . . . . . . .

5

Contexte de la thèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5

1.2.1

La Plateforme d'e-services e-Citiz . . . . . . . . . . . . . . . . . . .

6

1.2.2

Besoin de l'approche par règles métier