Proc. of the IJCAI 2022 Int. Workshop on Process Management in the AI era (PMAI@IJCAI 2022). Volume 3310 of CEUR Workshop Proceedings, https://ceur-ws.org/. 2022.
Generic, relational transition systems form an interesting class of infinite-state transition systems that naturally captures the execution semantics of a variety of formalisms expressing processes operating over (relational) data. Examples of such data-aware processes include action theories in the situation calculus in AI and data-centric business processes in BPM. In this extended abstract, we summarize the main body of results produced in a decade-long research program focused on the verification of generic, relational transition systems against properties specified using variants of first-order temporal logics.
@inproceedings{PMAI-IJCAI-2022, title = "Verification of Generic, Relational Transition Systems", year = "2022", author = "Diego Calvanese and De Giacomo, Giuseppe and Marco Montali and Fabio Patrizi", booktitle = "Proc. of the IJCAI 2022 Int. Workshop on Process Management in the AI era (PMAI@IJCAI 2022)", pages = "93--96", volume = "3310", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings, https://ceur-ws.org/", }pdf url