Search Results for author: Riccardo De Masellis

Found 5 papers, 0 papers with code

Solving reachability problems on data-aware workflows

no code implementations27 Sep 2019 Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris

Recent advances in the field of Business Process Management have brought about several suites able to model complex data objects along with the traditional control flow perspective.

Enhancing workflow-nets with data for trace completion

no code implementations1 Jun 2017 Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris

The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support more complex forms of process analysis.

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.

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.

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