A Logical Formalization of Time-Critical Processes with Resources

Combi, Carlo; Sala, Pietro; Zerbato, Francesca

doi:10.1007/978-3-319-98651-7_2

Cited by 2 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The approach then proposes a solution to adapt the structure of the business process to better fit the resources available in the enterprise. The authors in [7] focus on the specification and verification of concurrently running processes, operating in time-critical scenarios and having assigned a limited amount of resources. The authors propose to use a fragment of first-order logic to capture process fragments along the timeline and to combine them in a sound model, by observing constraints defined on both activity durations and resource availability.…”

Section: Related Workmentioning

confidence: 99%

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

Durán

Falcone

Rocha

et al. 2022

Rewriting Logic and Its Applications

View full text Add to dashboard Cite

Business process optimisation is a strategic activity in organisations because of its potential to increase profit margins and reduce operational costs. One of the main challenges in this context is concerned with the problem of optimising the allocation and sharing of resources. In this work, processes are described using the BPMN notation extended with an explicit description of execution time and resources associated with tasks, and can be concurrently executed multiple times. First, a simulation-based approach for computing certain metrics of interest, such as average execution time or resource usage, is presented. This approach applies off-line and is static in the sense that the number of resources does not evolve over the time of the simulation. In a second step, an alternative approach is presented, which works online, thus requiring the instrumentation of an existing platform for retrieving information of interest during the processes' execution. This second approach is dynamic because the number of resource replicas is updated over the time of the execution. This paper aims at stressing pros and cons of both approaches, and at showing how they complement each other.

show abstract

Section: Related Workmentioning

confidence: 99%

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

Durán

Falcone

Rocha

et al. 2022

Rewriting Logic and Its Applications

View full text Add to dashboard Cite

show abstract

“…The approach then proposes a solution to adapt the structure of the business process to better fit the resources available in the enterprise. The authors in [5] focus on the specification and verification of concurrently running processes, operating in time-critical scenarios and having assigned a limited amount of resources. The authors propose to use a fragment of first-order logic to capture process fragments along the timeline and to combine them in a sound model, by observing constraints defined on both activity durations and resource availability.…”

Section: Related Workmentioning

confidence: 99%