ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 19/4 - 2014  - pp.35-60  - doi:10.3166/isi.19.4.35-60
TITRE
Test de simulation pour les processus métiers centrés données probabilistes

TITLE
Checking simulation preorder for datacentric probabilistic business processes

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.


ABSTRACT
There is a wide range of new applications that stress the need for business process models that are able to handle imprecise data. This paper studies the underlying modelling and analysis issues. It uses as formal model to describe process behaviours a labelled transitions system in which transitions are guarded by conditions defined over a probabilistic database and presents an approach for testing probabilistic simulation preorder in this context. A complexity analysis reveals that the problem is in 2-EXPTIME, and is EXPTIME-hard, w.r.t. expression complexity while it matches probabilistic query evaluation w.r.t. data-complexity.


AUTEUR(S)
Haizhou LI, François PINET, Farouk TOUMANI

MOTS-CLÉS
processus métiers centrés données, dp-processus, bases de données probabilistes, relation de simulation.

KEYWORDS
probabilistic data-aware business processes, pd-processes, probabilistic database, simulation relation test.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (854 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier