Test de simulation pour les processus métiers centrés données probabilistes - Université Clermont Auvergne Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Année : 2014

Checking simulation preorder for datacentric probabilistic business processes

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

Résumé

Un 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.

Mots clés

Fichier non déposé

Dates et versions

hal-02600311 , version 1 (16-05-2020)

Identifiants

Citer

H. Li, François Pinet, F. Toumani. Test de simulation pour les processus métiers centrés données probabilistes. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2014, 19 (4), pp.35-60. ⟨hal-02600311⟩
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More