1 code implementation • 17 Jun 2024 • Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions.
no code implementations • 3 Jun 2024 • Thomas Bolander, Alessandro Burigana, Marco Montali
Additionally, we show it to be complete with respect to planning tasks having a solution within bound b of reasoning depth (and hence the iterative bound-deepening variant is complete in the standard sense).
no code implementations • 13 Dec 2023 • Alessandro Gianola, Marco Montali, Sarah Winkler
In this paper, we present a new formalism that combines the key modelling features of two existing approaches, in particular the ability of object-centric Petri nets to capture one-to-many relations and the one of Petri nets with identifiers to compare and synchronize objects based on their identity.
no code implementations • 28 Jul 2023 • Alessandro Burigana, Paolo Felli, Marco Montali
To substantiate this claim, we implement both approaches in ASP and we set up an experimental evaluation to compare DELPHIC with the traditional, Kripke-based approach.
no code implementations • 28 Jul 2023 • Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
Finally, we show that two well-known epistemic planning systems based on action templates, when interpreted under the setting of knowledge, conform to the commutativity axiom, hence proving their decidability.
no code implementations • 10 Jun 2023 • Sander J. J. Leemans, Fabrizio M. Maggi, Marco Montali
In this article, we provide such a characterization starting from generalized stochastic Petri nets and obtaining the framework of labelled stochastic processes (LSPs).
no code implementations • 12 Aug 2022 • Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Database Theory.
no code implementations • 15 Jun 2022 • Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events.
no code implementations • 28 Mar 2022 • Paolo Felli, Marco Montali, Sarah Winkler
The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.
no code implementations • 15 Mar 2022 • Paolo Felli, Marco Montali, Sarah Winkler
Combined modeling and verification of dynamic systems and the data they operate on has gained momentum in AI and in several application domains.
no code implementations • 30 Jan 2022 • Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
AI-Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology.
no code implementations • 25 Nov 2021 • Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
For example, in the medical domain, a clinical guideline describing the treatment of a specific disease cannot account for all possible co-factors that can coexist for a specific patient and therefore additional constraints may need to be considered.
no code implementations • 30 Sep 2021 • Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
As the need to understand and formalise business processes into a model has grown over the last years, the process discovery research field has gained more and more importance, developing two different classes of approaches to model representation: procedural and declarative.
no code implementations • 27 Aug 2021 • Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
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 properties of so-called artifact-centric systems.
no code implementations • 18 Mar 2021 • Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log.
no code implementations • 3 Dec 2020 • Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
Virtual Knowledge Graphs (VKG) constitute one of the most promising paradigms for integrating and accessing legacy data sources.
no code implementations • 9 Sep 2020 • 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 building blocks, in order to facilitate the model-driven development and ensure its correctness.
no code implementations • 11 Aug 2020 • 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 formula, are reachable in a given MAS, i. e., whether the MAS is unsafe.
no code implementations • 11 Jun 2020 • Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
During the last decade, various approaches have been put forward to integrate business processes with different types of data.
no code implementations • 12 Mar 2019 • Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making.
no code implementations • 31 Jul 2018 • Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
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 processes.
1 code implementation • 6 Jul 2018 • Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
Enterprise application integration (EAI) solutions are the centrepiece of current enterprise IT architectures (e. g., cloud and mobile computing, business networks), however, require the formalization of their building blocks, represented by integration patterns, verification and optimization.
Software Engineering Logic in Computer Science
no code implementations • 17 Jun 2016 • Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model.
no code implementations • 30 Apr 2015 • Diego Calvanese, Marco Montali, Ario Santoso
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects.
no code implementations • 26 Dec 2014 • Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso
Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution.
no code implementations • 17 Nov 2014 • Diego Calvanese, Giorgio Delzanno, Marco Montali
We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific, rigid relations (such as total orders).
no code implementations • 30 Apr 2014 • Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maggi, Marco Montali
LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is obtained by combining regular expressions and LTLf, adopting the syntax of propositional dynamic logic (PDL).
no code implementations • 4 Feb 2014 • Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information over time, possibly introducing new objects.
no code implementations • 28 Aug 2013 • Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model.
no code implementations • 23 Apr 2013 • Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects.