145 citations · 360 across the 54 of their papers we have counts for
6 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…
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi +1
The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business proce…
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…
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
Massimiliano de Leoni, Paolo Felli, Marco Montali
The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated model…