Elaboration d’une méthode de modélisation et de vérification orientée management par processus pour les systèmes multi-agents : Application au pilotage des systèmes d’information

Abstract

L’objectif de ce travail est d’élaborer une approche permettant la modélisation et la vérification des processus métiers au sein des systèmes organisationnels. Les responsables métiers peuvent décrire ces processus à l’aide de solutions technologiques basées essentiellement sur le concept BPM (Business Process Management). Pourtant, ils doivent utiliser d’autres outils pour la vérification des contraintes, notamment temporelles, associées à ces processus. Les systèmes multi-agents proposent à leur tour des modèles organisationnels inspirés principalement de l’organisation humaine, et certains modèles multi-agents, tels que le Système Multi-Agent Réactif Décisionnel (SMARD), permettent ainsi une vérification explicite de ces contraintes. Les concepts développés par cette approche sont basés donc sur le modèle SMARD tout en utilisant les normes de BPM.