11 citations · 40 across the 18 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 1 cited
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…
cs.AI2020
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…