Skip to Main content Skip to Navigation
Conference papers

Analysis of the Runtime Resource Provisioning of BPMN Processes using Maude

Abstract : Companies are continuously adjusting their resources to their needs following different strategies. However, the dynamic provisioning strategies are hard to compare. This paper proposes an automatic analysis technique to evaluate and compare the execution time and resource occupancy of a business process relative to a workload and a provisioning strategy. Such analysis is performed on models conforming to an extension of BPMN with quantitative information, including resource availability and constraints. Within this framework, the approach is fully mechanized using a formal and executable specification in the rewriting logic framework, which relies on existing techniques and tools for simulating probabilistic and real-time specifications.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-02931077
Contributor : Gwen Salaün <>
Submitted on : Friday, September 4, 2020 - 6:06:43 PM
Last modification on : Tuesday, November 24, 2020 - 4:00:18 PM
Long-term archiving on: : Wednesday, December 2, 2020 - 8:54:07 PM

File

main-11.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02931077, version 1

Collections

Citation

Francisco Duran, Camilo Rocha, Gwen Salaün. Analysis of the Runtime Resource Provisioning of BPMN Processes using Maude. WRLA 2020 - 13th International Workshop on Rewriting Logic and its Applications, Apr 2020, Dublin, Ireland. pp.1-16. ⟨hal-02931077⟩

Share

Metrics

Record views

64

Files downloads

178