Contrôle des procédures d'affaires

La modélisation des procédures d'affaires est un domaine de recherche récent qui vise à faciliter la compréhension et la communication entre agents humains, à supporter et à améliorer les processus de travail, ainsi que leur gestion, leur automatisation et leur exécution.La plupart des résultats obtenus dans ce domaine concernent des langages de description de procédures d'affaires qui permettent d'instancier un modèle donné dans un environnement cible. En pratique, l'organisation est formée par trois sous-systèmes, à savoir : le système opérant (transformé, produit), le système de pilotage (réfléchi, décidé, contrôlé) et le système d'information (mémorisé, traité, diffusé). Le travail de recherche présenté dans ce mémoire constitue une étude exploratoire qui porte sur l'utilisation de la théorie du contrôle des systèmes à événements discrets dans la modélisation et le contrôle de procédures d'affaires. Nous montrons comment des contrôleurs peuvent être intégrés à une organisation en considérant le système opérant comme un procédé et le système de pilotage comme un contrôleur. Nous montrons aussi à partir de deux exemples comment appliquer des algorithmes de synthèse de contrôleurs propres à théorie du contrôle des systèmes à événements discrets. Un contrôleur est généré à partir du comportement dynamique des procédures d'affaires et de règles de gestion modélisées à l'aide d'automates ou de réseaux de Petri