Search Results for author: Marco Montali

Found 24 papers, 1 papers with code

Soundness of Data-Aware Processes with Arithmetic Conditions

no code implementations28 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.

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic

no code implementations15 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.

Augmented Business Process Management Systems: A Research Manifesto

no code implementations30 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

Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems that draws upon trustworthy AI technology.

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach

no code implementations25 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.

Process discovery on deviant traces and other stranger things

no code implementations30 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.

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)

no code implementations27 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.

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

no code implementations18 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.

Mapping Patterns for Virtual Knowledge Graphs

no code implementations3 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.

Knowledge Graphs

Formalizing Integration Patterns with Multimedia Data (Extended Version)

no code implementations9 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.

SMT-based Safety Verification of Parameterised Multi-Agent Systems

no code implementations11 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.

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

no code implementations11 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.

Temporal Logics Over Finite Traces with Uncertainty (Technical Report)

no code implementations12 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.

Decision Making

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

no code implementations31 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.

Catalog of Formalized Application Integration Patterns

1 code implementation6 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

Abducing Compliance of Incomplete Event Logs

no code implementations17 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.

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)

no code implementations30 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.

Adding Context to Knowledge and Action Bases

no code implementations26 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.

Verification of Relational Multiagent Systems with Data Types (Extended Version)

no code implementations17 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).

LTLf and LDLf Monitoring: A Technical Report

no code implementations30 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).

Translation

Description Logic Knowledge and Action Bases

no code implementations4 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.

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

no code implementations28 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.

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

no code implementations23 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.