Name
Title | ||
|---|---|---|
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude |
Abstract | ||
|---|---|---|
•A formal semantics of BPMN in rewriting logic.•Automated formal analysis of resource allocation properties.•A recommender system computing optimal assignment of resources.•Evaluation of the approach on a workbench of real-world BPMN processes. |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1016/j.jlamp.2021.100711 | Journal of Logical and Algebraic Methods in Programming |
Keywords | DocType | Volume |
Business processes,BPMN,Resource provisioning,Rewriting logic,Maude,Simulation-based analysis | Journal | 123 |
ISSN | Citations | PageRank |
2352-2208 | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francisco Durán | 1 | 178 | 15.15 |
| Camilo Rocha | 2 | 91 | 15.28 |
| Gwen Salaün | 3 | 988 | 71.03 |