We briefly introduce the line of research on the verification of data-aware processes, with the intention of raising more awareness of it within the automated reasoning community. On the one hand, data-aware processes constitute a concrete setting for validating and experimenting with automated reasoning techniques. On the other hand, they trigger new genuine research challenges for researchers in automated reasoning.
Verification of data-aware processes : challenges and opportunities for automated reasoning / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 311:(2019 Dec), pp. 53-58. ((Intervento presentato al 2. convegno International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE) tenutosi a Natal (Brazil) nel 2019 [10.4204/eptcs.311.9].
Verification of data-aware processes : challenges and opportunities for automated reasoning
S. Ghilardi;
2019
Abstract
We briefly introduce the line of research on the verification of data-aware processes, with the intention of raising more awareness of it within the automated reasoning community. On the one hand, data-aware processes constitute a concrete setting for validating and experimenting with automated reasoning techniques. On the other hand, they trigger new genuine research challenges for researchers in automated reasoning.
| File | Dimensione | Formato | |
|---|---|---|---|
|
main.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
187.75 kB
Formato
Adobe PDF
|
187.75 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
