Test de simulation pour les processus métiers centrés données probabilistes

National audienceUn large éventail de nouvelles applications met l’accent sur la nécessité de disposer de modèles de processus métiers capables de manipuler des données imprécises ou incertaines. Cet article étudie les questions de modélisation et d’analyse sous-jacentes. Il utilise comme modèle formel pour décrire les comportements des processus métiers un système de transitions étiquetées dans lequel les transitions sont gardées par des conditions définies sur une base de données probabiliste. L’article présente une approche probabiliste pour tester la relation de simulation entre processus dans ce contexte. Une analyse de complexité révèle que le problème est dans 2-EXPTIME, et qu’il est EXPRIME-difficile en termes de complexité d’expression, alors que du point de vue de la complexité en termes des données, il n’engendre pas de surcoût supplémentaire par rapport au coût de l’évaluation de requêtes booléennes sur des bases de données probabilistes