Search Results for author: Sergio Tessaris

Found 5 papers, 0 papers with code

Relational Algebra and Calculus with SQL Null Values

no code implementations22 Feb 2022 Enrico Franconi, Sergio Tessaris

We show a logical characterisation of a first-order fragment of SQL with null values, by first focussing on a simple extension with null values of standard relational algebra, which captures exactly the SQL fragment, and then proposing two different domain relational calculi, in which the null value is a term of the language but it does not appear as an element of the semantic interpretation domain of the logics.

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.

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.

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