Checking time-critical properties of concurrent process instances having a finite amount of allocated resources is a challenging task. Modelling and understanding at design time the interactions of concurrent activities along the time line can become quite cumbersome, even for expert designers. In this paper, we consider processes that are composed of activities having a constrained duration and a bounded number of allocated resources, and we rely on a well-studied first order formalism, called, FO2(∼ <, -) to model and verify the interdependencies among multiple and concurrent process instances. Then, we show the expressiveness of our approach by describing the temporal properties that may be expressed through it. Throughout all the paper, we refer to a real clinical scenario to motivate our approach and showcase its expressiveness.

A Logical Formalization of Time-Critical Processes with Resources

Combi, Carlo;Sala, Pietro;Zerbato, Francesca
2018-01-01

Abstract

Checking time-critical properties of concurrent process instances having a finite amount of allocated resources is a challenging task. Modelling and understanding at design time the interactions of concurrent activities along the time line can become quite cumbersome, even for expert designers. In this paper, we consider processes that are composed of activities having a constrained duration and a bounded number of allocated resources, and we rely on a well-studied first order formalism, called, FO2(∼ <, -) to model and verify the interdependencies among multiple and concurrent process instances. Then, we show the expressiveness of our approach by describing the temporal properties that may be expressed through it. Throughout all the paper, we refer to a real clinical scenario to motivate our approach and showcase its expressiveness.
2018
978-3-319-98650-0
Concurrent activities, Concurrent process, Design time, First order logic, Logical formalization, Temporal property, Time line, Time-critical
File in questo prodotto:
File Dimensione Formato  
bpm_2018_paper_62_camera_ready.pdf

non disponibili

Descrizione: published version: https://link.springer.com/chapter/10.1007%2F978-3-319-98651-7_2
Tipologia: Documento in Post-print
Licenza: Accesso ristretto
Dimensione 500.09 kB
Formato Adobe PDF
500.09 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/989686
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact