Verification of Data-aware Processes: Challenges and Opportunities for Automated Reasoning

Proc. of the 2nd Int. Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE). Volume 311 of Electronic Proceedings in Theoretical Computer Science. 2019.

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.

@inproceedings{ARCADE-2019,
   title = "Verification of Data-aware Processes:  Challenges and Opportunities
for Automated Reasoning",
   year = "2019",
   author = "Diego Calvanese and Silvio Ghilardi and Alessandro Gianola and
Marco Montali and Andrey Rivkin",
   booktitle = "Proc. of the 2nd Int. Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements (ARCADE)",
   pages = "53--58",
   volume = "311",
   series = "Electronic Proceedings in Theoretical Computer Science",
   doi = "10.4204/eptcs.311.9",
}