145 citations · 360 across the 54 of their papers we have counts for
6 papers · 1 filter
Technical Report: Refining Case Models Using Cardinality Constraints
Stephan Haarmann, Marco Montali, Mathias Weske
Traditionally, business process management focuses on structured, imperative processes. With the increasing importance of knowledge work, semi-structured processes are entering cen…
Mapping Patterns for Virtual Knowledge Graphs
Diego Calvanese, Avigdor Gal, Davide Lanti +3
Virtual Knowledge Graphs (VKG) constitute one of the most promising paradigms for integrating and accessing legacy data sources. A critical bottleneck in the integration process in…
Formalizing Integration Patterns with Multimedia Data (Extended Version)
Marco Montali, Andrey Rivkin, Daniel Ritter
The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI bui…
SMT-based Safety Verification of Parameterised Multi-Agent Systems
Paolo Felli, Alessandro Gianola, Marco Montali
In this paper we study the verification of parameterised multi-agent systems (MASs), and in particular the task of verifying whether unwanted states, characterised as a given state…
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Silvio Ghilardi, Alessandro Gianola, Marco Montali +1
During the last decade, various approaches have been put forward to integrate business processes with different types of data. Each of such approaches reflects specific demands in…
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi +1
Runtime monitoring is one of the central tasks in the area of operational decision support for business process management. In particular, it helps process executors to check on-th…