30 citations · 33 across the 3 of their papers we have counts for
3 papers
Verifiable UML Artifact-Centric Business Process Models (Extended Version)
Diego Calvanese, Marco Montali, Montserrat Estanol +1
Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process rela…
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Diego Calvanese, Evgeny Kharlamov, Marco Montali +2
Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain o…
Verification of Relational Data-Centric Dynamic Systems with External Services
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo +2
Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. In this paper we study verification of (f…