From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.
Francisco DuránYliès FalconeCamilo RochaGwen SalaünAhang ZuoPublished in: WRLA@ETAPS (2022)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- resource allocation
- process model
- business process management
- allocate resources
- business processes
- resource allocation problems
- model checking
- business process
- limited resources
- communication channels
- business process models
- resource management
- model driven
- process execution
- databases
- abstract interpretation
- allocation strategy
- allocation scheme
- software engineering
- artificial intelligence