11 citations · 40 across the 18 of their papers we have counts for
4 papers · 1 filter
Modeling and In-Database Management of Relational, Data-Aware Processes (Extended Version)
Diego Calvanese, Marco Montali, Fabio Patrizi +1
During the last two decades, it has been increasingly acknowledged that the engineering of information systems usually requires a huge effort in integrating master data and busines…
Catalog of Formalized Application Integration Patterns
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali +2
Enterprise application integration (EAI) solutions are the centrepiece of current enterprise IT architectures (e.g., cloud and mobile computing, business networks), however, requir…
Verification of Data-Aware Processes via Array-Based Systems (Extended Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
We study verification over a general model of artifact-centric systems, to assess (parameterized) safety properties irrespectively of the initial database instance. We view such ar…
Quantifier Elimination for Database Driven Verification
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
Running verification tasks in database driven systems requires solving quantifier elimination problems of a new kind. These quantifier elimination problems are related to the notio…