Verification of Generic, Relational Transition Systems

Proc. of the IJCAI Int. Workshop on Process Management in the AI era (PMAI@IJCAI). 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 Int. Workshop on Process Management in
the AI era (PMAI@IJCAI)",
   pages = "93--96",
   volume = "3310",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}