257 citations · 582 across the 32 of their papers we have counts for
34 papers
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo +1
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety pr…
On Expansion and Contraction of DL-Lite Knowledge Bases
Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt +1
Knowledge bases (KBs) are not static entities: new information constantly appears and some of the previous knowledge becomes obsolete. In order to reflect this evolution of knowled…
Combined Covers and Beth Definability (Extended Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of…
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
We propose DAB -- a data-aware extension of BPMN where the process operates over case and persistent data (partitioned into a read-only database called catalog and a read-write dat…
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
We propose DAB -- a data-aware extension of the BPMN de-facto standard with the ability of operating over case and persistent data (partitioned into a read-only catalog and a read-…
Enriching Ontology-based Data Access with Provenance (Extended Version)
Diego Calvanese, Davide Lanti, Ana Ozaki +2
Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through mappings to an ontology. In OBDA, it is often difficult t…