Stochastic Analysis of BPMN with Time in Rewriting Logic

Abstract : A business process is a set of structured activities that provide a certain service or product. Business processes can be modeled using the BPMN standard, and several industrial platforms have been developed for supporting their design, modeling, and simulation. This paper presents a rewriting logic executable specification of BPMN with time and extended with probabilities. Duration times and delays for tasks and flows can be specified as stochastic expressions, while probabilities are associated to various forms of branching behavior in gateways. These quantities enable discrete-event simulation and automatic stochastic verification of properties such as expected processing time, expected synchronization time at merge gateways, and domain-specific quantitative assertions. The mechanization of the stochastic analysis tasks is done with Maude's statistical model checker PVeStA. The approach is illustrated with a running example and further experimental results encompass specifications from the literature.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2018, 168, pp.1-17. 〈10.1016/j.scico.2018.08.007〉
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01866289
Contributeur : Gwen Salaün <>
Soumis le : lundi 3 septembre 2018 - 11:24:34
Dernière modification le : lundi 17 décembre 2018 - 14:28:29
Document(s) archivé(s) le : mardi 4 décembre 2018 - 17:15:44

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Francisco Durán, Camilo Rocha, Gwen Salaün. Stochastic Analysis of BPMN with Time in Rewriting Logic. Science of Computer Programming, Elsevier, 2018, 168, pp.1-17. 〈10.1016/j.scico.2018.08.007〉. 〈hal-01866289〉

Partager

Métriques

Consultations de la notice

196

Téléchargements de fichiers

42